Simple Question (Direct)
Simple Question
Q122331
P20
Q20667921
USER
Where did the expiration of Gabriel Cramer occur ?
(Q122331,P20,c(Q20667921))
action filter_type
action find
entity Q122331
relation P20
type Q20667921
['Q122331', 'P20', {'concept': 'Q20667921'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:Q20667921 . resource:Q122331 property:P20 ?d }
Gabriel Cramer
action filter_type
action find
entity Gabriel Cramer
relation place of death
type type of french administrative division
['Gabriel Cramer', 'place of death', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:type_of_french_administrative_division . resource:Gabriel_Cramer property:place_of_death ?d }
[]
type of french administrative division
Q274183
SYSTEM
Bagnols-sur-Cèze
Q274183
(Q122331,P20,c(Q20667921))
action filter_type
action find
entity Q122331
relation P20
type Q20667921
The expiration of Gabriel Cramer occurred in [ANSWER]
['Q122331', 'P20', {'concept': 'Q20667921'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:Q20667921 . resource:Q122331 property:P20 ?d }
Bagnols-sur-Cèze
The expiration of Gabriel Cramer occurred in Bagnols-sur-Cèze
Bagnols-sur-Cèze
action filter_type
action find
entity Gabriel Cramer
relation place of death
type type of french administrative division
['Gabriel Cramer', 'place of death', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:type_of_french_administrative_division . resource:Gabriel_Cramer property:place_of_death ?d }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q122331
P138
Q2684591
USER
Which statements come from Gabriel Cramer ?
(c(Q2684591),P138,Q122331)
action filter_type
action find_reverse
entity Q122331
relation P138
type Q2684591
[{'concept': 'Q2684591'}, 'P138', 'Q122331']
SELECT DISTINCT ?d WHERE { ?d property:P138 resource:Q122331 . ?d rdf:type ontology:Q2684591 }
Gabriel Cramer
action filter_type
action find_reverse
entity Gabriel Cramer
relation named after
type statement
[{'concept': 'statement'}, 'named after', 'Gabriel Cramer']
SELECT DISTINCT ?d WHERE { ?d property:named_after resource:Gabriel_Cramer . ?d rdf:type ontology:statement }
[]
statement
Q322666 Q20278711 Q3363319
SYSTEM
Cramer's rule, Cramer's theorem, Cramer's paradox
Q322666 Q20278711 Q3363319
(c(Q2684591),P138,Q122331)
action filter_type
action find_reverse
entity Q122331
relation P138
type Q2684591
[ANSWERS] come from Gabriel Cramer
[{'concept': 'Q2684591'}, 'P138', 'Q122331']
SELECT DISTINCT ?d WHERE { ?d property:P138 resource:Q122331 . ?d rdf:type ontology:Q2684591 }
Cramer's rule Cramer's theorem Cramer's paradox
Cramer's rule, Cramer's theorem and Cramer's paradox come from Gabriel Cramer
Cramer's rule Cramer's theorem Cramer's paradox
action filter_type
action find_reverse
entity Gabriel Cramer
relation named after
type statement
[{'concept': 'statement'}, 'named after', 'Gabriel Cramer']
SELECT DISTINCT ?d WHERE { ?d property:named_after resource:Gabriel_Cramer . ?d rdf:type ontology:statement }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q122331
P106
Q12737077
USER
What are the professions of Gabriel Cramer ?
(Q122331,P106,c(Q12737077))
action filter_type
action find
entity Q122331
relation P106
type Q12737077
['Q122331', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?r WHERE { resource:Q122331 property:P106 ?r . ?r rdf:type ontology:Q12737077 }
Gabriel Cramer
action filter_type
action find
entity Gabriel Cramer
relation occupation
type occupation
['Gabriel Cramer', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?r WHERE { resource:Gabriel_Cramer property:occupation ?r . ?r rdf:type ontology:occupation }
[]
occupation
Q169470 Q1622272 Q170790
SYSTEM
physicist, university teacher, mathematician
Q169470 Q1622272 Q170790
(Q122331,P106,c(Q12737077))
action filter_type
action find
entity Q122331
relation P106
type Q12737077
The professions of Gabriel Cramer are a [ANSWERS]
['Q122331', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?r WHERE { resource:Q122331 property:P106 ?r . ?r rdf:type ontology:Q12737077 }
physicist university teacher mathematician
The professions of Gabriel Cramer are a physicist, university teacher and mathematician
physicist university teacher mathematician
action filter_type
action find
entity Gabriel Cramer
relation occupation
type occupation
['Gabriel Cramer', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?r WHERE { resource:Gabriel_Cramer property:occupation ?r . ?r rdf:type ontology:occupation }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q3102525
P106
Q502895
USER
Do Georges Cousot have the profession as those occupations ?
(Q3102525,P106,Q169470) (Q3102525,P106,Q1622272) (Q3102525,P106,Q170790)
action is_in
entity prev_answer
action find
entity Q3102525
relation P106
['Q3102525', 'P106', 'Q169470'] ['Q3102525', 'P106', 'Q1622272'] ['Q3102525', 'P106', 'Q170790']
ASK WHERE { resource:Q3102525 property:P106 ?t . VALUES ( ?t ) { ( resource:Q169470 ) ( resource:Q1622272 ) ( resource:Q170790 ) } }
Georges Cousot
action is_in
entity prev_answer
action find
entity Georges Cousot
relation occupation
['Georges Cousot', 'occupation', 'physicist'] ['Georges Cousot', 'occupation', 'university teacher'] ['Georges Cousot', 'occupation', 'mathematician']
ASK WHERE { resource:Georges_Cousot property:occupation ?t . VALUES ( ?t ) { ( resource:physicist ) ( resource:university_teacher ) ( resource:mathematician ) } }
[]
common name
SYSTEM
NO
(Q3102525,P106,Q169470) (Q3102525,P106,Q1622272) (Q3102525,P106,Q170790)
action is_in
entity prev_answer
action find
entity Q3102525
relation P106
[ANSWER]
['Q3102525', 'P106', 'Q169470'] ['Q3102525', 'P106', 'Q1622272'] ['Q3102525', 'P106', 'Q170790']
ASK WHERE { resource:Q3102525 property:P106 ?t . VALUES ( ?t ) { ( resource:Q169470 ) ( resource:Q1622272 ) ( resource:Q170790 ) } }
No
action is_in
entity prev_answer
action find
entity Georges Cousot
relation occupation
['Georges Cousot', 'occupation', 'physicist'] ['Georges Cousot', 'occupation', 'university teacher'] ['Georges Cousot', 'occupation', 'mathematician']
ASK WHERE { resource:Georges_Cousot property:occupation ?t . VALUES ( ?t ) { ( resource:physicist ) ( resource:university_teacher ) ( resource:mathematician ) } }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q3363319 Q19904692
P138
Q502895
USER
Is Yamileth Valle Cramer's paradox named after ?
(Q3363319,P138,Q19904692)
action is_in
entity Q19904692
action find
entity Q3363319
relation P138
['Q3363319', 'P138', 'Q19904692']
ASK WHERE { resource:Q3363319 property:P138 resource:Q19904692 }
Cramer's paradox Yamileth Valle
action is_in
entity Yamileth Valle
action find
entity Cramer's paradox
relation named after
["Cramer's paradox", 'named after', 'Yamileth Valle']
ASK WHERE { resource:Cramer's_paradox property:named_after resource:Yamileth_Valle }
[]
common name
SYSTEM
NO
(Q3363319,P138,Q19904692)
action is_in
entity Q19904692
action find
entity Q3363319
relation P138
[ANSWER]
['Q3363319', 'P138', 'Q19904692']
ASK WHERE { resource:Q3363319 property:P138 resource:Q19904692 }
No
action is_in
entity Yamileth Valle
action find
entity Cramer's paradox
relation named after
["Cramer's paradox", 'named after', 'Yamileth Valle']
ASK WHERE { resource:Cramer's_paradox property:named_after resource:Yamileth_Valle }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q5953339 Q122331
P19
Q56061
USER
Which administrative territories are the birthplace of Gabriel Cramer or Effat Marashi ?
OR((Q122331,P19,c(Q56061)), (Q5953339,P19,c(Q56061)))
action filter_type
action union
action find
entity Q122331
relation P19
action find
entity Q5953339
relation P19
type Q56061
{'OR': [['Q122331', 'P19', {'concept': 'Q56061'}], ['Q5953339', 'P19', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?p WHERE { { VALUES ( ?y ) { ( resource:Q122331 ) ( resource:Q5953339 ) } . ?y property:P19 ?p } . ?p rdf:type ontology:Q56061 }
Effat Marashi Gabriel Cramer
action filter_type
action union
action find
entity Gabriel Cramer
relation place of birth
action find
entity Effat Marashi
relation place of birth
type administrative territorial entity
{'OR': [['Gabriel Cramer', 'place of birth', {'concept': 'administrative territorial entity'}], ['Effat Marashi', 'place of birth', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?p WHERE { { VALUES ( ?y ) { ( resource:Gabriel_Cramer ) ( resource:Effat_Marashi ) } . ?y property:place_of_birth ?p } . ?p rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q171714 Q71
SYSTEM
Kerman, Geneva
Q171714 Q71
OR((Q122331,P19,c(Q56061)), (Q5953339,P19,c(Q56061)))
action filter_type
action union
action find
entity Q122331
relation P19
action find
entity Q5953339
relation P19
type Q56061
[ANSWERS] are the birthplace of Gabriel Cramer or Effat Marashi
{'OR': [['Q122331', 'P19', {'concept': 'Q56061'}], ['Q5953339', 'P19', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?p WHERE { { VALUES ( ?y ) { ( resource:Q122331 ) ( resource:Q5953339 ) } . ?y property:P19 ?p } . ?p rdf:type ontology:Q56061 }
Kerman Geneva
Kerman and Geneva are the birthplace of Gabriel Cramer or Effat Marashi
Kerman Geneva
action filter_type
action union
action find
entity Gabriel Cramer
relation place of birth
action find
entity Effat Marashi
relation place of birth
type administrative territorial entity
{'OR': [['Gabriel Cramer', 'place of birth', {'concept': 'administrative territorial entity'}], ['Effat Marashi', 'place of birth', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?p WHERE { { VALUES ( ?y ) { ( resource:Gabriel_Cramer ) ( resource:Effat_Marashi ) } . ?y property:place_of_birth ?p } . ?p rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q122331
P21
Q290
USER
Which sex does Gabriel Cramer possess ?
(Q122331,P21,c(Q290))
action filter_type
action find
entity Q122331
relation P21
type Q290
['Q122331', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?z WHERE { resource:Q122331 property:P21 ?z . ?z rdf:type ontology:Q290 }
Gabriel Cramer
action filter_type
action find
entity Gabriel Cramer
relation gender
type sex
['Gabriel Cramer', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?z WHERE { resource:Gabriel_Cramer property:gender ?z . ?z rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q122331,P21,c(Q290))
action filter_type
action find
entity Q122331
relation P21
type Q290
Gabriel Cramer possesses 1 [ANSWER]
['Q122331', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?z WHERE { resource:Q122331 property:P21 ?z . ?z rdf:type ontology:Q290 }
male
Gabriel Cramer possesses 1 male
male
action filter_type
action find
entity Gabriel Cramer
relation gender
type sex
['Gabriel Cramer', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?z WHERE { resource:Gabriel_Cramer property:gender ?z . ?z rdf:type ontology:sex }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q71
P740
Q43229
USER
What were formed at Geneva ?
(c(Q43229),P740,Q71)
action filter_type
action find_reverse
entity Q71
relation P740
type Q43229
[{'concept': 'Q43229'}, 'P740', 'Q71']
SELECT DISTINCT ?d WHERE { ?d property:P740 resource:Q71 . ?d rdf:type ontology:Q43229 }
Geneva
action filter_type
action find_reverse
entity Geneva
relation location of formation
type organization
[{'concept': 'organization'}, 'location of formation', 'Geneva']
SELECT DISTINCT ?d WHERE { ?d property:location_of_formation resource:Geneva . ?d rdf:type ontology:organization }
[]
organization
Q683892 Q689240 Q17639775
SYSTEM
Temenos Group, Richemont, Teatro Malandro
Q683892 Q806930 Q689240 Q2837975 Q17639775 Q671488 Q501422 Q21704985 Q674266
(c(Q43229),P740,Q71)
action filter_type
action find_reverse
entity Q71
relation P740
type Q43229
[ANSWERS] were formed at Geneva
[{'concept': 'Q43229'}, 'P740', 'Q71']
SELECT DISTINCT ?d WHERE { ?d property:P740 resource:Q71 . ?d rdf:type ontology:Q43229 }
Temenos Group Banque Morval Richemont Allgemeine Gesellschaft der Schweizerischen Uhrenindustrie Teatro Malandro Société Anonyme des Ateliers de Sécheron Davidoff SFM Corporate Services Caran d'Ache
Temenos Group, Richemont and Teatro Malandro were formed at Geneva
Temenos Group Richemont Teatro Malandro
action filter_type
action find_reverse
entity Geneva
relation location of formation
type organization
[{'concept': 'organization'}, 'location of formation', 'Geneva']
SELECT DISTINCT ?d WHERE { ?d property:location_of_formation resource:Geneva . ?d rdf:type ontology:organization }
[]
Clarification
Simple Question|Single Entity|Indirect
Q689240
P1454
Q1269299
USER
Which business organization is the type of legal form of that organization ?
(Q689240,P1454,c(Q1269299))
action filter_type
action find
entity Q689240
relation P1454
type Q1269299
['Q689240', 'P1454', {'concept': 'Q1269299'}]
SELECT DISTINCT ?u WHERE { resource:Q689240 property:P1454 ?u . ?u rdf:type ontology:Q1269299 }
Richemont
action filter_type
action find
entity Richemont
relation legal form
type type of business entity
['Richemont', 'legal form', {'concept': 'type of business entity'}]
SELECT DISTINCT ?u WHERE { resource:Richemont property:legal_form ?u . ?u rdf:type ontology:type_of_business_entity }
[]
type of business entity
Clarification for simple ques.
Q689240
SYSTEM
Did you mean Richemont ?
Q683892 Q689240 Q17639775
(Q683892,P1454,c(Q1269299)) (Q689240,P1454,c(Q1269299)) (Q17639775,P1454,c(Q1269299))
[ANSWER]
['Q683892', 'P1454', {'concept': 'Q1269299'}] ['Q689240', 'P1454', {'concept': 'Q1269299'}] ['Q17639775', 'P1454', {'concept': 'Q1269299'}]
SELECT DISTINCT ?u WHERE { resource:Q689240 property:P1454 ?u . ?u rdf:type ontology:Q1269299 }
Temenos Group Richemont Teatro Malandro
Did you mean Richemont ?
Richemont
['Temenos Group', 'legal form', {'concept': 'type of business entity'}] ['Richemont', 'legal form', {'concept': 'type of business entity'}] ['Teatro Malandro', 'legal form', {'concept': 'type of business entity'}]
SELECT DISTINCT ?u WHERE { resource:Richemont property:legal_form ?u . ?u rdf:type ontology:type_of_business_entity }
[]
Simple Question (Coreferenced)
USER
Yes
(Q689240,P1454,c(Q1269299))
['Q689240', 'P1454', {'concept': 'Q1269299'}]
['Richemont', 'legal form', {'concept': 'type of business entity'}]
[]
Q693737
SYSTEM
Limited
Q693737
(Q689240,P1454,c(Q1269299))
action filter_type
action find
entity Q689240
relation P1454
type Q1269299
[ANSWER] is the type of legal form of that organization
['Q689240', 'P1454', {'concept': 'Q1269299'}]
SELECT DISTINCT ?u WHERE { resource:Q689240 property:P1454 ?u . ?u rdf:type ontology:Q1269299 }
Limited
Limited is the type of legal form of that organization
Limited
action filter_type
action find
entity Richemont
relation legal form
type type of business entity
['Richemont', 'legal form', {'concept': 'type of business entity'}]
SELECT DISTINCT ?u WHERE { resource:Richemont property:legal_form ?u . ?u rdf:type ontology:type_of_business_entity }
[]