Simple Question (Direct)
Simple Question
Q7612963
P19
Q56061
USER
Which administrative territory was Steve Jones born at ?
(Q7612963,P19,c(Q56061))
action filter_type
action find
entity Q7612963
relation P19
type Q56061
['Q7612963', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?e WHERE { resource:Q7612963 property:P19 ?e . ?e rdf:type ontology:Q56061 }
Steve Jones
action filter_type
action find
entity Steve Jones
relation place of birth
type administrative territorial entity
['Steve Jones', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:Steve_Jones property:place_of_birth ?e . ?e rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q208262
SYSTEM
Eastbourne
Q208262
(Q7612963,P19,c(Q56061))
action filter_type
action find
entity Q7612963
relation P19
type Q56061
Steve Jones was born in [ANSWER]
['Q7612963', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?e WHERE { resource:Q7612963 property:P19 ?e . ?e rdf:type ontology:Q56061 }
Eastbourne
Steve Jones was born in Eastbourne
Eastbourne
action filter_type
action find
entity Steve Jones
relation place of birth
type administrative territorial entity
['Steve Jones', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:Steve_Jones property:place_of_birth ?e . ?e rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q208262
P551
Q502895
USER
Which person lives in that administrative territory ?
(c(Q502895),P551,Q208262)
action filter_type
action find_reverse
entity Q208262
relation P551
type Q502895
[{'concept': 'Q502895'}, 'P551', 'Q208262']
SELECT DISTINCT ?a WHERE { ?a property:P551 resource:Q208262 . ?a rdf:type ontology:Q502895 }
Eastbourne
action filter_type
action find_reverse
entity Eastbourne
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Eastbourne']
SELECT DISTINCT ?a WHERE { ?a property:residence resource:Eastbourne . ?a rdf:type ontology:common_name }
[]
common name
Q770789
SYSTEM
Johanna Konta
Q770789
(c(Q502895),P551,Q208262)
action filter_type
action find_reverse
entity Q208262
relation P551
type Q502895
[ANSWER] lives in that administrative territory
[{'concept': 'Q502895'}, 'P551', 'Q208262']
SELECT DISTINCT ?a WHERE { ?a property:P551 resource:Q208262 . ?a rdf:type ontology:Q502895 }
Johanna Konta
Johanna Konta lives in that administrative territory
Johanna Konta
action filter_type
action find_reverse
entity Eastbourne
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Eastbourne']
SELECT DISTINCT ?a WHERE { ?a property:residence resource:Eastbourne . ?a rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q770789 Q408
P27
Q1048835
USER
Is Johanna Konta an inhabitant of Australia ?
(Q770789,P27,Q408)
action is_in
entity Q408
action find
entity Q770789
relation P27
['Q770789', 'P27', 'Q408']
ASK WHERE { resource:Q770789 property:P27 resource:Q408 }
Johanna Konta Australia
action is_in
entity Australia
action find
entity Johanna Konta
relation country of citizenship
['Johanna Konta', 'country of citizenship', 'Australia']
ASK WHERE { resource:Johanna_Konta property:country_of_citizenship resource:Australia }
[]
political territorial entity
SYSTEM
YES
(Q770789,P27,Q408)
action is_in
entity Q408
action find
entity Q770789
relation P27
[ANSWER]
['Q770789', 'P27', 'Q408']
ASK WHERE { resource:Q770789 property:P27 resource:Q408 }
Yes
action is_in
entity Australia
action find
entity Johanna Konta
relation country of citizenship
['Johanna Konta', 'country of citizenship', 'Australia']
ASK WHERE { resource:Johanna_Konta property:country_of_citizenship resource:Australia }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P417
Q1445650 Q502895 Q56061
USER
Which administrative territories have exactly 1 holidays or people as their patron saint ?
(c(Q56061),P417,c(Q1445650)|c(Q502895))
action equal
action union
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action find_tuple_counts
relation P417
type Q56061
type Q502895
value 1
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q1445650'}, {'concept': 'Q502895'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?c ) ?p WHERE { { ?p property:P417 ?k . ?p rdf:type ontology:Q56061 . ?k rdf:type ontology:Q1445650 } UNION { ?p property:P417 ?k . ?p rdf:type ontology:Q56061 . ?k rdf:type ontology:Q502895 } } GROUP BY ?p } . FILTER ( ?c = 1 ) }
action equal
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
value 1
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'holiday'}, {'concept': 'common name'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?c ) ?p WHERE { { ?p property:patron_saint ?k . ?p rdf:type ontology:administrative_territorial_entity . ?k rdf:type ontology:holiday } UNION { ?p property:patron_saint ?k . ?p rdf:type ontology:administrative_territorial_entity . ?k rdf:type ontology:common_name } } GROUP BY ?p } . FILTER ( ?c = 1 ) }
[]
holiday common name administrative territorial entity
Q649 Q2807 Q490
SYSTEM
Moscow, Madrid, Milan
Q5818 Q187352 Q11974 Q40801 Q212841 Q454875 Q14209773 Q34111 Q81004 Q6737 Q13364 Q46844 Q73450 Q15468 Q490 Q41329 Q495 Q2044 Q1492 Q2028 Q929022 Q641 Q46165 Q649 Q58463 Q491588 Q3395964 Q73489 Q53825 Q200908 Q15090 Q36647 Q13375 Q15088 Q10305 Q53265 Q6340 Q101229 Q50135 Q2090 Q695550 Q53850 Q6285 Q9920 Q6046 Q3739344 Q2807 Q72279 Q133123 Q139595 Q3415 Q495798 Q82208 Q3557616 Q374108 Q3562704 Q428018 Q90 Q431389 Q5991813 Q380189 Q617 Q470461 Q733574 Q932648 Q100143 Q100065 Q13121 Q465078 Q3947670 Q100772 Q71935 Q51400 Q504216 Q51315 Q210470 Q11959 Q52215 Q15095 Q3740507 Q2634 Q51929 Q8356 Q47281 Q58581 Q119066 Q1155 Q200036 Q15487 Q244207 Q1957 Q50074 Q1897 Q433066 Q46864
(c(Q56061),P417,c(Q1445650)|c(Q502895))
action equal
action union
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action find_tuple_counts
relation P417
type Q56061
type Q502895
value 1
[ANSWERS] have exactly 1 holidays or people as their patron saint
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q1445650'}, {'concept': 'Q502895'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?c ) ?p WHERE { { ?p property:P417 ?k . ?p rdf:type ontology:Q56061 . ?k rdf:type ontology:Q1445650 } UNION { ?p property:P417 ?k . ?p rdf:type ontology:Q56061 . ?k rdf:type ontology:Q502895 } } GROUP BY ?p } . FILTER ( ?c = 1 ) }
Córdoba Kavala Las Palmas de Gran Canaria Borca di Cadore Drama Amarante Municipality San Lorenzo de' Picenardi Pozzallo Laviano Castellammare di Stabia Ravenna Roana Caldarola Badalona Milan Linz Turin Florence Barcelona Verona Giannitsa Venice Montecchio Maggiore Moscow Cancello e Arnone Camporeale Koufalia Camerino Altilia Rethymno Lleida Cork Pisa Tarragona Zaragoza Gemona del Friuli Castel Giorgio Martinengo Rocca di Cambio Nuremberg Huécija Cariati Varese Haarlem Novara Neokaisareia Madrid Mugnano di Napoli Patras Zacharo Ancona Brolo Kastritsa Platres Altrei Molista Mölten Paris Welsberg-Taisten Mansilla del Páramo Toblach Padua Amfilochia Istiaia Didymoteicho Caprino Bergamasco Mirandola Aalst Astorga San Mauro Mare Busseto Casamarciano Spoltore St. Martin in Passeier Villamagna Katerini Alicante Tuglie Albacete Favrio Naples Ischitella Valladolid Jesolo Curti, Campania Latera Busto Arsizio Volos Berga Campione d'Italia Vologda Castellafiume Cagliari Moos in Passeier Arcugnano
Moscow, Madrid and Milan have exactly 1 holidays or people as their patron saint
Moscow Madrid Milan
action equal
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
value 1
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'holiday'}, {'concept': 'common name'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?c ) ?p WHERE { { ?p property:patron_saint ?k . ?p rdf:type ontology:administrative_territorial_entity . ?k rdf:type ontology:holiday } UNION { ?p property:patron_saint ?k . ?p rdf:type ontology:administrative_territorial_entity . ?k rdf:type ontology:common_name } } GROUP BY ?p } . FILTER ( ?c = 1 ) }
[]