Simple Question (Direct)
Simple Question
Q15968217
P39
Q12737077
USER
Which occupation was a position held by Alexandre-César-Louis d'Estourmel ?
(Q15968217,P39,c(Q12737077))
action filter_type
action find
entity Q15968217
relation P39
type Q12737077
['Q15968217', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:Q12737077 . resource:Q15968217 property:P39 ?j }
Alexandre-César-Louis d'Estourmel
action filter_type
action find
entity Alexandre-César-Louis d'Estourmel
relation position held
type occupation
["Alexandre-César-Louis d'Estourmel", 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:occupation . resource:Alexandre-César-Louis_d'Estourmel property:position_held ?j }
[]
occupation
Q3044918
SYSTEM
member of the French National Assembly
Q3044918
(Q15968217,P39,c(Q12737077))
action filter_type
action find
entity Q15968217
relation P39
type Q12737077
The member of the French National Assembly was a position held by Alexandre-César-Louis d'Estourmel
['Q15968217', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:Q12737077 . resource:Q15968217 property:P39 ?j }
member of the French National Assembly
The member of the French National Assembly was a position held by Alexandre-César-Louis d'Estourmel
member of the French National Assembly
action filter_type
action find
entity Alexandre-César-Louis d'Estourmel
relation position held
type occupation
["Alexandre-César-Louis d'Estourmel", 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:occupation . resource:Alexandre-César-Louis_d'Estourmel property:position_held ?j }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q15968217
P166
Q618779
USER
Which award was received by Alexandre-César-Louis d'Estourmel ?
(Q15968217,P166,c(Q618779))
action filter_type
action find
entity Q15968217
relation P166
type Q618779
['Q15968217', 'P166', {'concept': 'Q618779'}]
SELECT DISTINCT ?c WHERE { resource:Q15968217 property:P166 ?c . ?c rdf:type ontology:Q618779 }
Alexandre-César-Louis d'Estourmel
action filter_type
action find
entity Alexandre-César-Louis d'Estourmel
relation award received
type award
["Alexandre-César-Louis d'Estourmel", 'award received', {'concept': 'award'}]
SELECT DISTINCT ?c WHERE { resource:Alexandre-César-Louis_d'Estourmel property:award_received ?c . ?c rdf:type ontology:award }
[]
award
Q10855271
SYSTEM
Knight of the Legion of Honour
Q10855271
(Q15968217,P166,c(Q618779))
action filter_type
action find
entity Q15968217
relation P166
type Q618779
The [ANSWER] was received by Alexandre-César-Louis d'Estourmel
['Q15968217', 'P166', {'concept': 'Q618779'}]
SELECT DISTINCT ?c WHERE { resource:Q15968217 property:P166 ?c . ?c rdf:type ontology:Q618779 }
Knight of the Legion of Honour
The Knight of the Legion of Honour was received by Alexandre-César-Louis d'Estourmel
Knight of the Legion of Honour
action filter_type
action find
entity Alexandre-César-Louis d'Estourmel
relation award received
type award
["Alexandre-César-Louis d'Estourmel", 'award received', {'concept': 'award'}]
SELECT DISTINCT ?c WHERE { resource:Alexandre-César-Louis_d'Estourmel property:award_received ?c . ?c rdf:type ontology:award }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q10855271
P17
Q15617994
USER
Which administrative territory does that award belong to ?
(Q10855271,P17,c(Q15617994))
action filter_type
action find
entity Q10855271
relation P17
type Q15617994
['Q10855271', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?p WHERE { resource:Q10855271 property:P17 ?p . ?p rdf:type ontology:Q15617994 }
Knight of the Legion of Honour
action filter_type
action find
entity Knight of the Legion of Honour
relation country
type designation for an administrative territorial entity
['Knight of the Legion of Honour', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { resource:Knight_of_the_Legion_of_Honour property:country ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142
SYSTEM
France
Q142
(Q10855271,P17,c(Q15617994))
action filter_type
action find
entity Q10855271
relation P17
type Q15617994
That award belongs to [ANSWER]
['Q10855271', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?p WHERE { resource:Q10855271 property:P17 ?p . ?p rdf:type ontology:Q15617994 }
France
That award belongs to France
France
action filter_type
action find
entity Knight of the Legion of Honour
relation country
type designation for an administrative territorial entity
['Knight of the Legion of Honour', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { resource:Knight_of_the_Legion_of_Honour property:country ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators|Indirect
P138
Q15275719 Q12280
USER
How many recurring events and bridges are the eponym of that administrative territory ?
(c(Q15275719),P138,Q142) (c(Q12280),P138,Q142) (c(Q15275719),P138,Q142) (c(Q12280),P138,Q142)
action count
action union
action filter_type
action find_reverse
entity Q142
relation P138
type Q15275719
action filter_type
action find_reverse
entity Q142
relation P138
type Q12280
[{'concept': 'Q15275719'}, 'P138', 'Q142'] [{'concept': 'Q12280'}, 'P138', 'Q142'] [{'concept': 'Q15275719'}, 'P138', 'Q142'] [{'concept': 'Q12280'}, 'P138', 'Q142']
SELECT DISTINCT ( COUNT ( ?f ) AS ?z ) WHERE { ?f rdf:type ?n . VALUES ( ?n ) { ( ontology:Q15275719 ) ( ontology:Q12280 ) } }
action count
action union
action filter_type
action find_reverse
entity France
relation named after
type recurring event
action filter_type
action find_reverse
entity France
relation named after
type bridge
[{'concept': 'recurring event'}, 'named after', 'France'] [{'concept': 'bridge'}, 'named after', 'France'] [{'concept': 'recurring event'}, 'named after', 'France'] [{'concept': 'bridge'}, 'named after', 'France']
SELECT DISTINCT ( COUNT ( ?f ) AS ?z ) WHERE { ?f rdf:type ?n . VALUES ( ?n ) { ( ontology:recurring_event ) ( ontology:bridge ) } }
[]
recurring event bridge
SYSTEM
1 recurring events and 1 bridges
Q33881 Q205682
(c(Q15275719),P138,Q142) (c(Q12280),P138,Q142) (c(Q15275719),P138,Q142) (c(Q12280),P138,Q142)
action count
action union
action filter_type
action find_reverse
entity Q142
relation P138
type Q15275719
action filter_type
action find_reverse
entity Q142
relation P138
type Q12280
[ANSWER]
[{'concept': 'Q15275719'}, 'P138', 'Q142'] [{'concept': 'Q12280'}, 'P138', 'Q142'] [{'concept': 'Q15275719'}, 'P138', 'Q142'] [{'concept': 'Q12280'}, 'P138', 'Q142']
SELECT DISTINCT ( COUNT ( ?f ) AS ?z ) WHERE { ?f rdf:type ?n . VALUES ( ?n ) { ( ontology:Q15275719 ) ( ontology:Q12280 ) } }
Tour de France Three Countries Bridge
1 recurring events and 1 bridges
action count
action union
action filter_type
action find_reverse
entity France
relation named after
type recurring event
action filter_type
action find_reverse
entity France
relation named after
type bridge
[{'concept': 'recurring event'}, 'named after', 'France'] [{'concept': 'bridge'}, 'named after', 'France'] [{'concept': 'recurring event'}, 'named after', 'France'] [{'concept': 'bridge'}, 'named after', 'France']
SELECT DISTINCT ( COUNT ( ?f ) AS ?z ) WHERE { ?f rdf:type ?n . VALUES ( ?n ) { ( ontology:recurring_event ) ( ontology:bridge ) } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q142
P276
Q1190554
USER
Which events have their location as France ?
(c(Q1190554),P276,Q142)
action filter_type
action find_reverse
entity Q142
relation P276
type Q1190554
[{'concept': 'Q1190554'}, 'P276', 'Q142']
SELECT DISTINCT ?h WHERE { ?h property:P276 resource:Q142 . ?h rdf:type ontology:Q1190554 }
France
action filter_type
action find_reverse
entity France
relation location
type event
[{'concept': 'event'}, 'location', 'France']
SELECT DISTINCT ?h WHERE { ?h property:location resource:France . ?h rdf:type ontology:event }
[]
event
Q750567 Q2890541 Q151340
SYSTEM
Spring Offensive, Battle of La Malmaison, Battle of France
Q151340 Q2890541 Q250747 Q750567
(c(Q1190554),P276,Q142)
action filter_type
action find_reverse
entity Q142
relation P276
type Q1190554
[ANSWERS] have their location as France
[{'concept': 'Q1190554'}, 'P276', 'Q142']
SELECT DISTINCT ?h WHERE { ?h property:P276 resource:Q142 . ?h rdf:type ontology:Q1190554 }
Battle of France Battle of La Malmaison Race to the Sea Spring Offensive
Spring Offensive, Battle of La Malmaison and Battle of France have their location as France
Spring Offensive Battle of La Malmaison Battle of France
action filter_type
action find_reverse
entity France
relation location
type event
[{'concept': 'event'}, 'location', 'France']
SELECT DISTINCT ?h WHERE { ?h property:location resource:France . ?h rdf:type ontology:event }
[]
Clarification
Simple Question|Single Entity|Indirect
Q750567
P710
Q7275
USER
Who were the artist who participated in that event ?
(Q750567,P710,c(Q7275))
action filter_type
action find
entity Q750567
relation P710
type Q7275
['Q750567', 'P710', {'concept': 'Q7275'}]
SELECT DISTINCT ?a WHERE { resource:Q750567 property:P710 ?a . ?a rdf:type ontology:Q7275 }
Spring Offensive
action filter_type
action find
entity Spring Offensive
relation participant
type state
['Spring Offensive', 'participant', {'concept': 'state'}]
SELECT DISTINCT ?a WHERE { resource:Spring_Offensive property:participant ?a . ?a rdf:type ontology:state }
[]
state
Clarification for simple ques.
Q750567
SYSTEM
Did you mean Spring Offensive ?
Q750567 Q2890541 Q151340
(Q750567,P710,c(Q7275)) (Q2890541,P710,c(Q7275)) (Q151340,P710,c(Q7275))
[ANSWER]
['Q750567', 'P710', {'concept': 'Q7275'}] ['Q2890541', 'P710', {'concept': 'Q7275'}] ['Q151340', 'P710', {'concept': 'Q7275'}]
SELECT DISTINCT ?a WHERE { resource:Q750567 property:P710 ?a . ?a rdf:type ontology:Q7275 }
Spring Offensive Battle of La Malmaison Battle of France
Did you mean Spring Offensive ?
Spring Offensive
['Spring Offensive', 'participant', {'concept': 'state'}] ['Battle of La Malmaison', 'participant', {'concept': 'state'}] ['Battle of France', 'participant', {'concept': 'state'}]
SELECT DISTINCT ?a WHERE { resource:Spring_Offensive property:participant ?a . ?a rdf:type ontology:state }
[]
Simple Question (Coreferenced)
USER
Yes
(Q750567,P710,c(Q7275))
['Q750567', 'P710', {'concept': 'Q7275'}]
['Spring Offensive', 'participant', {'concept': 'state'}]
[]
Q70802 Q167360
SYSTEM
French Third Republic, First Portuguese Republic
Q70802 Q167360
(Q750567,P710,c(Q7275))
action filter_type
action find
entity Q750567
relation P710
type Q7275
The artist participated in that event were the [ANSWERS]
['Q750567', 'P710', {'concept': 'Q7275'}]
SELECT DISTINCT ?a WHERE { resource:Q750567 property:P710 ?a . ?a rdf:type ontology:Q7275 }
French Third Republic First Portuguese Republic
The artist participated in that event were the French Third Republic and First Portuguese Republic
French Third Republic First Portuguese Republic
action filter_type
action find
entity Spring Offensive
relation participant
type state
['Spring Offensive', 'participant', {'concept': 'state'}]
SELECT DISTINCT ?a WHERE { resource:Spring_Offensive property:participant ?a . ?a rdf:type ontology:state }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q9211339 Q142
P530 P17
Q15617994
USER
Which administrative territories holds diplomatic relationship with France or are Voivodeship road 362 situated in ?
OR((Q142,P530,c(Q15617994)), (Q9211339,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q142
relation P530
action find
entity Q9211339
relation P17
type Q15617994
{'OR': [['Q142', 'P530', {'concept': 'Q15617994'}], ['Q9211339', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?x WHERE { { { resource:Q142 property:P530 ?x } UNION { resource:Q9211339 property:P17 ?x } } . ?x rdf:type ontology:Q15617994 }
Voivodeship road 362 France
action filter_type
action union
action find
entity France
relation diplomatic relation
action find
entity Voivodeship road 362
relation country
type designation for an administrative territorial entity
{'OR': [['France', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Voivodeship road 362', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?x WHERE { { { resource:France property:diplomatic_relation ?x } UNION { resource:Voivodeship_road_362 property:country ?x } } . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q32 Q222 Q145 Q155 Q159 Q801 Q38 Q1011 Q36 Q403
SYSTEM
Some of them are Luxembourg, Albania, United Kingdom, Brazil, Russia, Israel, Italy, Cape Verde, Poland, Serbia
Q711 Q159 Q222 Q801 Q145 Q155 Q1011 Q228 Q32 Q17 Q30 Q36 Q399 Q27 Q403 Q38
OR((Q142,P530,c(Q15617994)), (Q9211339,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q142
relation P530
action find
entity Q9211339
relation P17
type Q15617994
[ANSWERS] hold diplomatic relationship with France or are Voivodeship road 362 situated in
{'OR': [['Q142', 'P530', {'concept': 'Q15617994'}], ['Q9211339', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?x WHERE { { { resource:Q142 property:P530 ?x } UNION { resource:Q9211339 property:P17 ?x } } . ?x rdf:type ontology:Q15617994 }
Mongolia Russia Albania Israel United Kingdom Brazil Cape Verde Andorra Luxembourg Japan United States of America Poland Armenia Ireland Serbia Italy
Luxembourg, Albania, United Kingdom, Brazil, Russia, Israel, Italy, Cape Verde, Poland and Serbia hold diplomatic relationship with France or are Voivodeship road 362 situated in
Luxembourg Albania United Kingdom Brazil Russia Israel Italy Cape Verde Poland Serbia
action filter_type
action union
action find
entity France
relation diplomatic relation
action find
entity Voivodeship road 362
relation country
type designation for an administrative territorial entity
{'OR': [['France', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Voivodeship road 362', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?x WHERE { { { resource:France property:diplomatic_relation ?x } UNION { resource:Voivodeship_road_362 property:country ?x } } . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P1376
Q7275 Q56061 Q20667921
USER
Which states have exactly 1 administrative territories or french administrative divisions have their first city ?
(c(Q56061)|c(Q20667921),P1376,c(Q7275))
action equal
action union
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q56061
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q20667921
value 1
[[{'concept': 'Q56061'}, {'concept': 'Q20667921'}], 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?b ) AS ?w ) WHERE { ?b rdf:type ?y . VALUES ( ?y ) { ( ontology:Q56061 ) ( ontology:Q20667921 ) } } GROUP BY ?n } . FILTER ( ?w = 1 ) }
action equal
action union
action find_reverse_tuple_counts
relation capital of
type state
type administrative territorial entity
action find_reverse_tuple_counts
relation capital of
type state
type type of french administrative division
value 1
[[{'concept': 'administrative territorial entity'}, {'concept': 'type of french administrative division'}], 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?b ) AS ?w ) WHERE { ?b rdf:type ?y . VALUES ( ?y ) { ( ontology:administrative_territorial_entity ) ( ontology:type_of_french_administrative_division ) } } GROUP BY ?n } . FILTER ( ?w = 1 ) }
[]
state administrative territorial entity type of french administrative division
Q33946 Q15180 Q980
SYSTEM
Czechoslovakia, Soviet Union, Bavaria
Q230791 Q46652 Q7559152 Q568523 Q788071 Q207162 Q572222 Q1275158 Q3456417 Q174193 Q466581 Q110888 Q1471995 Q1295806 Q457167 Q797527 Q190513 Q889374 Q2308237 Q486181 Q775550 Q834486 Q186096 Q133356 Q501684 Q164079 Q588672 Q62623 Q282475 Q1789596 Q184536 Q523380 Q980 Q746443 Q252580 Q3446210 Q317078 Q332005 Q874954 Q172579 Q867782 Q188553 Q536476 Q1068408 Q1150344 Q330362 Q8146595 Q267584 Q310293 Q15864 Q1362278 Q1269234 Q1067513 Q1468426 Q71092 Q15180 Q800236 Q27260 Q249578 Q16410 Q215643 Q212278 Q210542 Q223936 Q8735 Q8733 Q156038 Q7405 Q208404 Q467627 Q1796239 Q1152445 Q2670639 Q2412900 Q190025 Q229411 Q1771831 Q105313 Q44642 Q38872 Q107299 Q546282 Q11876909 Q541455 Q646374 Q241748 Q210163 Q842931 Q858841 Q427703 Q2301372 Q216632 Q207272 Q889394 Q151148 Q1796198 Q273025 Q149747 Q27306 Q1123960 Q617218 Q1132786 Q167360 Q1186434 Q954585 Q150069 Q1811029 Q762943 Q1998866 Q106577 Q473433 Q651377 Q161885 Q191077 Q468814 Q174306 Q1617495 Q1194765 Q157367 Q760893 Q1539360 Q2305208 Q1152126 Q652560 Q1639475 Q1636212 Q503623 Q124943 Q1311219 Q12548 Q25227 Q870517 Q19901436 Q623751 Q726798 Q28428 Q1479952 Q303421 Q449639 Q1143524 Q2086556 Q26988 Q42585 Q170468 Q600018 Q323904 Q1117051 Q1477220 Q269864 Q199841 Q335088 Q325461 Q583038 Q860407 Q146761 Q200262 Q1296908 Q769782 Q497777 Q878319 Q7251405 Q582861 Q206411 Q179293 Q158725 Q139315 Q26273 Q832554 Q3271735 Q160440 Q211853 Q213638 Q2340665 Q1538311 Q2657134 Q2414171 Q218023 Q2162698 Q1077630 Q1149230 Q324470 Q551067 Q796583 Q1136259 Q28456 Q1183649 Q209065 Q21203 Q631210 Q2086608 Q733799 Q178913 Q131964 Q83274 Q62589 Q4948 Q836169 Q234009 Q28208 Q903779 Q55502 Q713750 Q2552742 Q220167 Q147909 Q319881 Q1709185 Q37024 Q62519 Q668294 Q83286 Q210036 Q3755547 Q1255614 Q76048 Q181254 Q2396442 Q142417 Q2428714 Q1406298 Q14934927 Q170174 Q699871 Q175276 Q177076 Q7318 Q844910 Q248452 Q552157 Q170770 Q30623 Q225890 Q5157575 Q3456373 Q217196 Q154195 Q266923 Q285658 Q150061 Q842091 Q70972 Q1143164 Q1164500 Q161036 Q2314907 Q2184 Q774783 Q105092 Q178038 Q206279 Q1469100 Q25279 Q1078602 Q2378381 Q747314 Q202775 Q1471373 Q374521 Q491507 Q1044536 Q1333032 Q940741 Q289577 Q150058 Q4461035 Q33946 Q762084 Q2579852 Q544630 Q180114 Q431731 Q36704 Q112558 Q889884 Q698239 Q1142179 Q4453003 Q4453007 Q829356 Q764697 Q853477 Q1751495 Q738264 Q386496 Q696241 Q152420 Q11774 Q4843701 Q2712121 Q13426199 Q964024 Q877155 Q2365048 Q4274522 Q230407 Q49683 Q1192936 Q2109946 Q71747 Q676184 Q128938 Q837136 Q146597 Q1072362 Q93180 Q28573 Q949268 Q1986139 Q151536 Q211274 Q61292 Q6412664 Q671899 Q7314469 Q80211 Q12490507 Q862304 Q1029847 Q6415938 Q5148517 Q41304
(c(Q56061)|c(Q20667921),P1376,c(Q7275))
action equal
action union
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q56061
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q20667921
value 1
[ANSWERS] have exactly 1 administrative territories or french administrative divisions have their first city
[[{'concept': 'Q56061'}, {'concept': 'Q20667921'}], 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?b ) AS ?w ) WHERE { ?b rdf:type ?y . VALUES ( ?y ) { ( ontology:Q56061 ) ( ontology:Q20667921 ) } } GROUP BY ?n } . FILTER ( ?w = 1 ) }
Kingdom of Scotland Malacca sultanate Somali Republic Nobatia Talysh-Mughan Autonomous Republic Bourbon Restoration County of Horne Elymais Republic of Saint-Malo United Kingdom of Great Britain and Ireland Hoysala Empire Kingdom of Essex Former Qin Lower Yafa West Ukrainian People's Republic British Togoland Khanate of Sibir Warsangali Sultanate Ahom kingdom Samanid dynasty Adamawa Emirate Federation of South Arabia Tsardom of Russia Ukrainian Soviet Socialist Republic Kingdom of Gomma Kingdom of Hanover Hammadid dynasty Kalmar Union Kingdom of Kartli-Kakheti Croatia in personal union with Hungary Mali Empire Republic of Central Lithuania Bavaria Golden Ambrosian Republic Duchy of Modena and Reggio Kingdom of Pamplona Pskov Republic Principality of Achaea Principality of Theodoro Kingdom of Italy Kingdom of Funan Batavian Republic Toucouleur Empire Kuru Kingdom Johor Sultanate Commonwealth of England Upingtonia Yemen Arab Republic Saar Protectorate United Kingdom of the Netherlands United States of Stellaland Stellaland Injuids Limmu-Ennarea Second French Empire Soviet Union Bahawalpur State Samma dynasty Ghaznavid Empire People's Republic of Hungary Indo-Greek Kingdom Kingdom of Holland Second Brazilian Republic Kingdom of Italy Medes Qing dynasty Duchy of Courland and Semigallia Sui dynasty Kingdom of Armenia Durrani Empire Kingdom of Seville Aerican Empire Powys Wenwynwyn Republic of Salé Federal Republic of Central America Delhi Sultanate Kruševo Republic Kingdom of Wessex Federation of Arab Republics Prussia Kingdom of Northumbria Xia State of Brazil Anglo-Egyptian Sudan French India Kingdom of Serbia Astrakhan Khanate East Pakistan Kingdom of Croatia Free State of Schaumburg-Lippe Kingdom of Toledo Mali Federation Second Polish Republic Portuguese Mozambique Chola dynasty Kingdom of Córdoba Gallic Empire Adiabene Kingdom of Prussia Conch Republic Yamhad Ouaddai Empire First Portuguese Republic Muang Phuan Kingdom of Brycheiniog United Suvadive Republic Finnish Socialist Workers' Republic County of Holland Czech and Slovak Federal Republic Neustria Ammon Shunga Empire Kingdom of Great Britain Kingdom of Yugoslavia Dahomey Republic of Genoa Kingdom of Jaén Kamarupa Brandenburg-Prussia Jolof Empire Northern Liang Soviet Russia People's Republic of the Congo West Indies Federation Mountainous Republic of the Northern Caucasus Karabakh Khanate Gold Coast Kingdom of Egypt Jaffna kingdom Holy Roman Empire Netherlands Antilles Odrysian kingdom Suriname Kingdom of Bernicia Tulunids Baekje Kadamba Dynasty Kingdom of Galicia Alodia Northern Qi Kakatiya dynasty Cook Islands Kingdom of Bohemia United Arab Republic Kingdom of Hungary Portuguese India Kingdom of Illyria Somali Democratic Republic Socialist Republic of Serbia South Yemen Armenian Kingdom of Cilicia Kingdom of Thessalonica Ostrogothic Kingdom Kahlur State Hatay State Kingdom of Navarre Kathiri Kingdom of Powys First Spanish Republic Serbian Despotate Protectorate of Peru Marinid dynasty Democratic Republic of Azerbaijan Kingdom of Castile Tanganyika Territory Dʿmt Sint Maarten Argentine Confederation Kingdom of Arles Crimean Khanate Republic of Serbian Krajina Kingdom of Cyprus Basutoland Travancore-Cochin Kingdom of Albania First Brazilian Republic Orange Free State Duchy of Bohemia Septinsular Republic Western Yan Kara Koyunlu Northern Zhou Kingdom of Kongo Southwestern Somalia Silla Deccan sultanates Kingdom of Greece Aruba Nogai Horde Western Satraps Kingdom of the Hwicce empire of Trebizond Austrian Empire Hatay Union between Sweden and Norway Republic of Venice Qasim Khanate Magadha Goryeo United Kingdom of Portugal, Brazil and the Algarves Kingdom of Jerusalem West Germany Northland State Lydenburg Republic Kingdom of Bulgaria Republic of Taiwan Kingdom of Spain under Joseph Bonaparte Serbia and Montenegro Finnish Democratic Republic Kamerun Socialist Federal Republic of Yugoslavia Chechen Republic of Ichkeria Kingdom of Italy Indo-Parthian Kingdom Congo Free State Empire of Nicea Kingdom of Galicia and Lodomeria Kingdom of Valencia Sena dynasty Serbian Empire Murrawarri Republic Papal States Taebong Kingdom of León Caucasian Albania Nazi Germany Pandyan Dynasty British North America Nieuwe Republiek Grand Duchy of Moscow Manchukuo Kingdom of Strathclyde Griqualand East Republic of Brescia Crown of Castile Kingdom of Bavaria Kingdom of Mysore First Mexican Empire Republic of Ararat Duchy of Normandy Kingdom of France Western Wei Kingdom of Murcia Free State of Prussia Later Zhao Russian Soviet Federative Socialist Republic Sovereign Principality of the United Netherlands Kingdom of Mercia Second Spanish Republic Waalo Karamanids Curaçao Kingdom of Nepal State of Aden Bechuanaland Protectorate Qu'aiti Saloum Bahmani Sultanate Egypt Eyalet Spain under the Restoration Elmet Republic of Hungary Himyarite Kingdom Travancore Akkadian empire Czechoslovakia Bamana Empire Taurida Soviet Socialist Republic Republic of Maryland Ayyubid dynasty Tanganyika Yugoslavia Republic of Saugeais Kingdom of Rwanda Hubaekje Orange River Colony Tashkent State Tashkent Khanate Kingdom of Makuria Taifa of Orihuela Lan Xang Slovak Socialist Republic Los Altos, Central America Kingdom of Montenegro Khanate of Kokand Guelders Gupta Empire Libyan Arab Jamahiriya Republic of Connaught Republic of China Moldavian Democratic Republic Chera Dynasty Adal Sultanate Tyrconnell Kingdom of Israel Grand Duchy of Lithuania Kingdom of Burundi Principality of Galilee Duchy of Brittany Kingdom of Sussex Shang dynasty Kingdom of Deheubarth Zand dynasty Provisional Revolutionary Government of the Republic of South Vietnam Seleucid Empire Inca Nanda Empire Parthian Empire Novgorod Republic People's Republic of Poland Far Eastern Republic Realm of Stefan Dragutin Duchy of Teschen Republic of Georgia Lithuanian Soviet Socialist Republic Rashidun Caliphate Kara-Khitan Khanate Natalia Republic Emirate of Dhala Colony and Protectorate of Nigeria Weimar Republic
Czechoslovakia, Soviet Union and Bavaria have exactly 1 administrative territories or french administrative divisions have their first city
Czechoslovakia Soviet Union Bavaria
action equal
action union
action find_reverse_tuple_counts
relation capital of
type state
type administrative territorial entity
action find_reverse_tuple_counts
relation capital of
type state
type type of french administrative division
value 1
[[{'concept': 'administrative territorial entity'}, {'concept': 'type of french administrative division'}], 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?b ) AS ?w ) WHERE { ?b rdf:type ?y . VALUES ( ?y ) { ( ontology:administrative_territorial_entity ) ( ontology:type_of_french_administrative_division ) } } GROUP BY ?n } . FILTER ( ?w = 1 ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6519891 Q38
P530 P27
Q15617994
USER
Which administrative territories have diplomatic relationships with Italy and are Leila Mackinlay a civilian of ?
AND((Q38,P530,c(Q15617994)), (Q6519891,P27,c(Q15617994)))
action filter_type
action intersection
action find
entity Q38
relation P530
action find
entity Q6519891
relation P27
type Q15617994
{'AND': [['Q38', 'P530', {'concept': 'Q15617994'}], ['Q6519891', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?u WHERE { resource:Q38 property:P530 ?u . resource:Q6519891 property:P27 ?u . ?u rdf:type ontology:Q15617994 }
Leila Mackinlay Italy
action filter_type
action intersection
action find
entity Italy
relation diplomatic relation
action find
entity Leila Mackinlay
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Italy', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Leila Mackinlay', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?u WHERE { resource:Italy property:diplomatic_relation ?u . resource:Leila_Mackinlay property:country_of_citizenship ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q145
SYSTEM
United Kingdom
Q145
AND((Q38,P530,c(Q15617994)), (Q6519891,P27,c(Q15617994)))
action filter_type
action intersection
action find
entity Q38
relation P530
action find
entity Q6519891
relation P27
type Q15617994
[ANSWER] have diplomatic relationships with Italy and are Leila Mackinlay a civilian of
{'AND': [['Q38', 'P530', {'concept': 'Q15617994'}], ['Q6519891', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?u WHERE { resource:Q38 property:P530 ?u . resource:Q6519891 property:P27 ?u . ?u rdf:type ontology:Q15617994 }
United Kingdom
United Kingdom have diplomatic relationships with Italy and are Leila Mackinlay a civilian of
United Kingdom
action filter_type
action intersection
action find
entity Italy
relation diplomatic relation
action find
entity Leila Mackinlay
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Italy', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Leila Mackinlay', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?u WHERE { resource:Italy property:diplomatic_relation ?u . resource:Leila_Mackinlay property:country_of_citizenship ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q145 Q9682
P35
Q502895
USER
Is Elizabeth II the head of state of that administrative territory ?
(Q145,P35,Q9682)
action is_in
entity Q9682
action find
entity Q145
relation P35
['Q145', 'P35', 'Q9682']
ASK WHERE { resource:Q145 property:P35 resource:Q9682 }
United Kingdom Elizabeth II
action is_in
entity Elizabeth II
action find
entity United Kingdom
relation head of state
['United Kingdom', 'head of state', 'Elizabeth II']
ASK WHERE { resource:United_Kingdom property:head_of_state resource:Elizabeth_II }
[]
common name
SYSTEM
YES
(Q145,P35,Q9682)
action is_in
entity Q9682
action find
entity Q145
relation P35
[ANSWER]
['Q145', 'P35', 'Q9682']
ASK WHERE { resource:Q145 property:P35 resource:Q9682 }
Yes
action is_in
entity Elizabeth II
action find
entity United Kingdom
relation head of state
['United Kingdom', 'head of state', 'Elizabeth II']
ASK WHERE { resource:United_Kingdom property:head_of_state resource:Elizabeth_II }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P530
Q15617994 Q15617994
USER
How many administrative territories holds diplomatic relationship with approximately 5 administrative territories ?
(c(Q15617994),P530,c(Q15617994))
action count
action approx
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q15617994
value 5
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?e ) WHERE { { SELECT DISTINCT ?g ( COUNT ( ?s ) AS ?x ) WHERE { ?g rdf:type ontology:Q15617994 . ?s rdf:type ontology:Q15617994 . ?s property:P530 ?g } GROUP BY ?g } . FILTER ( ?x = 5 ) }
action count
action approx
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
value 5
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?e ) WHERE { { SELECT DISTINCT ?g ( COUNT ( ?s ) AS ?x ) WHERE { ?g rdf:type ontology:designation_for_an_administrative_territorial_entity . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity . ?s property:diplomatic_relation ?g } GROUP BY ?g } . FILTER ( ?x = 5 ) }
[]
designation for an administrative territorial entity designation for an administrative territorial entity
SYSTEM
158
Q702 Q804 Q800 Q419 Q668 Q414 Q55 Q145 Q262 Q783 Q784 Q265 Q37 Q712 Q711 Q710 Q717 Q837 Q252 Q399 Q398 Q403 Q657 Q258 Q45 Q43 Q41 Q792 Q790 Q796 Q794 Q954 Q889 Q884 Q958 Q881 Q986 Q822 Q241 Q242 Q244 Q811 Q33 Q32 Q31 Q924 Q36 Q34 Q928 Q929 Q39 Q739 Q423 Q983 Q851 Q733 Q29999 Q854 Q734 Q819 Q424 Q730 Q1013 Q236 Q230 Q232 Q233 Q238 Q20 Q1045 Q1041 Q27 Q28 Q921 Q1049 Q1027 Q1020 Q189 Q843 Q842 Q184 Q1029 Q1028 Q736 Q786 Q228 Q227 Q225 Q224 Q222 Q221 Q96 Q229 Q347 Q17 Q902 Q1036 Q1037 Q974 Q1032 Q1033 Q1030 Q191 Q965 Q967 Q962 Q963 Q697 Q298 Q695 Q115 Q114 Q117 Q754 Q750 Q212 Q213 Q211 Q217 Q214 Q215 Q218 Q219 Q912 Q917 Q916 Q1007 Q1006 Q1005 Q833 Q977 Q1009 Q1008 Q971 Q970 Q683 Q34020 Q686 Q836 Q574 Q874 Q79 Q77 Q858 Q878 Q774 Q948 Q817 Q810 Q1019 Q1016 Q1011 Q945 Q678 Q29 Q33788 Q869 Q953
(c(Q15617994),P530,c(Q15617994))
action count
action approx
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q15617994
value 5
[ANSWER]
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?e ) WHERE { { SELECT DISTINCT ?g ( COUNT ( ?s ) AS ?x ) WHERE { ?g rdf:type ontology:Q15617994 . ?s rdf:type ontology:Q15617994 . ?s property:P530 ?g } GROUP BY ?g } . FILTER ( ?x = 5 ) }
Federated States of Micronesia Panama Costa Rica Peru India Argentina Netherlands United Kingdom Algeria Honduras Dominica Uzbekistan Lithuania Fiji Mongolia Kiribati Venezuela Nepal Indonesia Armenia Bahrain Serbia Chad South Africa Portugal Turkey Greece El Salvador Haiti Iraq Iran Zimbabwe Afghanistan South Korea South Sudan Vietnam Eritrea Lebanon Cuba Belize Barbados Nicaragua Finland Luxembourg Belgium Tanzania Poland Sweden Philippines Central African Republic Switzerland Colombia North Korea Equatorial Guinea Saudi Arabia Paraguay Kingdom of the Netherlands Sri Lanka Guyana Laos Cambodia Suriname Lesotho Montenegro Georgia Kazakhstan Malta San Marino Norway Somalia Senegal Ireland Hungary Brunei Sudan Mauritius Malawi Iceland Pakistan Oman Belarus Mozambique Morocco Ecuador Dominican Republic Andorra Azerbaijan Bosnia and Herzegovina Croatia Albania Republic of Macedonia Mexico Cyprus Liechtenstein Japan Bangladesh Uganda Rwanda Democratic Republic of the Congo Niger Nigeria Namibia Estonia Burkina Faso Burundi Benin Botswana Nauru Chile Palau Ethiopia Kenya Ghana Trinidad and Tobago Bolivia Ukraine Czech Republic Latvia Republic of Moldova Slovakia Slovenia Romania Bulgaria Mali Bhutan Angola Guinea-Bissau Guinea Gambia Malaysia Djibouti Cameroon Côte d'Ivoire Republic of the Congo Comoros Samoa Niue Vanuatu Myanmar East Timor Turkmenistan Egypt Uruguay Syria United Arab Emirates Guatemala Tunisia Kuwait Jordan Madagascar Libya Cape Verde Togo Tonga Spain New Caledonia Thailand Zambia
158
action count
action approx
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
value 5
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?e ) WHERE { { SELECT DISTINCT ?g ( COUNT ( ?s ) AS ?x ) WHERE { ?g rdf:type ontology:designation_for_an_administrative_territorial_entity . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity . ?s property:diplomatic_relation ?g } GROUP BY ?g } . FILTER ( ?x = 5 ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6760 Q222
P47 P421
Q56061
USER
Which administrative territories are next to the border of Albania and are UTC+03:00 a time zone for ?
AND((c(Q56061),P47,Q222), (c(Q56061),P421,Q6760))
action filter_type
action intersection
action find_reverse
entity Q222
relation P47
action find_reverse
entity Q6760
relation P421
type Q56061
{'AND': [[{'concept': 'Q56061'}, 'P47', 'Q222'], [{'concept': 'Q56061'}, 'P421', 'Q6760']]}
SELECT DISTINCT ?e WHERE { ?e property:P47 resource:Q222 . ?e property:P421 resource:Q6760 . ?e rdf:type ontology:Q56061 }
UTC+03:00 Albania
action filter_type
action intersection
action find_reverse
entity Albania
relation shares border with
action find_reverse
entity UTC+03:00
relation located in time zone
type administrative territorial entity
{'AND': [[{'concept': 'administrative territorial entity'}, 'shares border with', 'Albania'], [{'concept': 'administrative territorial entity'}, 'located in time zone', 'UTC+03:00']]}
SELECT DISTINCT ?e WHERE { ?e property:shares_border_with resource:Albania . ?e property:located_in_time_zone resource:UTC+03:00 . ?e rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q458
SYSTEM
European Union
Q458
AND((c(Q56061),P47,Q222), (c(Q56061),P421,Q6760))
action filter_type
action intersection
action find_reverse
entity Q222
relation P47
action find_reverse
entity Q6760
relation P421
type Q56061
[ANSWER] is next to the border of Albania and is UTC+03:00 a time zone for
{'AND': [[{'concept': 'Q56061'}, 'P47', 'Q222'], [{'concept': 'Q56061'}, 'P421', 'Q6760']]}
SELECT DISTINCT ?e WHERE { ?e property:P47 resource:Q222 . ?e property:P421 resource:Q6760 . ?e rdf:type ontology:Q56061 }
European Union
European Union is next to the border of Albania and is UTC+03:00 a time zone for
European Union
action filter_type
action intersection
action find_reverse
entity Albania
relation shares border with
action find_reverse
entity UTC+03:00
relation located in time zone
type administrative territorial entity
{'AND': [[{'concept': 'administrative territorial entity'}, 'shares border with', 'Albania'], [{'concept': 'administrative territorial entity'}, 'located in time zone', 'UTC+03:00']]}
SELECT DISTINCT ?e WHERE { ?e property:shares_border_with resource:Albania . ?e property:located_in_time_zone resource:UTC+03:00 . ?e rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q458 Q20 Q39
P47
Q15617994
USER
Does that administrative territory shares border with Norway and Switzerland ?
(Q458,P47,Q20) (Q458,P47,Q39)
action is_in
entity Q458
action intersection
action find_reverse
entity Q20
relation P47
action find_reverse
entity Q39
relation P47
['Q458', 'P47', 'Q20'] ['Q458', 'P47', 'Q39']
ASK WHERE { resource:Q458 property:P47 resource:Q39 . resource:Q458 property:P47 resource:Q20 }
European Union Norway Switzerland
action is_in
entity European Union
action intersection
action find_reverse
entity Norway
relation shares border with
action find_reverse
entity Switzerland
relation shares border with
['European Union', 'shares border with', 'Norway'] ['European Union', 'shares border with', 'Switzerland']
ASK WHERE { resource:European_Union property:shares_border_with resource:Switzerland . resource:European_Union property:shares_border_with resource:Norway }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q458,P47,Q20) (Q458,P47,Q39)
action is_in
entity Q458
action intersection
action find_reverse
entity Q20
relation P47
action find_reverse
entity Q39
relation P47
[ANSWER]
['Q458', 'P47', 'Q20'] ['Q458', 'P47', 'Q39']
ASK WHERE { resource:Q458 property:P47 resource:Q39 . resource:Q458 property:P47 resource:Q20 }
Yes
action is_in
entity European Union
action intersection
action find_reverse
entity Norway
relation shares border with
action find_reverse
entity Switzerland
relation shares border with
['European Union', 'shares border with', 'Norway'] ['European Union', 'shares border with', 'Switzerland']
ASK WHERE { resource:European_Union property:shares_border_with resource:Switzerland . resource:European_Union property:shares_border_with resource:Norway }
[]