Simple Question (Direct)
Simple Question
Q8001672
P641
Q349
USER
What did Wilf Mayer participate in ?
(Q8001672,P641,c(Q349))
action filter_type
action find
entity Q8001672
relation P641
type Q349
['Q8001672', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?r WHERE { resource:Q8001672 property:P641 ?r . ?r rdf:type ontology:Q349 }
Wilf Mayer
action filter_type
action find
entity Wilf Mayer
relation sport
type sport
['Wilf Mayer', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?r WHERE { resource:Wilf_Mayer property:sport ?r . ?r rdf:type ontology:sport }
[]
sport
Q2736
SYSTEM
association football
Q2736
(Q8001672,P641,c(Q349))
action filter_type
action find
entity Q8001672
relation P641
type Q349
Wilf Mayer participated in [ANSWER]
['Q8001672', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?r WHERE { resource:Q8001672 property:P641 ?r . ?r rdf:type ontology:Q349 }
association football
Wilf Mayer participated in association football
association football
action filter_type
action find
entity Wilf Mayer
relation sport
type sport
['Wilf Mayer', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?r WHERE { resource:Wilf_Mayer property:sport ?r . ?r rdf:type ontology:sport }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q8001672
P20
Q56061
USER
Where did the expiration of Wilf Mayer occur ?
(Q8001672,P20,c(Q56061))
action filter_type
action find
entity Q8001672
relation P20
type Q56061
['Q8001672', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?i WHERE { resource:Q8001672 property:P20 ?i . ?i rdf:type ontology:Q56061 }
Wilf Mayer
action filter_type
action find
entity Wilf Mayer
relation place of death
type administrative territorial entity
['Wilf Mayer', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?i WHERE { resource:Wilf_Mayer property:place_of_death ?i . ?i rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q134902
SYSTEM
Stoke-on-Trent
Q134902
(Q8001672,P20,c(Q56061))
action filter_type
action find
entity Q8001672
relation P20
type Q56061
The expiration of Wilf Mayer occurred in [ANSWER]
['Q8001672', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?i WHERE { resource:Q8001672 property:P20 ?i . ?i rdf:type ontology:Q56061 }
Stoke-on-Trent
The expiration of Wilf Mayer occurred in Stoke-on-Trent
Stoke-on-Trent
action filter_type
action find
entity Wilf Mayer
relation place of death
type administrative territorial entity
['Wilf Mayer', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?i WHERE { resource:Wilf_Mayer property:place_of_death ?i . ?i rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q8001672
P19
Q56061
USER
Which administrative territory was that person born at ?
(Q134902,P19,c(Q56061))
action filter_type
action find
entity Q8001672
relation P19
type Q56061
['Q134902', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?s WHERE { resource:Q8001672 property:P19 ?s . ?s rdf:type ontology:Q56061 }
Wilf Mayer
action filter_type
action find
entity Wilf Mayer
relation place of birth
type administrative territorial entity
['Stoke-on-Trent', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Wilf_Mayer property:place_of_birth ?s . ?s rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q134902
SYSTEM
Stoke-on-Trent
Q134902
(Q134902,P19,c(Q56061))
action filter_type
action find
entity Q8001672
relation P19
type Q56061
That person was born in [ANSWER]
['Q134902', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?s WHERE { resource:Q8001672 property:P19 ?s . ?s rdf:type ontology:Q56061 }
Stoke-on-Trent
That person was born in Stoke-on-Trent
Stoke-on-Trent
action filter_type
action find
entity Wilf Mayer
relation place of birth
type administrative territorial entity
['Stoke-on-Trent', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Wilf_Mayer property:place_of_birth ?s . ?s rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q134902 Q533749
P17
Q15617994
USER
Is Stoke-on-Trent situated in Fleischwangen ?
(Q134902,P17,Q533749)
action is_in
entity Q533749
action find
entity Q134902
relation P17
['Q134902', 'P17', 'Q533749']
ASK WHERE { resource:Q134902 property:P17 resource:Q533749 }
Stoke-on-Trent Fleischwangen
action is_in
entity Fleischwangen
action find
entity Stoke-on-Trent
relation country
['Stoke-on-Trent', 'country', 'Fleischwangen']
ASK WHERE { resource:Stoke-on-Trent property:country resource:Fleischwangen }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q134902,P17,Q533749)
action is_in
entity Q533749
action find
entity Q134902
relation P17
[ANSWER]
['Q134902', 'P17', 'Q533749']
ASK WHERE { resource:Q134902 property:P17 resource:Q533749 }
No
action is_in
entity Fleischwangen
action find
entity Stoke-on-Trent
relation country
['Stoke-on-Trent', 'country', 'Fleischwangen']
ASK WHERE { resource:Stoke-on-Trent property:country resource:Fleischwangen }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P532
Q56061 Q2235308
USER
How many ship types have atleast 3 administrative territories as registry port ?
(c(Q2235308),P532,c(Q56061))
action count
action atleast
action find_tuple_counts
relation P532
type Q2235308
type Q56061
value 3
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?i ) WHERE { { SELECT DISTINCT ?u ( COUNT ( ?x ) AS ?n ) WHERE { ?x rdf:type ontology:Q56061 . ?u rdf:type ontology:Q2235308 . ?u property:P532 ?x } GROUP BY ?u } . FILTER ( ?n >= 3 ) }
action count
action atleast
action find_tuple_counts
relation port of registry
type ship type
type administrative territorial entity
value 3
[{'concept': 'ship type'}, 'port of registry', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?i ) WHERE { { SELECT DISTINCT ?u ( COUNT ( ?x ) AS ?n ) WHERE { ?x rdf:type ontology:administrative_territorial_entity . ?u rdf:type ontology:ship_type . ?u property:port_of_registry ?x } GROUP BY ?u } . FILTER ( ?n >= 3 ) }
[]
administrative territorial entity ship type
SYSTEM
1
Q11707059
(c(Q2235308),P532,c(Q56061))
action count
action atleast
action find_tuple_counts
relation P532
type Q2235308
type Q56061
value 3
[ANSWER]
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?i ) WHERE { { SELECT DISTINCT ?u ( COUNT ( ?x ) AS ?n ) WHERE { ?x rdf:type ontology:Q56061 . ?u rdf:type ontology:Q2235308 . ?u property:P532 ?x } GROUP BY ?u } . FILTER ( ?n >= 3 ) }
MS Arrow
1
action count
action atleast
action find_tuple_counts
relation port of registry
type ship type
type administrative territorial entity
value 3
[{'concept': 'ship type'}, 'port of registry', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?i ) WHERE { { SELECT DISTINCT ?u ( COUNT ( ?x ) AS ?n ) WHERE { ?x rdf:type ontology:administrative_territorial_entity . ?u rdf:type ontology:ship_type . ?u property:port_of_registry ?x } GROUP BY ?u } . FILTER ( ?n >= 3 ) }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q379993 Q134902
P19 P190
Q515
USER
Which cities are twin cities of Stoke-on-Trent or are the places of birth of Joseph Plateau ?
OR((Q134902,P190,c(Q515)), (Q379993,P19,c(Q515)))
action filter_type
action union
action find
entity Q134902
relation P190
action find
entity Q379993
relation P19
type Q515
{'OR': [['Q134902', 'P190', {'concept': 'Q515'}], ['Q379993', 'P19', {'concept': 'Q515'}]]}
SELECT DISTINCT ?x WHERE { { { resource:Q379993 property:P19 ?x } UNION { resource:Q134902 property:P190 ?x } } . ?x rdf:type ontology:Q515 }
Joseph Plateau Stoke-on-Trent
action filter_type
action union
action find
entity Stoke-on-Trent
relation sister city
action find
entity Joseph Plateau
relation place of birth
type city
{'OR': [['Stoke-on-Trent', 'sister city', {'concept': 'city'}], ['Joseph Plateau', 'place of birth', {'concept': 'city'}]]}
SELECT DISTINCT ?x WHERE { { { resource:Joseph_Plateau property:place_of_birth ?x } UNION { resource:Stoke-on-Trent property:sister_city ?x } } . ?x rdf:type ontology:city }
[]
city
Q3126 Q9005
SYSTEM
Erlangen, Brussels
Q3126 Q9005
OR((Q134902,P190,c(Q515)), (Q379993,P19,c(Q515)))
action filter_type
action union
action find
entity Q134902
relation P190
action find
entity Q379993
relation P19
type Q515
[ANSWERS] are twin cities of Stoke-on-Trent or are the places of birth of Joseph Plateau
{'OR': [['Q134902', 'P190', {'concept': 'Q515'}], ['Q379993', 'P19', {'concept': 'Q515'}]]}
SELECT DISTINCT ?x WHERE { { { resource:Q379993 property:P19 ?x } UNION { resource:Q134902 property:P190 ?x } } . ?x rdf:type ontology:Q515 }
Erlangen Brussels
Erlangen and Brussels are twin cities of Stoke-on-Trent or are the places of birth of Joseph Plateau
Erlangen Brussels
action filter_type
action union
action find
entity Stoke-on-Trent
relation sister city
action find
entity Joseph Plateau
relation place of birth
type city
{'OR': [['Stoke-on-Trent', 'sister city', {'concept': 'city'}], ['Joseph Plateau', 'place of birth', {'concept': 'city'}]]}
SELECT DISTINCT ?x WHERE { { { resource:Joseph_Plateau property:place_of_birth ?x } UNION { resource:Stoke-on-Trent property:sister_city ?x } } . ?x rdf:type ontology:city }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q185125 Q9005
P190
Q56061
USER
Which administrative territories are the sister cities of Brussels or Hamamatsu ?
OR((Q9005,P190,c(Q56061)), (Q185125,P190,c(Q56061)))
action filter_type
action union
action find
entity Q9005
relation P190
action find
entity Q185125
relation P190
type Q56061
{'OR': [['Q9005', 'P190', {'concept': 'Q56061'}], ['Q185125', 'P190', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?p WHERE { { { resource:Q9005 property:P190 ?p } UNION { resource:Q185125 property:P190 ?p } } . ?p rdf:type ontology:Q56061 }
Hamamatsu Brussels
action filter_type
action union
action find
entity Brussels
relation sister city
action find
entity Hamamatsu
relation sister city
type administrative territorial entity
{'OR': [['Brussels', 'sister city', {'concept': 'administrative territorial entity'}], ['Hamamatsu', 'sister city', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?p WHERE { { { resource:Brussels property:sister_city ?p } UNION { resource:Hamamatsu property:sister_city ?p } } . ?p rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q1507709 Q64 Q472 Q49218 Q61 Q956 Q1085 Q649 Q249441 Q168929
SYSTEM
Some of them are Camas, Berlin, Sofia, Rochester, Washington, D.C., Beijing, Prague, Moscow, Chehalis, Campo Grande
Q49218 Q270 Q249441 Q649 Q168929 Q61 Q472 Q2807 Q956 Q1085 Q64 Q927173 Q1507709 Q23556
OR((Q9005,P190,c(Q56061)), (Q185125,P190,c(Q56061)))
action filter_type
action union
action find
entity Q9005
relation P190
action find
entity Q185125
relation P190
type Q56061
[ANSWERS] are the sister cities of Brussels or Hamamatsu
{'OR': [['Q9005', 'P190', {'concept': 'Q56061'}], ['Q185125', 'P190', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?p WHERE { { { resource:Q9005 property:P190 ?p } UNION { resource:Q185125 property:P190 ?p } } . ?p rdf:type ontology:Q56061 }
Rochester Warsaw Chehalis Moscow Campo Grande Washington, D.C. Sofia Madrid Beijing Prague Berlin Porterville Camas Atlanta
Camas, Berlin, Sofia, Rochester, Washington, D.C., Beijing, Prague, Moscow, Chehalis and Campo Grande are the sister cities of Brussels or Hamamatsu
Camas Berlin Sofia Rochester Washington, D.C. Beijing Prague Moscow Chehalis Campo Grande
action filter_type
action union
action find
entity Brussels
relation sister city
action find
entity Hamamatsu
relation sister city
type administrative territorial entity
{'OR': [['Brussels', 'sister city', {'concept': 'administrative territorial entity'}], ['Hamamatsu', 'sister city', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?p WHERE { { { resource:Brussels property:sister_city ?p } UNION { resource:Hamamatsu property:sister_city ?p } } . ?p rdf:type ontology:administrative_territorial_entity }
[]