Simple Question (Direct)
Simple Question
Q1283417
P26
Q502895
USER
Which person is the spouse of Pierre Darmon ?
(Q1283417,P26,c(Q502895))
action filter_type
action find
entity Q1283417
relation P26
type Q502895
['Q1283417', 'P26', {'concept': 'Q502895'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q502895 . resource:Q1283417 property:P26 ?z }
Pierre Darmon
action filter_type
action find
entity Pierre Darmon
relation spouse
type common name
['Pierre Darmon', 'spouse', {'concept': 'common name'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:common_name . resource:Pierre_Darmon property:spouse ?z }
[]
common name
Q454179
SYSTEM
Rosie Reyes
Q454179
(Q1283417,P26,c(Q502895))
action filter_type
action find
entity Q1283417
relation P26
type Q502895
[ANSWER] is the spouse of Pierre Darmon
['Q1283417', 'P26', {'concept': 'Q502895'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q502895 . resource:Q1283417 property:P26 ?z }
Rosie Reyes
Rosie Reyes is the spouse of Pierre Darmon
Rosie Reyes
action filter_type
action find
entity Pierre Darmon
relation spouse
type common name
['Pierre Darmon', 'spouse', {'concept': 'common name'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:common_name . resource:Pierre_Darmon property:spouse ?z }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1283417
P641
Q349
USER
Which sport was Pierre Darmon a part of ?
(Q1283417,P641,c(Q349))
action filter_type
action find
entity Q1283417
relation P641
type Q349
['Q1283417', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?h WHERE { resource:Q1283417 property:P641 ?h . ?h rdf:type ontology:Q349 }
Pierre Darmon
action filter_type
action find
entity Pierre Darmon
relation sport
type sport
['Pierre Darmon', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?h WHERE { resource:Pierre_Darmon property:sport ?h . ?h rdf:type ontology:sport }
[]
sport
Q847
SYSTEM
tennis
Q847
(Q1283417,P641,c(Q349))
action filter_type
action find
entity Q1283417
relation P641
type Q349
[ANSWER] was Pierre Darmon a part of
['Q1283417', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?h WHERE { resource:Q1283417 property:P641 ?h . ?h rdf:type ontology:Q349 }
tennis
Tennis was Pierre Darmon a part of
tennis
action filter_type
action find
entity Pierre Darmon
relation sport
type sport
['Pierre Darmon', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?h WHERE { resource:Pierre_Darmon property:sport ?h . ?h rdf:type ontology:sport }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q847 Q3168607
P641
Q502895
USER
Is Jean-Paul Meyer associated with playing that sport ?
(Q3168607,P641,Q847)
action is_in
entity Q847
action find
entity Q3168607
relation P641
['Q3168607', 'P641', 'Q847']
ASK WHERE { resource:Q3168607 property:P641 resource:Q847 }
tennis Jean-Paul Meyer
action is_in
entity tennis
action find
entity Jean-Paul Meyer
relation sport
['Jean-Paul Meyer', 'sport', 'tennis']
ASK WHERE { resource:Jean-Paul_Meyer property:sport resource:tennis }
[]
common name
SYSTEM
YES
(Q3168607,P641,Q847)
action is_in
entity Q847
action find
entity Q3168607
relation P641
[ANSWER]
['Q3168607', 'P641', 'Q847']
ASK WHERE { resource:Q3168607 property:P641 resource:Q847 }
Yes
action is_in
entity tennis
action find
entity Jean-Paul Meyer
relation sport
['Jean-Paul Meyer', 'sport', 'tennis']
ASK WHERE { resource:Jean-Paul_Meyer property:sport resource:tennis }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1283417 Q3572
P19
Q515
USER
Was Pierre Darmon born at Tunis ?
(Q1283417,P19,Q3572)
action is_in
entity Q3572
action find
entity Q1283417
relation P19
['Q1283417', 'P19', 'Q3572']
ASK WHERE { resource:Q1283417 property:P19 resource:Q3572 }
Pierre Darmon Tunis
action is_in
entity Tunis
action find
entity Pierre Darmon
relation place of birth
['Pierre Darmon', 'place of birth', 'Tunis']
ASK WHERE { resource:Pierre_Darmon property:place_of_birth resource:Tunis }
[]
city
SYSTEM
YES
(Q1283417,P19,Q3572)
action is_in
entity Q3572
action find
entity Q1283417
relation P19
[ANSWER]
['Q1283417', 'P19', 'Q3572']
ASK WHERE { resource:Q1283417 property:P19 resource:Q3572 }
Yes
action is_in
entity Tunis
action find
entity Pierre Darmon
relation place of birth
['Pierre Darmon', 'place of birth', 'Tunis']
ASK WHERE { resource:Pierre_Darmon property:place_of_birth resource:Tunis }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q807316 Q3572
P190
Q56061
USER
Which administrative territories are the sister cities of Tunis or Barban ?
OR((Q3572,P190,c(Q56061)), (Q807316,P190,c(Q56061)))
action filter_type
action union
action find
entity Q3572
relation P190
action find
entity Q807316
relation P190
type Q56061
{'OR': [['Q3572', 'P190', {'concept': 'Q56061'}], ['Q807316', 'P190', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?f WHERE { { { resource:Q3572 property:P190 ?f } UNION { resource:Q807316 property:P190 ?f } } . ?f rdf:type ontology:Q56061 }
Barban Tunis
action filter_type
action union
action find
entity Tunis
relation sister city
action find
entity Barban
relation sister city
type administrative territorial entity
{'OR': [['Tunis', 'sister city', {'concept': 'administrative territorial entity'}], ['Barban', 'sister city', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?f WHERE { { { resource:Tunis property:sister_city ?f } UNION { resource:Barban property:sister_city ?f } } . ?f rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q216978 Q35178 Q8678 Q269 Q340 Q1085 Q3882 Q82070 Q3711 Q3551
SYSTEM
Some of them are Sinj, Kuwait City, Rio de Janeiro, Tashkent, Montreal, Prague, Manama, Tyre, Belgrade, Rabat
Q1741 Q269 Q1754 Q3882 Q3711 Q35178 Q3551 Q216978 Q649 Q597 Q3561 Q340 Q82070 Q365 Q1085 Q3805 Q8678
OR((Q3572,P190,c(Q56061)), (Q807316,P190,c(Q56061)))
action filter_type
action union
action find
entity Q3572
relation P190
action find
entity Q807316
relation P190
type Q56061
[ANSWERS] are the sister cities of Tunis or Barban
{'OR': [['Q3572', 'P190', {'concept': 'Q56061'}], ['Q807316', 'P190', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?f WHERE { { { resource:Q3572 property:P190 ?f } UNION { resource:Q807316 property:P190 ?f } } . ?f rdf:type ontology:Q56061 }
Vienna Tashkent Stockholm Manama Belgrade Kuwait City Rabat Sinj Moscow Lisbon Algiers Montreal Tyre Cologne Prague Amman Rio de Janeiro
Sinj, Kuwait City, Rio de Janeiro, Tashkent, Montreal, Prague, Manama, Tyre, Belgrade and Rabat are the sister cities of Tunis or Barban
Sinj Kuwait City Rio de Janeiro Tashkent Montreal Prague Manama Tyre Belgrade Rabat
action filter_type
action union
action find
entity Tunis
relation sister city
action find
entity Barban
relation sister city
type administrative territorial entity
{'OR': [['Tunis', 'sister city', {'concept': 'administrative territorial entity'}], ['Barban', 'sister city', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?f WHERE { { { resource:Tunis property:sister_city ?f } UNION { resource:Barban property:sister_city ?f } } . ?f rdf:type ontology:administrative_territorial_entity }
[]