Simple Question (Direct)
Simple Question
Q402245
P20
Q56061
USER
Where did Mohamed Said Ramadan Al-Bouti die ?
(Q402245,P20,c(Q56061))
action filter_type
action find
entity Q402245
relation P20
type Q56061
['Q402245', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q56061 . resource:Q402245 property:P20 ?p }
Mohamed Said Ramadan Al-Bouti
action filter_type
action find
entity Mohamed Said Ramadan Al-Bouti
relation place of death
type administrative territorial entity
['Mohamed Said Ramadan Al-Bouti', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:administrative_territorial_entity . resource:Mohamed_Said_Ramadan_Al-Bouti property:place_of_death ?p }
[]
administrative territorial entity
Q3766
SYSTEM
Damascus
Q3766
(Q402245,P20,c(Q56061))
action filter_type
action find
entity Q402245
relation P20
type Q56061
Mohamed Said Ramadan Al-Bouti died in [ANSWER]
['Q402245', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q56061 . resource:Q402245 property:P20 ?p }
Damascus
Mohamed Said Ramadan Al-Bouti died in Damascus
Damascus
action filter_type
action find
entity Mohamed Said Ramadan Al-Bouti
relation place of death
type administrative territorial entity
['Mohamed Said Ramadan Al-Bouti', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:administrative_territorial_entity . resource:Mohamed_Said_Ramadan_Al-Bouti property:place_of_death ?p }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q402245
P69
Q3918
USER
Which university was that person educated at ?
(Q3766,P69,c(Q3918))
action filter_type
action find
entity Q402245
relation P69
type Q3918
['Q3766', 'P69', {'concept': 'Q3918'}]
SELECT DISTINCT ?u WHERE { resource:Q402245 property:P69 ?u . ?u rdf:type ontology:Q3918 }
Mohamed Said Ramadan Al-Bouti
action filter_type
action find
entity Mohamed Said Ramadan Al-Bouti
relation educated at
type university
['Damascus', 'educated at', {'concept': 'university'}]
SELECT DISTINCT ?u WHERE { resource:Mohamed_Said_Ramadan_Al-Bouti property:educated_at ?u . ?u rdf:type ontology:university }
[]
university
Q1351317
SYSTEM
Damascus University
Q1351317
(Q3766,P69,c(Q3918))
action filter_type
action find
entity Q402245
relation P69
type Q3918
That person was educated at [ANSWER]
['Q3766', 'P69', {'concept': 'Q3918'}]
SELECT DISTINCT ?u WHERE { resource:Q402245 property:P69 ?u . ?u rdf:type ontology:Q3918 }
Damascus University
That person was educated at Damascus University
Damascus University
action filter_type
action find
entity Mohamed Said Ramadan Al-Bouti
relation educated at
type university
['Damascus', 'educated at', {'concept': 'university'}]
SELECT DISTINCT ?u WHERE { resource:Mohamed_Said_Ramadan_Al-Bouti property:educated_at ?u . ?u rdf:type ontology:university }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q1351317 Q11781853
P69
Q502895
USER
Did Mirosław Lenk study at that university ?
(Q11781853,P69,Q1351317)
action is_in
entity Q11781853
action find
entity Q1351317
relation P69
['Q11781853', 'P69', 'Q1351317']
ASK WHERE { resource:Q1351317 property:P69 resource:Q11781853 }
Damascus University Mirosław Lenk
action is_in
entity Mirosław Lenk
action find
entity Damascus University
relation educated at
['Mirosław Lenk', 'educated at', 'Damascus University']
ASK WHERE { resource:Damascus_University property:educated_at resource:Mirosław_Lenk }
[]
common name
SYSTEM
NO
(Q11781853,P69,Q1351317)
action is_in
entity Q11781853
action find
entity Q1351317
relation P69
[ANSWER]
['Q11781853', 'P69', 'Q1351317']
ASK WHERE { resource:Q1351317 property:P69 resource:Q11781853 }
No
action is_in
entity Mirosław Lenk
action find
entity Damascus University
relation educated at
['Mirosław Lenk', 'educated at', 'Damascus University']
ASK WHERE { resource:Damascus_University property:educated_at resource:Mirosław_Lenk }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q6653911 Q402245
P27
Q15617994
USER
Which administrative territories are Mohamed Said Ramadan Al-Bouti or Liu Yunhong an inhabitant of ?
OR((Q402245,P27,c(Q15617994)), (Q6653911,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q402245
relation P27
action find
entity Q6653911
relation P27
type Q15617994
{'OR': [['Q402245', 'P27', {'concept': 'Q15617994'}], ['Q6653911', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?k WHERE { { ?s property:P27 ?k . VALUES ( ?s ) { ( resource:Q402245 ) ( resource:Q6653911 ) } } . ?k rdf:type ontology:Q15617994 }
Liu Yunhong Mohamed Said Ramadan Al-Bouti
action filter_type
action union
action find
entity Mohamed Said Ramadan Al-Bouti
relation country of citizenship
action find
entity Liu Yunhong
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Mohamed Said Ramadan Al-Bouti', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Liu Yunhong', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?k WHERE { { ?s property:country_of_citizenship ?k . VALUES ( ?s ) { ( resource:Mohamed_Said_Ramadan_Al-Bouti ) ( resource:Liu_Yunhong ) } } . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q858 Q148
SYSTEM
Syria, People's Republic of China
Q858 Q148
OR((Q402245,P27,c(Q15617994)), (Q6653911,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q402245
relation P27
action find
entity Q6653911
relation P27
type Q15617994
[ANSWERS] are Mohamed Said Ramadan Al-Bouti or Liu Yunhong an inhabitant of
{'OR': [['Q402245', 'P27', {'concept': 'Q15617994'}], ['Q6653911', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?k WHERE { { ?s property:P27 ?k . VALUES ( ?s ) { ( resource:Q402245 ) ( resource:Q6653911 ) } } . ?k rdf:type ontology:Q15617994 }
Syria People's Republic of China
Syria and People's Republic of China are Mohamed Said Ramadan Al-Bouti or Liu Yunhong an inhabitant of
Syria People's Republic of China
action filter_type
action union
action find
entity Mohamed Said Ramadan Al-Bouti
relation country of citizenship
action find
entity Liu Yunhong
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Mohamed Said Ramadan Al-Bouti', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Liu Yunhong', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?k WHERE { { ?s property:country_of_citizenship ?k . VALUES ( ?s ) { ( resource:Mohamed_Said_Ramadan_Al-Bouti ) ( resource:Liu_Yunhong ) } } . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q1092945
P840
Q166142
USER
Do Battlefield 2: Modern Combat have a setting location of those administrative territories ?
(Q1092945,P840,Q858) (Q1092945,P840,Q148)
action is_in
entity prev_answer
action find
entity Q1092945
relation P840
['Q1092945', 'P840', 'Q858'] ['Q1092945', 'P840', 'Q148']
ASK WHERE { VALUES ( ?f ) { ( resource:Q858 ) ( resource:Q148 ) } . resource:Q1092945 property:P840 ?f }
Battlefield 2: Modern Combat
action is_in
entity prev_answer
action find
entity Battlefield 2: Modern Combat
relation narrative location
['Battlefield 2: Modern Combat', 'narrative location', 'Syria'] ['Battlefield 2: Modern Combat', 'narrative location', "People's Republic of China"]
ASK WHERE { VALUES ( ?f ) { ( resource:Syria ) ( resource:People's_Republic_of_China ) } . resource:Battlefield_2:_Modern_Combat property:narrative_location ?f }
[]
application
SYSTEM
YES
(Q1092945,P840,Q858) (Q1092945,P840,Q148)
action is_in
entity prev_answer
action find
entity Q1092945
relation P840
[ANSWER]
['Q1092945', 'P840', 'Q858'] ['Q1092945', 'P840', 'Q148']
ASK WHERE { VALUES ( ?f ) { ( resource:Q858 ) ( resource:Q148 ) } . resource:Q1092945 property:P840 ?f }
Yes
action is_in
entity prev_answer
action find
entity Battlefield 2: Modern Combat
relation narrative location
['Battlefield 2: Modern Combat', 'narrative location', 'Syria'] ['Battlefield 2: Modern Combat', 'narrative location', "People's Republic of China"]
ASK WHERE { VALUES ( ?f ) { ( resource:Syria ) ( resource:People's_Republic_of_China ) } . resource:Battlefield_2:_Modern_Combat property:narrative_location ?f }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P122
Q22676587 Q15617994 Q15617994
USER
Which administrative territories have atleast 1 monarchic systems or administrative territories as government ?
(c(Q15617994),P122,c(Q22676587)|c(Q15617994))
action atleast
action union
action find_tuple_counts
relation P122
type Q15617994
type Q22676587
action find_tuple_counts
relation P122
type Q15617994
type Q15617994
value 1
[{'concept': 'Q15617994'}, 'P122', [{'concept': 'Q22676587'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) ?e WHERE { ?v rdf:type ?h . VALUES ( ?h ) { ( ontology:Q22676587 ) ( ontology:Q15617994 ) } } GROUP BY ?e } . FILTER ( ?a >= 1 ) }
action atleast
action union
action find_tuple_counts
relation basic form of government
type designation for an administrative territorial entity
type monarchic system
action find_tuple_counts
relation basic form of government
type designation for an administrative territorial entity
type designation for an administrative territorial entity
value 1
[{'concept': 'designation for an administrative territorial entity'}, 'basic form of government', [{'concept': 'monarchic system'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) ?e WHERE { ?v rdf:type ?h . VALUES ( ?h ) { ( ontology:monarchic_system ) ( ontology:designation_for_an_administrative_territorial_entity ) } } GROUP BY ?e } . FILTER ( ?a >= 1 ) }
[]
monarchic system designation for an administrative territorial entity designation for an administrative territorial entity
Q17 Q889 Q833
SYSTEM
Japan, Afghanistan, Malaysia
Q833 Q889 Q689837 Q815731 Q17 Q1483510 Q878
(c(Q15617994),P122,c(Q22676587)|c(Q15617994))
action atleast
action union
action find_tuple_counts
relation P122
type Q15617994
type Q22676587
action find_tuple_counts
relation P122
type Q15617994
type Q15617994
value 1
[ANSWERS] have atleast 1 monarchic systems or administrative territories as government
[{'concept': 'Q15617994'}, 'P122', [{'concept': 'Q22676587'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) ?e WHERE { ?v rdf:type ?h . VALUES ( ?h ) { ( ontology:Q22676587 ) ( ontology:Q15617994 ) } } GROUP BY ?e } . FILTER ( ?a >= 1 ) }
Malaysia Afghanistan Spanish Sahara Principality of Bulgaria Japan Principality of Wales United Arab Emirates
Japan, Afghanistan and Malaysia have atleast 1 monarchic systems or administrative territories as government
Japan Afghanistan Malaysia
action atleast
action union
action find_tuple_counts
relation basic form of government
type designation for an administrative territorial entity
type monarchic system
action find_tuple_counts
relation basic form of government
type designation for an administrative territorial entity
type designation for an administrative territorial entity
value 1
[{'concept': 'designation for an administrative territorial entity'}, 'basic form of government', [{'concept': 'monarchic system'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) ?e WHERE { ?v rdf:type ?h . VALUES ( ?h ) { ( ontology:monarchic_system ) ( ontology:designation_for_an_administrative_territorial_entity ) } } GROUP BY ?e } . FILTER ( ?a >= 1 ) }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P530
Q15617994 Q1048835
USER
Which political territories are known to have diplomatic connections with around 24 administrative territories ?
(c(Q1048835),P530,c(Q15617994))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 24
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?m ) AS ?w ) WHERE { ?x property:P530 ?m . ?x rdf:type ontology:Q1048835 . ?m rdf:type ontology:Q15617994 } GROUP BY ?x } . FILTER ( ?w = 24 ) }
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 24
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?m ) AS ?w ) WHERE { ?x property:diplomatic_relation ?m . ?x rdf:type ontology:political_territorial_entity . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?x } . FILTER ( ?w = 24 ) }
[]
designation for an administrative territorial entity political territorial entity
Q35 Q16 Q40
SYSTEM
Denmark, Canada, Austria
Q1000 Q40 Q781 Q778 Q769 Q685 Q35 Q691 Q16 Q664 Q766
(c(Q1048835),P530,c(Q15617994))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 24
[ANSWERS] are known to have diplomatic connections with around 24 administrative territories
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?m ) AS ?w ) WHERE { ?x property:P530 ?m . ?x rdf:type ontology:Q1048835 . ?m rdf:type ontology:Q15617994 } GROUP BY ?x } . FILTER ( ?w = 24 ) }
Gabon Austria Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea Canada New Zealand Jamaica
Denmark, Canada and Austria are known to have diplomatic connections with around 24 administrative territories
Denmark Canada Austria
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 24
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?m ) AS ?w ) WHERE { ?x property:diplomatic_relation ?m . ?x rdf:type ontology:political_territorial_entity . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?x } . FILTER ( ?w = 24 ) }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P1376
Q1048835 Q20667921 Q515
USER
Which political territories have approximately 1 french administrative divisions and cities have their center of administration ?
(c(Q20667921)|c(Q515),P1376,c(Q1048835))
action approx
action union
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q515
value 1
[[{'concept': 'Q20667921'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?d ) AS ?l ) WHERE { { ?d rdf:type ontology:Q20667921 . ?x rdf:type ontology:Q1048835 . ?d property:P1376 ?x } UNION { ?d property:P1376 ?x . ?d rdf:type ontology:Q515 . ?x rdf:type ontology:Q1048835 } } GROUP BY ?x } . FILTER ( ?l = 1 ) }
action approx
action union
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type city
value 1
[[{'concept': 'type of french administrative division'}, {'concept': 'city'}], 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?d ) AS ?l ) WHERE { { ?d rdf:type ontology:type_of_french_administrative_division . ?x rdf:type ontology:political_territorial_entity . ?d property:capital_of ?x } UNION { ?d property:capital_of ?x . ?d rdf:type ontology:city . ?x rdf:type ontology:political_territorial_entity } } GROUP BY ?x } . FILTER ( ?l = 1 ) }
[]
political territorial entity type of french administrative division city
Q664 Q757 Q785
SYSTEM
New Zealand, Saint Vincent and the Grenadines, Jersey
Q13881 Q13882 Q13884 Q13889 Q785 Q13726 Q2051 Q3891 Q3899 Q2175 Q2271 Q48060 Q13900 Q170390 Q1122980 Q8170 Q168651 Q3741 Q2223 Q13786 Q13785 Q13869 Q13868 Q13865 Q13863 Q13862 Q10547 Q2485101 Q1890 Q664 Q12741 Q6339 Q5082 Q5065 Q5067 Q5061 Q5062 Q5068 Q13737 Q7932 Q2140 Q13827 Q13826 Q13825 Q34617 Q13829 Q953068 Q170036 Q9648 Q3125978 Q13857 Q757 Q13772 Q642314 Q6301 Q7890 Q3916 Q13794 Q13791 Q13792 Q13813 Q48079 Q5093 Q5095 Q671742 Q5075 Q193619 Q13744 Q48094 Q192697 Q2772 Q13874 Q7928 Q188373 Q48046 Q2101298 Q1823 Q13844 Q13847 Q13843 Q2594990 Q1232887 Q8195 Q2110 Q48072 Q3586 Q13892 Q13891 Q13899 Q3906 Q778266 Q1866 Q13809 Q13860 Q13806 Q240441 Q24174 Q10440 Q49655 Q190930 Q13753 Q13752 Q13755 Q13759 Q8167 Q48089 Q7916 Q7912 Q3540 Q10526 Q13870 Q13872 Q3724 Q13876 Q48057 Q6328 Q10557 Q10555 Q2902 Q10559
(c(Q20667921)|c(Q515),P1376,c(Q1048835))
action approx
action union
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q515
value 1
[ANSWERS] have approximately 1 french administrative divisions and cities have their center of administration
[[{'concept': 'Q20667921'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?d ) AS ?l ) WHERE { { ?d rdf:type ontology:Q20667921 . ?x rdf:type ontology:Q1048835 . ?d property:P1376 ?x } UNION { ?d property:P1376 ?x . ?d rdf:type ontology:Q515 . ?x rdf:type ontology:Q1048835 } } GROUP BY ?x } . FILTER ( ?l = 1 ) }
Sorsogon South Cotabato Southern Leyte Surigao del Norte Jersey Albay Jambi Province Kalimantan Tengah Kalimantan Timur Riau Province South Sumatra Gera District Zamboanga del Sur County of Oldenburg Comtat Venaissin Tübingen Landgraviate of Hesse-Kassel Special Region of Yogyakarta Kepulauan Riau Cebu Cavite Palawan Oriental Mindoro Nueva Ecija Negros Oriental Negros Occidental Lower Franconia County of Chiny Bengkulu Province New Zealand Ilocos Sur Erzgebirgskreis West Sulawesi Central Sulawesi Province Gorontalo Province East Nusa Tenggara Province West Nusa Tenggara North Sulawesi Province Basilan Darmstadt Government Region North Sumatra Province Kalinga Isabela Iloilo Saint Pierre and Miquelon La Union South-West Africa Kiev Oblast Falkland Islands Bali Misamis Occidental Saint Vincent and the Grenadines Capiz County of Burgundy Nordsachsen Kassel Kalimantan Barat Davao del Sur Cotabato Davao del Norte Ilocos Norte Leipzig District Maluku Province Papua General Pueyrredón South East Sulawesi Province Union of South Africa Batangas Potsdam District South Moravian Region West Sumatra Rizal Kassel  Government Region South Bohemia Region Cottbus Tandil Aceh Leyte Masbate Lanao del Sur Dominion of New Zealand County of Savoy Breisgau-Hochschwarzwald Lampung Province Karl-Marx-Stadt District East Java Tarlac Surigao del Sur Zamboanga del Norte Kalimantan Selatan County of Artois Bangka–Belitung Islands Eastern Samar Misamis Oriental Davao Oriental General Alvarado Partido Dresden Government Region Coburg Schellenberg Vysočina Region Bukidnon Bohol Bulacan Cagayan Freiburg Government Region Neubrandenburg District Darmstadt-Dieburg Offenbach Banten Province Rosenheim Pampanga Quezon West Java Province Samar Frankfurt (Oder) Mittelsachsen Swabia Upper Palatinate Mecklenburgische Seenplatte District Lower Bavaria
New Zealand, Saint Vincent and the Grenadines and Jersey have approximately 1 french administrative divisions and cities have their center of administration
New Zealand Saint Vincent and the Grenadines Jersey
action approx
action union
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type city
value 1
[[{'concept': 'type of french administrative division'}, {'concept': 'city'}], 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?d ) AS ?l ) WHERE { { ?d rdf:type ontology:type_of_french_administrative_division . ?x rdf:type ontology:political_territorial_entity . ?d property:capital_of ?x } UNION { ?d property:capital_of ?x . ?d rdf:type ontology:city . ?x rdf:type ontology:political_territorial_entity } } GROUP BY ?x } . FILTER ( ?l = 1 ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q5617371 Q858
P530 P17
Q15617994
USER
Which administrative territories have diplomatic relations with Syria and are Gulf, Mobile, and Ohio Passenger Terminal located in ?
AND((Q858,P530,c(Q15617994)), (Q5617371,P17,c(Q15617994)))
action filter_type
action intersection
action find
entity Q858
relation P530
action find
entity Q5617371
relation P17
type Q15617994
{'AND': [['Q858', 'P530', {'concept': 'Q15617994'}], ['Q5617371', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:Q15617994 . resource:Q5617371 property:P17 ?i . resource:Q858 property:P530 ?i }
Gulf, Mobile, and Ohio Passenger Terminal Syria
action filter_type
action intersection
action find
entity Syria
relation diplomatic relation
action find
entity Gulf, Mobile, and Ohio Passenger Terminal
relation country
type designation for an administrative territorial entity
{'AND': [['Syria', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Gulf, Mobile, and Ohio Passenger Terminal', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Gulf,_Mobile,_and_Ohio_Passenger_Terminal property:country ?i . resource:Syria property:diplomatic_relation ?i }
[]
designation for an administrative territorial entity
Q30
SYSTEM
United States of America
Q30
AND((Q858,P530,c(Q15617994)), (Q5617371,P17,c(Q15617994)))
action filter_type
action intersection
action find
entity Q858
relation P530
action find
entity Q5617371
relation P17
type Q15617994
[ANSWER] have diplomatic relations with Syria and are Gulf, Mobile, and Ohio Passenger Terminal located in
{'AND': [['Q858', 'P530', {'concept': 'Q15617994'}], ['Q5617371', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:Q15617994 . resource:Q5617371 property:P17 ?i . resource:Q858 property:P530 ?i }
United States of America
United States of America have diplomatic relations with Syria and are Gulf, Mobile, and Ohio Passenger Terminal located in
United States of America
action filter_type
action intersection
action find
entity Syria
relation diplomatic relation
action find
entity Gulf, Mobile, and Ohio Passenger Terminal
relation country
type designation for an administrative territorial entity
{'AND': [['Syria', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Gulf, Mobile, and Ohio Passenger Terminal', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Gulf,_Mobile,_and_Ohio_Passenger_Terminal property:country ?i . resource:Syria property:diplomatic_relation ?i }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q30 Q11817 Q11613
P6
Q502895
USER
Does that administrative territory have Andrew Jackson and Harry S. Truman as its administrative leader ?
(Q30,P6,Q11817) (Q30,P6,Q11613)
action is_in
entity Q30
action intersection
action find_reverse
entity Q11817
relation P6
action find_reverse
entity Q11613
relation P6
['Q30', 'P6', 'Q11817'] ['Q30', 'P6', 'Q11613']
ASK WHERE { resource:Q30 property:P6 resource:Q11817 . resource:Q30 property:P6 resource:Q11613 }
United States of America Andrew Jackson Harry S. Truman
action is_in
entity United States of America
action intersection
action find_reverse
entity Andrew Jackson
relation head of government
action find_reverse
entity Harry S. Truman
relation head of government
['United States of America', 'head of government', 'Andrew Jackson'] ['United States of America', 'head of government', 'Harry S. Truman']
ASK WHERE { resource:United_States_of_America property:head_of_government resource:Andrew_Jackson . resource:United_States_of_America property:head_of_government resource:Harry_S._Truman }
[]
common name
SYSTEM
YES
(Q30,P6,Q11817) (Q30,P6,Q11613)
action is_in
entity Q30
action intersection
action find_reverse
entity Q11817
relation P6
action find_reverse
entity Q11613
relation P6
[ANSWER]
['Q30', 'P6', 'Q11817'] ['Q30', 'P6', 'Q11613']
ASK WHERE { resource:Q30 property:P6 resource:Q11817 . resource:Q30 property:P6 resource:Q11613 }
Yes
action is_in
entity United States of America
action intersection
action find_reverse
entity Andrew Jackson
relation head of government
action find_reverse
entity Harry S. Truman
relation head of government
['United States of America', 'head of government', 'Andrew Jackson'] ['United States of America', 'head of government', 'Harry S. Truman']
ASK WHERE { resource:United_States_of_America property:head_of_government resource:Andrew_Jackson . resource:United_States_of_America property:head_of_government resource:Harry_S._Truman }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q833 Q2058304
P47
Q56061
USER
Is Grmušani adjacent to Malaysia ?
(Q833,P47,Q2058304)
action is_in
entity Q2058304
action find
entity Q833
relation P47
['Q833', 'P47', 'Q2058304']
ASK WHERE { resource:Q833 property:P47 resource:Q2058304 }
Malaysia Grmušani
action is_in
entity Grmušani
action find
entity Malaysia
relation shares border with
['Malaysia', 'shares border with', 'Grmušani']
ASK WHERE { resource:Malaysia property:shares_border_with resource:Grmušani }
[]
administrative territorial entity
SYSTEM
NO
(Q833,P47,Q2058304)
action is_in
entity Q2058304
action find
entity Q833
relation P47
[ANSWER]
['Q833', 'P47', 'Q2058304']
ASK WHERE { resource:Q833 property:P47 resource:Q2058304 }
No
action is_in
entity Grmušani
action find
entity Malaysia
relation shares border with
['Malaysia', 'shares border with', 'Grmušani']
ASK WHERE { resource:Malaysia property:shares_border_with resource:Grmušani }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q833
P551
Q502895
USER
Which person has residence at that administrative territory ?
action filter_type
action find_reverse
entity Q833
relation P551
type Q502895
SELECT DISTINCT ?m WHERE { ?m property:P551 resource:Q833 . ?m rdf:type ontology:Q502895 }
Malaysia
action filter_type
action find_reverse
entity Malaysia
relation residence
type common name
SELECT DISTINCT ?m WHERE { ?m property:residence resource:Malaysia . ?m rdf:type ontology:common_name }
[]
common name
Q18387951
SYSTEM
Cyril E. S. Perera
Q18387951
action filter_type
action find_reverse
entity Q833
relation P551
type Q502895
[ANSWER] has residence at that administrative territory
SELECT DISTINCT ?m WHERE { ?m property:P551 resource:Q833 . ?m rdf:type ontology:Q502895 }
Cyril E. S. Perera
Cyril E. S. Perera has residence at that administrative territory
Cyril E. S. Perera
action filter_type
action find_reverse
entity Malaysia
relation residence
type common name
SELECT DISTINCT ?m WHERE { ?m property:residence resource:Malaysia . ?m rdf:type ontology:common_name }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q664
P47
Q7275 Q1048835
USER
How many states and political territories have an adjacent border with New Zealand ?
(c(Q7275),P47,Q664) (c(Q1048835),P47,Q664)
action count
action union
action filter_type
action find_reverse
entity Q664
relation P47
type Q7275
action filter_type
action find_reverse
entity Q664
relation P47
type Q1048835
[{'concept': 'Q7275'}, 'P47', 'Q664'] [{'concept': 'Q1048835'}, 'P47', 'Q664']
SELECT DISTINCT ( COUNT ( ?p ) AS ?i ) WHERE { { ?p property:P47 resource:Q664 . ?p rdf:type ontology:Q1048835 } UNION { ?p rdf:type ontology:Q7275 . ?p property:P47 resource:Q664 } }
New Zealand
action count
action union
action filter_type
action find_reverse
entity New Zealand
relation shares border with
type state
action filter_type
action find_reverse
entity New Zealand
relation shares border with
type political territorial entity
[{'concept': 'state'}, 'shares border with', 'New Zealand'] [{'concept': 'political territorial entity'}, 'shares border with', 'New Zealand']
SELECT DISTINCT ( COUNT ( ?p ) AS ?i ) WHERE { { ?p property:shares_border_with resource:New_Zealand . ?p rdf:type ontology:political_territorial_entity } UNION { ?p rdf:type ontology:state . ?p property:shares_border_with resource:New_Zealand } }
[]
state political territorial entity
SYSTEM
1 states and 1 political territories
Q408 Q1152445
(c(Q7275),P47,Q664) (c(Q1048835),P47,Q664)
action count
action union
action filter_type
action find_reverse
entity Q664
relation P47
type Q7275
action filter_type
action find_reverse
entity Q664
relation P47
type Q1048835
[ANSWER]
[{'concept': 'Q7275'}, 'P47', 'Q664'] [{'concept': 'Q1048835'}, 'P47', 'Q664']
SELECT DISTINCT ( COUNT ( ?p ) AS ?i ) WHERE { { ?p property:P47 resource:Q664 . ?p rdf:type ontology:Q1048835 } UNION { ?p rdf:type ontology:Q7275 . ?p property:P47 resource:Q664 } }
Australia Aerican Empire
1 states and 1 political territories
action count
action union
action filter_type
action find_reverse
entity New Zealand
relation shares border with
type state
action filter_type
action find_reverse
entity New Zealand
relation shares border with
type political territorial entity
[{'concept': 'state'}, 'shares border with', 'New Zealand'] [{'concept': 'political territorial entity'}, 'shares border with', 'New Zealand']
SELECT DISTINCT ( COUNT ( ?p ) AS ?i ) WHERE { { ?p property:shares_border_with resource:New_Zealand . ?p rdf:type ontology:political_territorial_entity } UNION { ?p rdf:type ontology:state . ?p property:shares_border_with resource:New_Zealand } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q664 Q40
P27
Q502895
USER
How many people are civilians of New Zealand and Austria ?
(c(Q502895),P27,Q664) (c(Q502895),P27,Q40)
action count
action intersection
action filter_type
action find_reverse
entity Q664
relation P27
type Q502895
action filter_type
action find_reverse
entity Q40
relation P27
type Q502895
[{'concept': 'Q502895'}, 'P27', 'Q664'] [{'concept': 'Q502895'}, 'P27', 'Q40']
SELECT DISTINCT ( COUNT ( ?j ) AS ?i ) WHERE { ?j rdf:type ontology:Q502895 . ?j property:P27 resource:Q664 . ?j property:P27 resource:Q40 . ?j rdf:type ontology:Q502895 }
New Zealand Austria
action count
action intersection
action filter_type
action find_reverse
entity New Zealand
relation country of citizenship
type common name
action filter_type
action find_reverse
entity Austria
relation country of citizenship
type common name
[{'concept': 'common name'}, 'country of citizenship', 'New Zealand'] [{'concept': 'common name'}, 'country of citizenship', 'Austria']
SELECT DISTINCT ( COUNT ( ?j ) AS ?i ) WHERE { ?j rdf:type ontology:common_name . ?j property:country_of_citizenship resource:New_Zealand . ?j property:country_of_citizenship resource:Austria . ?j rdf:type ontology:common_name }
[]
common name
SYSTEM
4
Q85069 Q89849 Q88163 Q89534
(c(Q502895),P27,Q664) (c(Q502895),P27,Q40)
action count
action intersection
action filter_type
action find_reverse
entity Q664
relation P27
type Q502895
action filter_type
action find_reverse
entity Q40
relation P27
type Q502895
[ANSWER]
[{'concept': 'Q502895'}, 'P27', 'Q664'] [{'concept': 'Q502895'}, 'P27', 'Q40']
SELECT DISTINCT ( COUNT ( ?j ) AS ?i ) WHERE { ?j rdf:type ontology:Q502895 . ?j property:P27 resource:Q664 . ?j property:P27 resource:Q40 . ?j rdf:type ontology:Q502895 }
Claudia Riegler Herbert Otto Roth Ernst Plischke Georg Tintner
4
action count
action intersection
action filter_type
action find_reverse
entity New Zealand
relation country of citizenship
type common name
action filter_type
action find_reverse
entity Austria
relation country of citizenship
type common name
[{'concept': 'common name'}, 'country of citizenship', 'New Zealand'] [{'concept': 'common name'}, 'country of citizenship', 'Austria']
SELECT DISTINCT ( COUNT ( ?j ) AS ?i ) WHERE { ?j rdf:type ontology:common_name . ?j property:country_of_citizenship resource:New_Zealand . ?j property:country_of_citizenship resource:Austria . ?j rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q224 Q40
P27
Q502895
USER
Which people are a native of Austria and Croatia ?
AND((c(Q502895),P27,Q40), (c(Q502895),P27,Q224))
action filter_type
action intersection
action find_reverse
entity Q40
relation P27
action find_reverse
entity Q224
relation P27
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P27', 'Q40'], [{'concept': 'Q502895'}, 'P27', 'Q224']]}
SELECT DISTINCT ?m WHERE { ?m property:P27 resource:Q224 . ?m property:P27 resource:Q40 . ?m rdf:type ontology:Q502895 }
Croatia Austria
action filter_type
action intersection
action find_reverse
entity Austria
relation country of citizenship
action find_reverse
entity Croatia
relation country of citizenship
type common name
{'AND': [[{'concept': 'common name'}, 'country of citizenship', 'Austria'], [{'concept': 'common name'}, 'country of citizenship', 'Croatia']]}
SELECT DISTINCT ?m WHERE { ?m property:country_of_citizenship resource:Croatia . ?m property:country_of_citizenship resource:Austria . ?m rdf:type ontology:common_name }
[]
common name
Q8083672 Q84272 Q79036 Q369341 Q1504885 Q2344073 Q93738 Q1446503 Q23000229 Q17299868
SYSTEM
Some of them are Željko Vuković, Niko Kranjčar, Julius Epstein, Marin Leovac, Georg Jelačić von Bužim, Stephan von Ljubičić, Milivoj Ašner, Alexander Csorich von Monte Creto, Etelka Kenéz Heka, Toni Tipurić
Q369341 Q84272 Q2344073 Q1446503 Q1504885 Q23000229 Q79036 Q17299868 Q93738 Q115196 Q78864 Q8083672
AND((c(Q502895),P27,Q40), (c(Q502895),P27,Q224))
action filter_type
action intersection
action find_reverse
entity Q40
relation P27
action find_reverse
entity Q224
relation P27
type Q502895
[ANSWERS] are a native of Austria and Croatia
{'AND': [[{'concept': 'Q502895'}, 'P27', 'Q40'], [{'concept': 'Q502895'}, 'P27', 'Q224']]}
SELECT DISTINCT ?m WHERE { ?m property:P27 resource:Q224 . ?m property:P27 resource:Q40 . ?m rdf:type ontology:Q502895 }
Marin Leovac Niko Kranjčar Stephan von Ljubičić Alexander Csorich von Monte Creto Georg Jelačić von Bužim Etelka Kenéz Heka Julius Epstein Toni Tipurić Milivoj Ašner Carla Martinis Lujo Tončić-Sorinj Željko Vuković
Željko Vuković, Niko Kranjčar, Julius Epstein, Marin Leovac, Georg Jelačić von Bužim, Stephan von Ljubičić, Milivoj Ašner, Alexander Csorich von Monte Creto, Etelka Kenéz Heka and Toni Tipurić are a native of Austria and Croatia
Željko Vuković Niko Kranjčar Julius Epstein Marin Leovac Georg Jelačić von Bužim Stephan von Ljubičić Milivoj Ašner Alexander Csorich von Monte Creto Etelka Kenéz Heka Toni Tipurić
action filter_type
action intersection
action find_reverse
entity Austria
relation country of citizenship
action find_reverse
entity Croatia
relation country of citizenship
type common name
{'AND': [[{'concept': 'common name'}, 'country of citizenship', 'Austria'], [{'concept': 'common name'}, 'country of citizenship', 'Croatia']]}
SELECT DISTINCT ?m WHERE { ?m property:country_of_citizenship resource:Croatia . ?m property:country_of_citizenship resource:Austria . ?m rdf:type ontology:common_name }
[]