Simple Question (Direct)
Simple Question
Q548317
P19
Q56061
USER
Where was Justin Roberts born ?
(Q548317,P19,c(Q56061))
action filter_type
action find
entity Q548317
relation P19
type Q56061
['Q548317', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?x WHERE { resource:Q548317 property:P19 ?x . ?x rdf:type ontology:Q56061 }
Justin Roberts
action filter_type
action find
entity Justin Roberts
relation place of birth
type administrative territorial entity
['Justin Roberts', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { resource:Justin_Roberts property:place_of_birth ?x . ?x rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q1297
SYSTEM
Chicago
Q1297
(Q548317,P19,c(Q56061))
action filter_type
action find
entity Q548317
relation P19
type Q56061
Justin Roberts was born in [ANSWER]
['Q548317', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?x WHERE { resource:Q548317 property:P19 ?x . ?x rdf:type ontology:Q56061 }
Chicago
Justin Roberts was born in Chicago
Chicago
action filter_type
action find
entity Justin Roberts
relation place of birth
type administrative territorial entity
['Justin Roberts', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { resource:Justin_Roberts property:place_of_birth ?x . ?x rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q548317
P21
Q290
USER
What is the sex of Justin Roberts ?
(Q548317,P21,c(Q290))
action filter_type
action find
entity Q548317
relation P21
type Q290
['Q548317', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:Q290 . resource:Q548317 property:P21 ?m }
Justin Roberts
action filter_type
action find
entity Justin Roberts
relation gender
type sex
['Justin Roberts', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:sex . resource:Justin_Roberts property:gender ?m }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q548317,P21,c(Q290))
action filter_type
action find
entity Q548317
relation P21
type Q290
The sex of Justin Roberts is a [ANSWER]
['Q548317', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:Q290 . resource:Q548317 property:P21 ?m }
male
The sex of Justin Roberts is a male
male
action filter_type
action find
entity Justin Roberts
relation gender
type sex
['Justin Roberts', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:sex . resource:Justin_Roberts property:gender ?m }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q6581097 Q18703006
P21
Q502895
USER
Does Henry Wilson have that sex as the sex ?
(Q18703006,P21,Q6581097)
action is_in
entity Q6581097
action find
entity Q18703006
relation P21
['Q18703006', 'P21', 'Q6581097']
ASK WHERE { resource:Q18703006 property:P21 resource:Q6581097 }
male Henry Wilson
action is_in
entity male
action find
entity Henry Wilson
relation gender
['Henry Wilson', 'gender', 'male']
ASK WHERE { resource:Henry_Wilson property:gender resource:male }
[]
common name
SYSTEM
YES
(Q18703006,P21,Q6581097)
action is_in
entity Q6581097
action find
entity Q18703006
relation P21
[ANSWER]
['Q18703006', 'P21', 'Q6581097']
ASK WHERE { resource:Q18703006 property:P21 resource:Q6581097 }
Yes
action is_in
entity male
action find
entity Henry Wilson
relation gender
['Henry Wilson', 'gender', 'male']
ASK WHERE { resource:Henry_Wilson property:gender resource:male }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1297 Q3805
P190
Q56061
USER
Is Amman the sister city of Chicago ?
(Q1297,P190,Q3805)
action is_in
entity Q3805
action find
entity Q1297
relation P190
['Q1297', 'P190', 'Q3805']
ASK WHERE { resource:Q1297 property:P190 resource:Q3805 }
Chicago Amman
action is_in
entity Amman
action find
entity Chicago
relation sister city
['Chicago', 'sister city', 'Amman']
ASK WHERE { resource:Chicago property:sister_city resource:Amman }
[]
administrative territorial entity
SYSTEM
YES
(Q1297,P190,Q3805)
action is_in
entity Q3805
action find
entity Q1297
relation P190
[ANSWER]
['Q1297', 'P190', 'Q3805']
ASK WHERE { resource:Q1297 property:P190 resource:Q3805 }
Yes
action is_in
entity Amman
action find
entity Chicago
relation sister city
['Chicago', 'sister city', 'Amman']
ASK WHERE { resource:Chicago property:sister_city resource:Amman }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q548317 Q555685 Q30
P27
Q15617994
USER
Is Justin Roberts a citizen of Krukow and United States of America ?
(Q548317,P27,Q555685) (Q548317,P27,Q30)
action is_in
entity Q548317
action intersection
action find_reverse
entity Q555685
relation P27
action find_reverse
entity Q30
relation P27
['Q548317', 'P27', 'Q555685'] ['Q548317', 'P27', 'Q30']
ASK WHERE { resource:Q548317 property:P27 resource:Q30 . resource:Q548317 property:P27 resource:Q555685 }
Justin Roberts Krukow United States of America
action is_in
entity Justin Roberts
action intersection
action find_reverse
entity Krukow
relation country of citizenship
action find_reverse
entity United States of America
relation country of citizenship
['Justin Roberts', 'country of citizenship', 'Krukow'] ['Justin Roberts', 'country of citizenship', 'United States of America']
ASK WHERE { resource:Justin_Roberts property:country_of_citizenship resource:United_States_of_America . resource:Justin_Roberts property:country_of_citizenship resource:Krukow }
[]
designation for an administrative territorial entity
SYSTEM
NO and YES respectively
(Q548317,P27,Q555685) (Q548317,P27,Q30)
action is_in
entity Q548317
action intersection
action find_reverse
entity Q555685
relation P27
action find_reverse
entity Q30
relation P27
[ANSWER]
['Q548317', 'P27', 'Q555685'] ['Q548317', 'P27', 'Q30']
ASK WHERE { resource:Q548317 property:P27 resource:Q30 . resource:Q548317 property:P27 resource:Q555685 }
NO and YES respectively
action is_in
entity Justin Roberts
action intersection
action find_reverse
entity Krukow
relation country of citizenship
action find_reverse
entity United States of America
relation country of citizenship
['Justin Roberts', 'country of citizenship', 'Krukow'] ['Justin Roberts', 'country of citizenship', 'United States of America']
ASK WHERE { resource:Justin_Roberts property:country_of_citizenship resource:United_States_of_America . resource:Justin_Roberts property:country_of_citizenship resource:Krukow }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q617
P417
Q502895 Q1445650 Q56061
USER
Which administrative territories have around the same number of people and holidays as their patron saint as Padua ?
(c(Q56061),P417,c(Q502895)|c(Q1445650))
action approx
action union
action find_tuple_counts
relation P417
type Q56061
type Q502895
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action count
action filter_multi_types
action find
entity Q617
relation P417
type Q502895
type Q1445650
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q502895'}, {'concept': 'Q1445650'}]]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( COUNT ( ?s ) AS ?k ) ?h WHERE { { ?h property:P417 ?s . ?s rdf:type ontology:Q502895 . ?h rdf:type ontology:Q56061 } UNION { ?h property:P417 ?s . ?h rdf:type ontology:Q56061 . ?s rdf:type ontology:Q1445650 } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?b ) WHERE { resource:Q617 property:P417 ?f . { ?f rdf:type ?y . VALUES ( ?y ) { ( ontology:Q502895 ) ( ontology:Q1445650 ) } } } } . FILTER ( ?k = ?b ) }
Padua
action approx
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action count
action filter_multi_types
action find
entity Padua
relation patron saint
type common name
type holiday
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'common name'}, {'concept': 'holiday'}]]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( COUNT ( ?s ) AS ?k ) ?h WHERE { { ?h property:patron_saint ?s . ?s rdf:type ontology:common_name . ?h rdf:type ontology:administrative_territorial_entity } UNION { ?h property:patron_saint ?s . ?h rdf:type ontology:administrative_territorial_entity . ?s rdf:type ontology:holiday } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?b ) WHERE { resource:Padua property:patron_saint ?f . { ?f rdf:type ?y . VALUES ( ?y ) { ( ontology:common_name ) ( ontology:holiday ) } } } } . FILTER ( ?k = ?b ) }
[]
common name holiday 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(Q502895)|c(Q1445650))
action approx
action union
action find_tuple_counts
relation P417
type Q56061
type Q502895
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action count
action filter_multi_types
action find
entity Q617
relation P417
type Q502895
type Q1445650
[ANSWERS] have around the same number of people and holidays as their patron saint as Padua
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q502895'}, {'concept': 'Q1445650'}]]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( COUNT ( ?s ) AS ?k ) ?h WHERE { { ?h property:P417 ?s . ?s rdf:type ontology:Q502895 . ?h rdf:type ontology:Q56061 } UNION { ?h property:P417 ?s . ?h rdf:type ontology:Q56061 . ?s rdf:type ontology:Q1445650 } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?b ) WHERE { resource:Q617 property:P417 ?f . { ?f rdf:type ?y . VALUES ( ?y ) { ( ontology:Q502895 ) ( ontology:Q1445650 ) } } } } . FILTER ( ?k = ?b ) }
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 around the same number of people and holidays as their patron saint as Padua
Moscow Madrid Milan
action approx
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action count
action filter_multi_types
action find
entity Padua
relation patron saint
type common name
type holiday
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'common name'}, {'concept': 'holiday'}]]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( COUNT ( ?s ) AS ?k ) ?h WHERE { { ?h property:patron_saint ?s . ?s rdf:type ontology:common_name . ?h rdf:type ontology:administrative_territorial_entity } UNION { ?h property:patron_saint ?s . ?h rdf:type ontology:administrative_territorial_entity . ?s rdf:type ontology:holiday } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?b ) WHERE { resource:Padua property:patron_saint ?f . { ?f rdf:type ?y . VALUES ( ?y ) { ( ontology:common_name ) ( ontology:holiday ) } } } } . FILTER ( ?k = ?b ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q6340
P417
Q502895 Q1445650 Q56061
USER
And what about Castel Giorgio?
(c(Q56061),P417,c(Q502895)|c(Q1445650))
action approx
action union
action find_tuple_counts
relation P417
type Q56061
type Q502895
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action count
action filter_multi_types
action find
entity Q6340
relation P417
type Q502895
type Q1445650
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q502895'}, {'concept': 'Q1445650'}]]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?n ) AS ?v ) WHERE { { ?k property:P417 ?n . ?k rdf:type ontology:Q56061 . ?n rdf:type ontology:Q502895 } UNION { ?k property:P417 ?n . ?k rdf:type ontology:Q56061 . ?n rdf:type ontology:Q1445650 } } GROUP BY ?k } . FILTER ( ?v = ?j ) . { SELECT DISTINCT ( COUNT ( ?q ) AS ?j ) WHERE { resource:Q6340 property:P417 ?q . { { ?q rdf:type ontology:Q502895 } UNION { ?q rdf:type ontology:Q1445650 } } } } }
Castel Giorgio
action approx
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action count
action filter_multi_types
action find
entity Castel Giorgio
relation patron saint
type common name
type holiday
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'common name'}, {'concept': 'holiday'}]]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?n ) AS ?v ) WHERE { { ?k property:patron_saint ?n . ?k rdf:type ontology:administrative_territorial_entity . ?n rdf:type ontology:common_name } UNION { ?k property:patron_saint ?n . ?k rdf:type ontology:administrative_territorial_entity . ?n rdf:type ontology:holiday } } GROUP BY ?k } . FILTER ( ?v = ?j ) . { SELECT DISTINCT ( COUNT ( ?q ) AS ?j ) WHERE { resource:Castel_Giorgio property:patron_saint ?q . { { ?q rdf:type ontology:common_name } UNION { ?q rdf:type ontology:holiday } } } } }
[]
common name holiday 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(Q502895)|c(Q1445650))
action approx
action union
action find_tuple_counts
relation P417
type Q56061
type Q502895
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action count
action filter_multi_types
action find
entity Q6340
relation P417
type Q502895
type Q1445650
[ANSWERS]
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q502895'}, {'concept': 'Q1445650'}]]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?n ) AS ?v ) WHERE { { ?k property:P417 ?n . ?k rdf:type ontology:Q56061 . ?n rdf:type ontology:Q502895 } UNION { ?k property:P417 ?n . ?k rdf:type ontology:Q56061 . ?n rdf:type ontology:Q1445650 } } GROUP BY ?k } . FILTER ( ?v = ?j ) . { SELECT DISTINCT ( COUNT ( ?q ) AS ?j ) WHERE { resource:Q6340 property:P417 ?q . { { ?q rdf:type ontology:Q502895 } UNION { ?q rdf:type ontology:Q1445650 } } } } }
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 Milan
action approx
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action count
action filter_multi_types
action find
entity Castel Giorgio
relation patron saint
type common name
type holiday
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'common name'}, {'concept': 'holiday'}]]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?n ) AS ?v ) WHERE { { ?k property:patron_saint ?n . ?k rdf:type ontology:administrative_territorial_entity . ?n rdf:type ontology:common_name } UNION { ?k property:patron_saint ?n . ?k rdf:type ontology:administrative_territorial_entity . ?n rdf:type ontology:holiday } } GROUP BY ?k } . FILTER ( ?v = ?j ) . { SELECT DISTINCT ( COUNT ( ?q ) AS ?j ) WHERE { resource:Castel_Giorgio property:patron_saint ?q . { { ?q rdf:type ontology:common_name } UNION { ?q rdf:type ontology:holiday } } } } }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q6375357 Q649
P19 P190
Q56061
USER
Which administrative territories are partner towns of Moscow or were Kate Barry born ?
OR((Q649,P190,c(Q56061)), (Q6375357,P19,c(Q56061)))
action filter_type
action union
action find
entity Q649
relation P190
action find
entity Q6375357
relation P19
type Q56061
{'OR': [['Q649', 'P190', {'concept': 'Q56061'}], ['Q6375357', 'P19', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?z WHERE { { { resource:Q6375357 property:P19 ?z } UNION { resource:Q649 property:P190 ?z } } . ?z rdf:type ontology:Q56061 }
Kate Barry Moscow
action filter_type
action union
action find
entity Moscow
relation sister city
action find
entity Kate Barry
relation place of birth
type administrative territorial entity
{'OR': [['Moscow', 'sister city', {'concept': 'administrative territorial entity'}], ['Kate Barry', 'place of birth', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?z WHERE { { { resource:Kate_Barry property:place_of_birth ?z } UNION { resource:Moscow property:sister_city ?z } } . ?z rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q437 Q1490 Q1085 Q1741 Q1718 Q239 Q1770 Q23564 Q1353 Q270
SYSTEM
Some of them are Ljubljana, Tokyo, Prague, Vienna, Düsseldorf, Brussels, Tallinn, Podgorica, Delhi, Warsaw
Q807 Q41572 Q131290 Q994 Q437 Q1353 Q727 Q472 Q23564 Q179830 Q13498 Q178373 Q42308 Q1770 Q1718 Q18808 Q1297 Q1490 Q196678 Q1524 Q1780 Q1520 Q1741 Q3630 Q140147 Q25409 Q33935 Q3561 Q3805 Q84 Q85 Q486282 Q19566 Q1861 Q3820 Q216 Q43070 Q270 Q987 Q239 Q2807 Q956 Q3640 Q64 Q1491 Q1218 Q133026 Q186576 Q1085
OR((Q649,P190,c(Q56061)), (Q6375357,P19,c(Q56061)))
action filter_type
action union
action find
entity Q649
relation P190
action find
entity Q6375357
relation P19
type Q56061
[ANSWERS] are partner towns of Moscow or were Kate Barry born
{'OR': [['Q649', 'P190', {'concept': 'Q56061'}], ['Q6375357', 'P19', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?z WHERE { { { resource:Q6375357 property:P19 ?z } UNION { resource:Q649 property:P190 ?z } } . ?z rdf:type ontology:Q56061 }
Lausanne Mykolaiv Ganja Tbilisi Ljubljana Delhi Amsterdam Sofia Podgorica Jelgava Taranto Rasht Kharkiv Tallinn Düsseldorf Pyongyang Chicago Tokyo Torzhok Athens Bratislava Astana Vienna Jakarta Brest Košice Tel Aviv Algiers Amman London Cairo Pavlodar Simferopol Bangkok Beirut Vilnius Donetsk Warsaw New Delhi Brussels Madrid Beijing Ankara Berlin La Paz Jerusalem Kolomna Pazardzhik Prague
Ljubljana, Tokyo, Prague, Vienna, Düsseldorf, Brussels, Tallinn, Podgorica, Delhi and Warsaw are partner towns of Moscow or were Kate Barry born
Ljubljana Tokyo Prague Vienna Düsseldorf Brussels Tallinn Podgorica Delhi Warsaw
action filter_type
action union
action find
entity Moscow
relation sister city
action find
entity Kate Barry
relation place of birth
type administrative territorial entity
{'OR': [['Moscow', 'sister city', {'concept': 'administrative territorial entity'}], ['Kate Barry', 'place of birth', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?z WHERE { { { resource:Kate_Barry property:place_of_birth ?z } UNION { resource:Moscow property:sister_city ?z } } . ?z rdf:type ontology:administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q677021 Q1297
P19 P190
Q486972
USER
Which human settlements are partner towns of Chicago or are the birthplace of Hubert Gad ?
OR((Q1297,P190,c(Q486972)), (Q677021,P19,c(Q486972)))
action filter_type
action union
action find
entity Q1297
relation P190
action find
entity Q677021
relation P19
type Q486972
{'OR': [['Q1297', 'P190', {'concept': 'Q486972'}], ['Q677021', 'P19', {'concept': 'Q486972'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Q1297 property:P190 ?r } UNION { resource:Q677021 property:P19 ?r } } . ?r rdf:type ontology:Q486972 }
Hubert Gad Chicago
action filter_type
action union
action find
entity Chicago
relation sister city
action find
entity Hubert Gad
relation place of birth
type human settlement
{'OR': [['Chicago', 'sister city', {'concept': 'human settlement'}], ['Hubert Gad', 'place of birth', {'concept': 'human settlement'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Chicago property:sister_city ?r } UNION { resource:Hubert_Gad property:place_of_birth ?r } } . ?r rdf:type ontology:human_settlement }
[]
human settlement
Q1055 Q752460 Q45197
SYSTEM
Hamburg, Los Mochis, Świętochłowice
Q1055 Q752460 Q45197
OR((Q1297,P190,c(Q486972)), (Q677021,P19,c(Q486972)))
action filter_type
action union
action find
entity Q1297
relation P190
action find
entity Q677021
relation P19
type Q486972
[ANSWERS] are partner towns of Chicago or are the birthplace of Hubert Gad
{'OR': [['Q1297', 'P190', {'concept': 'Q486972'}], ['Q677021', 'P19', {'concept': 'Q486972'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Q1297 property:P190 ?r } UNION { resource:Q677021 property:P19 ?r } } . ?r rdf:type ontology:Q486972 }
Hamburg Los Mochis Świętochłowice
Hamburg, Los Mochis and Świętochłowice are partner towns of Chicago or are the birthplace of Hubert Gad
Hamburg Los Mochis Świętochłowice
action filter_type
action union
action find
entity Chicago
relation sister city
action find
entity Hubert Gad
relation place of birth
type human settlement
{'OR': [['Chicago', 'sister city', {'concept': 'human settlement'}], ['Hubert Gad', 'place of birth', {'concept': 'human settlement'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Chicago property:sister_city ?r } UNION { resource:Hubert_Gad property:place_of_birth ?r } } . ?r rdf:type ontology:human_settlement }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P190
Q486972 Q1048835
USER
Which political territories are a sister city of atleast 2 human settlements ?
(c(Q1048835),P190,c(Q486972))
action atleast
action find_tuple_counts
relation P190
type Q1048835
type Q486972
value 2
[{'concept': 'Q1048835'}, 'P190', {'concept': 'Q486972'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?k ) AS ?w ) WHERE { ?b property:P190 ?k . ?k rdf:type ontology:Q486972 . ?b rdf:type ontology:Q1048835 } GROUP BY ?b } . FILTER ( ?w >= 2 ) }
action atleast
action find_tuple_counts
relation sister city
type political territorial entity
type human settlement
value 2
[{'concept': 'political territorial entity'}, 'sister city', {'concept': 'human settlement'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?k ) AS ?w ) WHERE { ?b property:sister_city ?k . ?k rdf:type ontology:human_settlement . ?b rdf:type ontology:political_territorial_entity } GROUP BY ?b } . FILTER ( ?w >= 2 ) }
[]
human settlement political territorial entity
Q615722
SYSTEM
Santa Fe
Q615722
(c(Q1048835),P190,c(Q486972))
action atleast
action find_tuple_counts
relation P190
type Q1048835
type Q486972
value 2
[ANSWER] is a sister city of atleast 2 human settlements
[{'concept': 'Q1048835'}, 'P190', {'concept': 'Q486972'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?k ) AS ?w ) WHERE { ?b property:P190 ?k . ?k rdf:type ontology:Q486972 . ?b rdf:type ontology:Q1048835 } GROUP BY ?b } . FILTER ( ?w >= 2 ) }
Santa Fe
Santa Fe is a sister city of atleast 2 human settlements
Santa Fe
action atleast
action find_tuple_counts
relation sister city
type political territorial entity
type human settlement
value 2
[{'concept': 'political territorial entity'}, 'sister city', {'concept': 'human settlement'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?k ) AS ?w ) WHERE { ?b property:sister_city ?k . ?k rdf:type ontology:human_settlement . ?b rdf:type ontology:political_territorial_entity } GROUP BY ?b } . FILTER ( ?w >= 2 ) }
[]