Simple Question (Direct)
Simple Question
Q16054288
P937
Q56061
USER
What are the work locations of Alfred Sommer ?
(Q16054288,P937,c(Q56061))
action filter_type
action find
entity Q16054288
relation P937
type Q56061
['Q16054288', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?l WHERE { ?l rdf:type ontology:Q56061 . resource:Q16054288 property:P937 ?l }
Alfred Sommer
action filter_type
action find
entity Alfred Sommer
relation work location
type administrative territorial entity
['Alfred Sommer', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?l WHERE { ?l rdf:type ontology:administrative_territorial_entity . resource:Alfred_Sommer property:work_location ?l }
[]
administrative territorial entity
Q1726 Q2090
SYSTEM
Munich, Nuremberg
Q1726 Q2090
(Q16054288,P937,c(Q56061))
action filter_type
action find
entity Q16054288
relation P937
type Q56061
The work locations of Alfred Sommer are in [ANSWERS]
['Q16054288', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?l WHERE { ?l rdf:type ontology:Q56061 . resource:Q16054288 property:P937 ?l }
Munich Nuremberg
The work locations of Alfred Sommer are in Munich and Nuremberg
Munich Nuremberg
action filter_type
action find
entity Alfred Sommer
relation work location
type administrative territorial entity
['Alfred Sommer', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?l WHERE { ?l rdf:type ontology:administrative_territorial_entity . resource:Alfred_Sommer property:work_location ?l }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q1726 Q2090
P740
Q43229
USER
What were formed at Munich and Nuremberg ?
(c(Q43229),P740,Q1726) (c(Q43229),P740,Q2090)
action union
action filter_type
action find_reverse
entity Q1726
relation P740
type Q43229
action filter_type
action find_reverse
entity Q2090
relation P740
type Q43229
[{'concept': 'Q43229'}, 'P740', 'Q1726'] [{'concept': 'Q43229'}, 'P740', 'Q2090']
SELECT DISTINCT ?v WHERE { VALUES ( ?l ) { ( resource:Q2090 ) ( resource:Q1726 ) } . ?v property:P740 ?l }
Munich Nuremberg
action union
action filter_type
action find_reverse
entity Munich
relation location of formation
type organization
action filter_type
action find_reverse
entity Nuremberg
relation location of formation
type organization
[{'concept': 'organization'}, 'location of formation', 'Munich'] [{'concept': 'organization'}, 'location of formation', 'Nuremberg']
SELECT DISTINCT ?v WHERE { VALUES ( ?l ) { ( resource:Nuremberg ) ( resource:Munich ) } . ?v property:location_of_formation ?l }
[]
organization
Q586581 Q11207 Q2147902
SYSTEM
Confederation of German Trade Unions, Arri, Rheinmetall MAN Military Vehicles
Q3843040 Q446043 Q3577066 Q11207 Q286421 Q1486164 Q78459 Q302924 Q586581 Q164152 Q2147902 Q600986 Q322712 Q666476 Q787066 Q128929 Q292622 Q166637 Q2843199 Q680019 Q644941 Q691150 Q464789 Q688941 Q571800 Q318206
(c(Q43229),P740,Q1726) (c(Q43229),P740,Q2090)
action union
action filter_type
action find_reverse
entity Q1726
relation P740
type Q43229
action filter_type
action find_reverse
entity Q2090
relation P740
type Q43229
[ANSWERS] were formed at Munich and Nuremberg
[{'concept': 'Q43229'}, 'P740', 'Q1726'] [{'concept': 'Q43229'}, 'P740', 'Q2090']
SELECT DISTINCT ?v WHERE { VALUES ( ?l ) { ( resource:Q2090 ) ( resource:Q1726 ) } . ?v property:P740 ?l }
Maffei Mansory Arthrex Arri Gigaset Communications Serviceplan Roland Berger Strategy Consultants Magix Confederation of German Trade Unions Fujitsu Technology Solutions Rheinmetall MAN Military Vehicles Escada SE Metzeler Nemetschek Spaten-Franziskaner-Bräu MTU Aero Engines AGO Flugzeugwerke Munich Re Amiando Grundig Herpa Staedtler Schuco Modell Schwan-Stabilo Leoni AG Metz
Confederation of German Trade Unions, Arri and Rheinmetall MAN Military Vehicles were formed at Munich and Nuremberg
Confederation of German Trade Unions Arri Rheinmetall MAN Military Vehicles
action union
action filter_type
action find_reverse
entity Munich
relation location of formation
type organization
action filter_type
action find_reverse
entity Nuremberg
relation location of formation
type organization
[{'concept': 'organization'}, 'location of formation', 'Munich'] [{'concept': 'organization'}, 'location of formation', 'Nuremberg']
SELECT DISTINCT ?v WHERE { VALUES ( ?l ) { ( resource:Nuremberg ) ( resource:Munich ) } . ?v property:location_of_formation ?l }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1726
P1376
Q7275
USER
Which states have Munich as their county seat ?
(Q1726,P1376,c(Q7275))
action filter_type
action find
entity Q1726
relation P1376
type Q7275
['Q1726', 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?h WHERE { resource:Q1726 property:P1376 ?h . ?h rdf:type ontology:Q7275 }
Munich
action filter_type
action find
entity Munich
relation capital of
type state
['Munich', 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?h WHERE { resource:Munich property:capital_of ?h . ?h rdf:type ontology:state }
[]
state
Q154195 Q980
SYSTEM
Kingdom of Bavaria, Bavaria
Q154195 Q980
(Q1726,P1376,c(Q7275))
action filter_type
action find
entity Q1726
relation P1376
type Q7275
The [ANSWERS] have Munich as their county seat
['Q1726', 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?h WHERE { resource:Q1726 property:P1376 ?h . ?h rdf:type ontology:Q7275 }
Kingdom of Bavaria Bavaria
The Kingdom of Bavaria and Bavaria have Munich as their county seat
Kingdom of Bavaria Bavaria
action filter_type
action find
entity Munich
relation capital of
type state
['Munich', 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?h WHERE { resource:Munich property:capital_of ?h . ?h rdf:type ontology:state }
[]
Simple Question (Ellipsis)
Incomplete|object parent is changed, subject and predicate remain same
Q1726
Q1048835
USER
And which political territory?
(Q1726,P1376,c(Q1048835))
action filter_type
action find
entity Q1726
relation P1376
type Q1048835
['Q1726', 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?o WHERE { resource:Q1726 property:P1376 ?o . ?o rdf:type ontology:Q1048835 }
Munich
action filter_type
action find
entity Munich
relation capital of
type political territorial entity
['Munich', 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:Munich property:capital_of ?o . ?o rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q10544 Q10562
SYSTEM
Munich (district), Upper Bavaria
Q10544 Q10562
(Q1726,P1376,c(Q1048835))
action filter_type
action find
entity Q1726
relation P1376
type Q1048835
[ANSWERS]
['Q1726', 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?o WHERE { resource:Q1726 property:P1376 ?o . ?o rdf:type ontology:Q1048835 }
Munich (district) Upper Bavaria
Munich (district) Upper Bavaria
action filter_type
action find
entity Munich
relation capital of
type political territorial entity
['Munich', 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:Munich property:capital_of ?o . ?o rdf:type ontology:political_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q1726
P1376
Q56061
USER
Are Munich the capital of those political territories ?
(Q1726,P1376,Q10544) (Q1726,P1376,Q10562)
action is_in
entity prev_answer
action find
entity Q1726
relation P1376
['Q1726', 'P1376', 'Q10544'] ['Q1726', 'P1376', 'Q10562']
ASK WHERE { VALUES ( ?k ) { ( resource:Q10544 ) ( resource:Q10562 ) } . resource:Q1726 property:P1376 ?k }
Munich
action is_in
entity prev_answer
action find
entity Munich
relation capital of
['Munich', 'capital of', 'Munich (district)'] ['Munich', 'capital of', 'Upper Bavaria']
ASK WHERE { VALUES ( ?k ) { ( resource:Munich_(district) ) ( resource:Upper_Bavaria ) } . resource:Munich property:capital_of ?k }
[]
administrative territorial entity
SYSTEM
YES
(Q1726,P1376,Q10544) (Q1726,P1376,Q10562)
action is_in
entity prev_answer
action find
entity Q1726
relation P1376
[ANSWER]
['Q1726', 'P1376', 'Q10544'] ['Q1726', 'P1376', 'Q10562']
ASK WHERE { VALUES ( ?k ) { ( resource:Q10544 ) ( resource:Q10562 ) } . resource:Q1726 property:P1376 ?k }
Yes
action is_in
entity prev_answer
action find
entity Munich
relation capital of
['Munich', 'capital of', 'Munich (district)'] ['Munich', 'capital of', 'Upper Bavaria']
ASK WHERE { VALUES ( ?k ) { ( resource:Munich_(district) ) ( resource:Upper_Bavaria ) } . resource:Munich property:capital_of ?k }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q2147902 Q4663514 Q12679852
P740
Q56061
USER
Was Rheinmetall MAN Military Vehicles formed at Abarlaq-e Olya and Šiliai ?
(Q2147902,P740,Q4663514) (Q2147902,P740,Q12679852)
action is_in
entity Q2147902
action intersection
action find_reverse
entity Q4663514
relation P740
action find_reverse
entity Q12679852
relation P740
['Q2147902', 'P740', 'Q4663514'] ['Q2147902', 'P740', 'Q12679852']
ASK WHERE { resource:Q2147902 property:P740 resource:Q4663514 . resource:Q2147902 property:P740 resource:Q12679852 }
Rheinmetall MAN Military Vehicles Abarlaq-e Olya Šiliai
action is_in
entity Rheinmetall MAN Military Vehicles
action intersection
action find_reverse
entity Abarlaq-e Olya
relation location of formation
action find_reverse
entity Šiliai
relation location of formation
['Rheinmetall MAN Military Vehicles', 'location of formation', 'Abarlaq-e Olya'] ['Rheinmetall MAN Military Vehicles', 'location of formation', 'Šiliai']
ASK WHERE { resource:Rheinmetall_MAN_Military_Vehicles property:location_of_formation resource:Abarlaq-e_Olya . resource:Rheinmetall_MAN_Military_Vehicles property:location_of_formation resource:Šiliai }
[]
administrative territorial entity
SYSTEM
NO
(Q2147902,P740,Q4663514) (Q2147902,P740,Q12679852)
action is_in
entity Q2147902
action intersection
action find_reverse
entity Q4663514
relation P740
action find_reverse
entity Q12679852
relation P740
[ANSWER]
['Q2147902', 'P740', 'Q4663514'] ['Q2147902', 'P740', 'Q12679852']
ASK WHERE { resource:Q2147902 property:P740 resource:Q4663514 . resource:Q2147902 property:P740 resource:Q12679852 }
No
action is_in
entity Rheinmetall MAN Military Vehicles
action intersection
action find_reverse
entity Abarlaq-e Olya
relation location of formation
action find_reverse
entity Šiliai
relation location of formation
['Rheinmetall MAN Military Vehicles', 'location of formation', 'Abarlaq-e Olya'] ['Rheinmetall MAN Military Vehicles', 'location of formation', 'Šiliai']
ASK WHERE { resource:Rheinmetall_MAN_Military_Vehicles property:location_of_formation resource:Abarlaq-e_Olya . resource:Rheinmetall_MAN_Military_Vehicles property:location_of_formation resource:Šiliai }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q586581
P108
Q502895
USER
How many people have Confederation of German Trade Unions as their employer ?
(c(Q502895),P108,Q586581)
action count
action filter_type
action find_reverse
entity Q586581
relation P108
type Q502895
[{'concept': 'Q502895'}, 'P108', 'Q586581']
SELECT DISTINCT ( COUNT ( ?y ) AS ?e ) WHERE { ?y property:P108 resource:Q586581 . ?y rdf:type ontology:Q502895 }
Confederation of German Trade Unions
action count
action filter_type
action find_reverse
entity Confederation of German Trade Unions
relation employer
type common name
[{'concept': 'common name'}, 'employer', 'Confederation of German Trade Unions']
SELECT DISTINCT ( COUNT ( ?y ) AS ?e ) WHERE { ?y property:employer resource:Confederation_of_German_Trade_Unions . ?y rdf:type ontology:common_name }
[]
common name
SYSTEM
1
Q1604208
(c(Q502895),P108,Q586581)
action count
action filter_type
action find_reverse
entity Q586581
relation P108
type Q502895
[ANSWER]
[{'concept': 'Q502895'}, 'P108', 'Q586581']
SELECT DISTINCT ( COUNT ( ?y ) AS ?e ) WHERE { ?y property:P108 resource:Q586581 . ?y rdf:type ontology:Q502895 }
Helmut Simson
1
action count
action filter_type
action find_reverse
entity Confederation of German Trade Unions
relation employer
type common name
[{'concept': 'common name'}, 'employer', 'Confederation of German Trade Unions']
SELECT DISTINCT ( COUNT ( ?y ) AS ?e ) WHERE { ?y property:employer resource:Confederation_of_German_Trade_Unions . ?y rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q1905230 Q1726
P27 P17
Q1048835
USER
Which political territories are Munich situated in or are Martin Wendt an inhabitant of ?
OR((Q1726,P17,c(Q1048835)), (Q1905230,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q1726
relation P17
action find
entity Q1905230
relation P27
type Q1048835
{'OR': [['Q1726', 'P17', {'concept': 'Q1048835'}], ['Q1905230', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?b WHERE { { { resource:Q1726 property:P17 ?b } UNION { resource:Q1905230 property:P27 ?b } } . ?b rdf:type ontology:Q1048835 }
Martin Wendt Munich
action filter_type
action union
action find
entity Munich
relation country
action find
entity Martin Wendt
relation country of citizenship
type political territorial entity
{'OR': [['Munich', 'country', {'concept': 'political territorial entity'}], ['Martin Wendt', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?b WHERE { { { resource:Munich property:country ?b } UNION { resource:Martin_Wendt property:country_of_citizenship ?b } } . ?b rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
OR((Q1726,P17,c(Q1048835)), (Q1905230,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q1726
relation P17
action find
entity Q1905230
relation P27
type Q1048835
Which political territories is Munich situated in or is Martin Wendt an inhabitant of
{'OR': [['Q1726', 'P17', {'concept': 'Q1048835'}], ['Q1905230', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?b WHERE { { { resource:Q1726 property:P17 ?b } UNION { resource:Q1905230 property:P27 ?b } } . ?b rdf:type ontology:Q1048835 }
Germany
Which political territories is Munich situated in or is Martin Wendt an inhabitant of
Germany
action filter_type
action union
action find
entity Munich
relation country
action find
entity Martin Wendt
relation country of citizenship
type political territorial entity
{'OR': [['Munich', 'country', {'concept': 'political territorial entity'}], ['Martin Wendt', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?b WHERE { { { resource:Munich property:country ?b } UNION { resource:Martin_Wendt property:country_of_citizenship ?b } } . ?b rdf:type ontology:political_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q1077630
P122
Q43229 Q151885 Q7275
USER
Which states have less number of organizations or concepts as the type of government than Septinsular Republic ?
(c(Q7275),P122,c(Q43229)|c(Q151885))
action less
action union
action find_tuple_counts
relation P122
type Q7275
type Q43229
action find_tuple_counts
relation P122
type Q7275
type Q151885
action count
action filter_multi_types
action find
entity Q1077630
relation P122
type Q43229
type Q151885
[{'concept': 'Q7275'}, 'P122', [{'concept': 'Q43229'}, {'concept': 'Q151885'}]]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?w ) WHERE { { VALUES ( ?e ) { ( ontology:Q43229 ) ( ontology:Q151885 ) } . ?p rdf:type ?e } . resource:Q1077630 property:P122 ?p } } . FILTER ( ?g < ?w ) . { SELECT DISTINCT ?j ( COUNT ( ?l ) AS ?g ) WHERE { ?l rdf:type ?f . VALUES ( ?f ) { ( ontology:Q151885 ) ( ontology:Q43229 ) } } GROUP BY ?j } }
Septinsular Republic
action less
action union
action find_tuple_counts
relation basic form of government
type state
type organization
action find_tuple_counts
relation basic form of government
type state
type concept
action count
action filter_multi_types
action find
entity Septinsular Republic
relation basic form of government
type organization
type concept
[{'concept': 'state'}, 'basic form of government', [{'concept': 'organization'}, {'concept': 'concept'}]]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?w ) WHERE { { VALUES ( ?e ) { ( ontology:organization ) ( ontology:concept ) } . ?p rdf:type ?e } . resource:Septinsular_Republic property:basic_form_of_government ?p } } . FILTER ( ?g < ?w ) . { SELECT DISTINCT ?j ( COUNT ( ?l ) AS ?g ) WHERE { ?l rdf:type ?f . VALUES ( ?f ) { ( ontology:concept ) ( ontology:organization ) } } GROUP BY ?j } }
[]
organization concept state
Q33946 Q15180 Q980
SYSTEM
Czechoslovakia, Soviet Union, Bavaria
Q241748 Q211853 Q484104 Q180573 Q105092 Q210163 Q3185305 Q2340665 Q172107 Q1538311 Q476757 Q152115 Q285658 Q18285930 Q2414171 Q179876 Q2475921 Q218023 Q889374 Q798431 Q3456417 Q154401 Q174193 Q965174 Q282475 Q1269234 Q889394 Q48685 Q552157 Q229411 Q201038 Q761370 Q431731 Q175881 Q330988 Q1852345 Q1194329 Q533558 Q1423680 Q617218 Q2253783 Q1247508 Q13107370 Q986665 Q744042 Q209065 Q190513 Q10988528 Q631210 Q1811029 Q2308237 Q19801186 Q204920 Q1998866 Q207162 Q142417 Q834486 Q2006542 Q545205 Q131964 Q726798 Q133356 Q215530 Q150058 Q62589 Q161885 Q4461035 Q33946 Q150056 Q83572 Q11876909 Q139319 Q191077 Q234009 Q271570 Q903779 Q841364 Q16957 Q558596 Q1649871 Q941881 Q1194765 Q514423 Q62623 Q870055 Q713750 Q544630 Q1057542 Q16949002 Q1789596 Q550374 Q1152126 Q853348 Q203493 Q696908 Q147909 Q555994 Q980 Q652560 Q220167 Q2980623 Q1636212 Q737040 Q112558 Q124943 Q37024 Q317078 Q62519 Q503623 Q940123 Q14934927 Q137766 Q172579 Q153128 Q867782 Q877579 Q551798 Q83286 Q210036 Q1277557 Q186537 Q633573 Q1483430 Q200896 Q1068408 Q623751 Q49683 Q330362 Q736936 Q8146595 Q12557 Q2456191 Q310293 Q15864 Q212439 Q844250 Q1362278 Q267584 Q303421 Q207521 Q1658411 Q153015 Q2342822 Q1078602 Q75613 Q71092 Q1479726 Q15180 Q6083755 Q698089 Q1406298 Q179293 Q28278 Q157734 Q600093 Q7382038 Q467864 Q76236 Q209857 Q1415585 Q953432 Q1115291 Q170174 Q4843701 Q212056 Q21005050 Q175276 Q210542 Q422065 Q7318 Q42585 Q170468 Q146328 Q487829 Q2365048 Q1138904 Q956451 Q27306 Q1493843 Q1508143 Q1477220 Q156038 Q30623 Q736727 Q230407 Q940821 Q824489 Q157727 Q2088324 Q248572 Q189988 Q1192936 Q199841 Q71747 Q615902 Q1322229 Q173761 Q217196 Q16624774 Q23541302 Q199442 Q154195 Q10921634 Q13706 Q498735 Q1775277 Q173082 Q121932 Q680997 Q38872 Q4948 Q1152445 Q156020 Q16410 Q153660 Q1240096 Q1771831 Q70972 Q1986139 Q2145397 Q2353425 Q582861 Q1517772 Q1142179 Q12548 Q211274 Q158725 Q588672 Q6412664 Q6500954 Q1083009 Q391980 Q80211 Q1054184 Q1029847 Q1155768 Q157367 Q427941 Q1044668 Q161036 Q266923 Q1061488 Q5148517 Q41304 Q752662 Q797422 Q206411 Q2305337 Q2184 Q2578706 Q1885093 Q149805
(c(Q7275),P122,c(Q43229)|c(Q151885))
action less
action union
action find_tuple_counts
relation P122
type Q7275
type Q43229
action find_tuple_counts
relation P122
type Q7275
type Q151885
action count
action filter_multi_types
action find
entity Q1077630
relation P122
type Q43229
type Q151885
[ANSWERS] have less number of organizations or concepts as the type of government than Septinsular Republic
[{'concept': 'Q7275'}, 'P122', [{'concept': 'Q43229'}, {'concept': 'Q151885'}]]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?w ) WHERE { { VALUES ( ?e ) { ( ontology:Q43229 ) ( ontology:Q151885 ) } . ?p rdf:type ?e } . resource:Q1077630 property:P122 ?p } } . FILTER ( ?g < ?w ) . { SELECT DISTINCT ?j ( COUNT ( ?l ) AS ?g ) WHERE { ?l rdf:type ?f . VALUES ( ?f ) { ( ontology:Q151885 ) ( ontology:Q43229 ) } } GROUP BY ?j } }
Kingdom of Serbia Republic of Serbian Krajina United States Army Military Government in Korea South Vietnam Kingdom of Mercia Astrakhan Khanate Kingdom of Israel Basutoland Polish–Lithuanian Commonwealth Travancore-Cochin Democratic Republic of Afghanistan Duchy of Warsaw First Mexican Empire German Empire of 1848/1849 First Brazilian Republic Kingdom of England Outer Mongolia Orange Free State Warsangali Sultanate Republic of Dahomey Republic of Saint-Malo Slovak Republic United Kingdom of Great Britain and Ireland Coalition Provisional Authority Kingdom of Kartli-Kakheti Stellaland Portuguese Mozambique Judah Nieuwe Republiek Delhi Sultanate Roman Kingdom Aro Confederacy Tanganyika Roman Republic Democratic Kampuchea Trucial States Nova Roma Kingdom of Croatia-Slavonia Gay and Lesbian Kingdom of the Coral Sea Islands Yamhad Kingdom of Glywysing Domain of Soissons Principality of Serbia First East Turkestan Republic Grand Duchy of Avram Kingdom of Greece Khanate of Sibir Second East Turkestan Republic Nogai Horde Finnish Socialist Workers' Republic Ahom kingdom Liberland Crown of Aragon Czech and Slovak Federal Republic Bourbon Restoration Kingdom of Valencia Federation of South Arabia Dominion of Pakistan Transcaucasian Socialist Federative Soviet Republic Austrian Empire Tulunids Ukrainian Soviet Socialist Republic Kingdom of Ireland Travancore Union between Sweden and Norway Kingdom of Great Britain Akkadian empire Czechoslovakia Kingdom of Cochin Sikh Empire State of Brazil Russian Republic Kingdom of Yugoslavia Magadha Kingdom of Araucanía and Patagonia United Kingdom of Portugal, Brazil and the Algarves Ayutthaya Kingdom East Germany Hadiya Kingdom Kingdom of Poland Netherlands New Guinea Kamarupa Parthenopean Republic Kalmar Union Kingdom of Laos West Germany Republic of Maryland Republic of Hawaii Lordship of Brecknock Croatia in personal union with Hungary South African Republic People's Republic of the Congo Czechoslovak Socialist Republic Kingdom of Romania Kingdom of Poland Kingdom of Bulgaria Ag Qoyunlu Bavaria West Indies Federation Lydenburg Republic Kingdom of Bosnia Karabakh Khanate Islamic Courts Union Republic of Saugeais Kingdom of Egypt Serbia and Montenegro Pskov Republic Finnish Democratic Republic Gold Coast Rustamid dynasty Murrawarri Republic Free Republic of Wendland Kingdom of Italy Independent State of Croatia Kingdom of Funan Kugelmugel Grand Duchy of Flandrensis Socialist Federal Republic of Yugoslavia Chechen Republic of Ichkeria Democratic Federal Yugoslavia Khanate of Kazan Kingdom of Rheged Principality of Kiev Slovak Soviet Republic Kuru Kingdom Kingdom of Bernicia Grand Duchy of Lithuania Commonwealth of England Lu Upingtonia Mongol Empire Kingdom of Seisyllwg Saar Protectorate United Kingdom of the Netherlands Cossack Hetmanate Lordship of Ireland United States of Stellaland Yemen Arab Republic Kingdom of Galicia Abyssinia Kingdom of Sarawak Kingdom of Saxony West Pakistan Kingdom of Nepal Almoravid dynasty Second French Empire Federation of Malaya Soviet Union Islands of Refreshment Grand Duchy of Würzburg Serbian Empire Kingdom of Castile Provisional Government of the Republic of Korea Muscat and Oman Habsburg Spain Imperial Throne People's Socialist Republic of Albania Lithuanian–Belorussian Soviet Socialist Republic Kingdom of Lombardy–Venetia Islamic State of Afghanistan Couto Misto Thonburi Kingdom Papal States Libyan Arab Jamahiriya Mongolian People's Republic Kingdom of Morgannwg Kingdom of León Second Brazilian Republic Sultanate of Sulu Nazi Germany Kingdom of Bohemia United Arab Republic Commonwealth of the Philippines Chagatai Khanate Adal Sultanate Kingdom of Afghanistan Kingdom of Dyfed Kingdom of Prussia Klein Vrystaat Ukrainian State Somali Democratic Republic Duchy of Courland and Semigallia Manchukuo Republic of Siena Kingdom of Israel People's Democratic Republic of Ethiopia Estado Novo Ifat Sultanate Colonial Brazil Sultanate of Maguindanao Central African Empire Kingdom of Burundi South Yemen Duchy of Brittany Kingdom of Finland Enlightenment in Spain Lithuanian Soviet Socialist Republic Crown of Castile Kingdom of Nicoya Kaluga Soviet Republic Kingdom of Aragon Kingdom of Bavaria Khoshut Khanate Principality of Sealand division of Korea Dominion of India Dacia People's Republic of Bulgaria Principality of Lower Pannonia Prussia Republic of Venice Aerican Empire State of the Teutonic Order People's Republic of Hungary Italian Social Republic Hyderabad State Kruševo Republic Kingdom of France Parthian Empire Goshen (South Africa) Talossa Marinid dynasty Protectorate of South Arabia Orange River Colony Holy Roman Empire People's Republic of Poland Tanganyika Territory Hammadid dynasty Realm of Stefan Dragutin Zaire Principality of Wy Free Territory of Trieste Lithuanian Soviet Socialist Republic Khmer Republic Natalia Republic Republic of Molossia Brandenburg-Prussia Islamic Emirate of Afghanistan Republic of Rose Island Free State of Prussia Kingdom of Mysore United States of Colombia Colony and Protectorate of Nigeria Weimar Republic Hafsid dynasty Republic of Upper Volta Democratic Republic of Azerbaijan Azerbaijan People's Government Russian Soviet Federative Socialist Republic Kingdom of Ceredigion Mahra Sultanate Kingdom of Iraq
Czechoslovakia, Soviet Union and Bavaria have less number of organizations or concepts as the type of government than Septinsular Republic
Czechoslovakia Soviet Union Bavaria
action less
action union
action find_tuple_counts
relation basic form of government
type state
type organization
action find_tuple_counts
relation basic form of government
type state
type concept
action count
action filter_multi_types
action find
entity Septinsular Republic
relation basic form of government
type organization
type concept
[{'concept': 'state'}, 'basic form of government', [{'concept': 'organization'}, {'concept': 'concept'}]]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?w ) WHERE { { VALUES ( ?e ) { ( ontology:organization ) ( ontology:concept ) } . ?p rdf:type ?e } . resource:Septinsular_Republic property:basic_form_of_government ?p } } . FILTER ( ?g < ?w ) . { SELECT DISTINCT ?j ( COUNT ( ?l ) AS ?g ) WHERE { ?l rdf:type ?f . VALUES ( ?f ) { ( ontology:concept ) ( ontology:organization ) } } GROUP BY ?j } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q44642
P122
Q43229 Q151885 Q7275
USER
And how about Federation of Arab Republics?
(c(Q7275),P122,c(Q43229)|c(Q151885))
action less
action union
action find_tuple_counts
relation P122
type Q7275
type Q43229
action find_tuple_counts
relation P122
type Q7275
type Q151885
action count
action filter_multi_types
action find
entity Q44642
relation P122
type Q43229
type Q151885
[{'concept': 'Q7275'}, 'P122', [{'concept': 'Q43229'}, {'concept': 'Q151885'}]]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?h ) ?f WHERE { { ?f property:P122 ?c . ?f rdf:type ontology:Q7275 . ?c rdf:type ontology:Q43229 } UNION { ?f rdf:type ontology:Q7275 . ?c rdf:type ontology:Q151885 . ?f property:P122 ?c } } GROUP BY ?f } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?p ) WHERE { resource:Q44642 property:P122 ?z . { { ?z rdf:type ontology:Q151885 } UNION { ?z rdf:type ontology:Q43229 } } } } . FILTER ( ?h < ?p ) }
Federation of Arab Republics
action less
action union
action find_tuple_counts
relation basic form of government
type state
type organization
action find_tuple_counts
relation basic form of government
type state
type concept
action count
action filter_multi_types
action find
entity Federation of Arab Republics
relation basic form of government
type organization
type concept
[{'concept': 'state'}, 'basic form of government', [{'concept': 'organization'}, {'concept': 'concept'}]]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?h ) ?f WHERE { { ?f property:basic_form_of_government ?c . ?f rdf:type ontology:state . ?c rdf:type ontology:organization } UNION { ?f rdf:type ontology:state . ?c rdf:type ontology:concept . ?f property:basic_form_of_government ?c } } GROUP BY ?f } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?p ) WHERE { resource:Federation_of_Arab_Republics property:basic_form_of_government ?z . { { ?z rdf:type ontology:concept } UNION { ?z rdf:type ontology:organization } } } } . FILTER ( ?h < ?p ) }
[]
organization concept state
Q33946 Q15180 Q980
SYSTEM
Czechoslovakia, Soviet Union, Bavaria
Q241748 Q211853 Q484104 Q180573 Q105092 Q210163 Q3185305 Q2340665 Q172107 Q1538311 Q476757 Q152115 Q285658 Q18285930 Q2414171 Q179876 Q2475921 Q218023 Q889374 Q798431 Q3456417 Q154401 Q174193 Q965174 Q282475 Q1269234 Q889394 Q48685 Q552157 Q229411 Q201038 Q761370 Q431731 Q175881 Q330988 Q1852345 Q1194329 Q533558 Q1423680 Q617218 Q2253783 Q1247508 Q13107370 Q986665 Q744042 Q209065 Q190513 Q10988528 Q631210 Q1811029 Q2308237 Q19801186 Q204920 Q1998866 Q207162 Q142417 Q834486 Q2006542 Q545205 Q131964 Q726798 Q133356 Q215530 Q150058 Q62589 Q161885 Q4461035 Q33946 Q150056 Q83572 Q11876909 Q139319 Q191077 Q234009 Q271570 Q903779 Q841364 Q16957 Q558596 Q1649871 Q941881 Q1194765 Q514423 Q62623 Q870055 Q713750 Q544630 Q1057542 Q16949002 Q1789596 Q550374 Q1152126 Q853348 Q203493 Q696908 Q147909 Q555994 Q980 Q652560 Q220167 Q2980623 Q1636212 Q737040 Q112558 Q124943 Q37024 Q317078 Q62519 Q503623 Q940123 Q14934927 Q137766 Q172579 Q153128 Q867782 Q877579 Q551798 Q83286 Q210036 Q1277557 Q186537 Q633573 Q1483430 Q200896 Q1068408 Q623751 Q49683 Q330362 Q736936 Q8146595 Q12557 Q2456191 Q310293 Q15864 Q212439 Q844250 Q1362278 Q267584 Q303421 Q207521 Q1658411 Q153015 Q2342822 Q1078602 Q75613 Q71092 Q1479726 Q15180 Q6083755 Q698089 Q1406298 Q179293 Q28278 Q157734 Q600093 Q7382038 Q467864 Q76236 Q209857 Q1415585 Q953432 Q1115291 Q170174 Q4843701 Q212056 Q21005050 Q175276 Q210542 Q422065 Q7318 Q42585 Q170468 Q146328 Q487829 Q2365048 Q1138904 Q956451 Q27306 Q1493843 Q1508143 Q1477220 Q156038 Q30623 Q736727 Q230407 Q940821 Q824489 Q157727 Q2088324 Q248572 Q189988 Q1192936 Q199841 Q71747 Q615902 Q1322229 Q173761 Q217196 Q16624774 Q23541302 Q199442 Q154195 Q10921634 Q13706 Q498735 Q1775277 Q173082 Q121932 Q680997 Q38872 Q4948 Q1152445 Q156020 Q16410 Q153660 Q1240096 Q1771831 Q70972 Q1986139 Q2145397 Q2353425 Q582861 Q1517772 Q1142179 Q12548 Q211274 Q158725 Q588672 Q6412664 Q6500954 Q1083009 Q391980 Q80211 Q1054184 Q1029847 Q1155768 Q157367 Q427941 Q1044668 Q161036 Q266923 Q1061488 Q5148517 Q41304 Q752662 Q797422 Q206411 Q2305337 Q2184 Q2578706 Q1885093 Q149805
(c(Q7275),P122,c(Q43229)|c(Q151885))
action less
action union
action find_tuple_counts
relation P122
type Q7275
type Q43229
action find_tuple_counts
relation P122
type Q7275
type Q151885
action count
action filter_multi_types
action find
entity Q44642
relation P122
type Q43229
type Q151885
[ANSWERS]
[{'concept': 'Q7275'}, 'P122', [{'concept': 'Q43229'}, {'concept': 'Q151885'}]]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?h ) ?f WHERE { { ?f property:P122 ?c . ?f rdf:type ontology:Q7275 . ?c rdf:type ontology:Q43229 } UNION { ?f rdf:type ontology:Q7275 . ?c rdf:type ontology:Q151885 . ?f property:P122 ?c } } GROUP BY ?f } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?p ) WHERE { resource:Q44642 property:P122 ?z . { { ?z rdf:type ontology:Q151885 } UNION { ?z rdf:type ontology:Q43229 } } } } . FILTER ( ?h < ?p ) }
Kingdom of Serbia Republic of Serbian Krajina United States Army Military Government in Korea South Vietnam Kingdom of Mercia Astrakhan Khanate Kingdom of Israel Basutoland Polish–Lithuanian Commonwealth Travancore-Cochin Democratic Republic of Afghanistan Duchy of Warsaw First Mexican Empire German Empire of 1848/1849 First Brazilian Republic Kingdom of England Outer Mongolia Orange Free State Warsangali Sultanate Republic of Dahomey Republic of Saint-Malo Slovak Republic United Kingdom of Great Britain and Ireland Coalition Provisional Authority Kingdom of Kartli-Kakheti Stellaland Portuguese Mozambique Judah Nieuwe Republiek Delhi Sultanate Roman Kingdom Aro Confederacy Tanganyika Roman Republic Democratic Kampuchea Trucial States Nova Roma Kingdom of Croatia-Slavonia Gay and Lesbian Kingdom of the Coral Sea Islands Yamhad Kingdom of Glywysing Domain of Soissons Principality of Serbia First East Turkestan Republic Grand Duchy of Avram Kingdom of Greece Khanate of Sibir Second East Turkestan Republic Nogai Horde Finnish Socialist Workers' Republic Ahom kingdom Liberland Crown of Aragon Czech and Slovak Federal Republic Bourbon Restoration Kingdom of Valencia Federation of South Arabia Dominion of Pakistan Transcaucasian Socialist Federative Soviet Republic Austrian Empire Tulunids Ukrainian Soviet Socialist Republic Kingdom of Ireland Travancore Union between Sweden and Norway Kingdom of Great Britain Akkadian empire Czechoslovakia Kingdom of Cochin Sikh Empire State of Brazil Russian Republic Kingdom of Yugoslavia Magadha Kingdom of Araucanía and Patagonia United Kingdom of Portugal, Brazil and the Algarves Ayutthaya Kingdom East Germany Hadiya Kingdom Kingdom of Poland Netherlands New Guinea Kamarupa Parthenopean Republic Kalmar Union Kingdom of Laos West Germany Republic of Maryland Republic of Hawaii Lordship of Brecknock Croatia in personal union with Hungary South African Republic People's Republic of the Congo Czechoslovak Socialist Republic Kingdom of Romania Kingdom of Poland Kingdom of Bulgaria Ag Qoyunlu Bavaria West Indies Federation Lydenburg Republic Kingdom of Bosnia Karabakh Khanate Islamic Courts Union Republic of Saugeais Kingdom of Egypt Serbia and Montenegro Pskov Republic Finnish Democratic Republic Gold Coast Rustamid dynasty Murrawarri Republic Free Republic of Wendland Kingdom of Italy Independent State of Croatia Kingdom of Funan Kugelmugel Grand Duchy of Flandrensis Socialist Federal Republic of Yugoslavia Chechen Republic of Ichkeria Democratic Federal Yugoslavia Khanate of Kazan Kingdom of Rheged Principality of Kiev Slovak Soviet Republic Kuru Kingdom Kingdom of Bernicia Grand Duchy of Lithuania Commonwealth of England Lu Upingtonia Mongol Empire Kingdom of Seisyllwg Saar Protectorate United Kingdom of the Netherlands Cossack Hetmanate Lordship of Ireland United States of Stellaland Yemen Arab Republic Kingdom of Galicia Abyssinia Kingdom of Sarawak Kingdom of Saxony West Pakistan Kingdom of Nepal Almoravid dynasty Second French Empire Federation of Malaya Soviet Union Islands of Refreshment Grand Duchy of Würzburg Serbian Empire Kingdom of Castile Provisional Government of the Republic of Korea Muscat and Oman Habsburg Spain Imperial Throne People's Socialist Republic of Albania Lithuanian–Belorussian Soviet Socialist Republic Kingdom of Lombardy–Venetia Islamic State of Afghanistan Couto Misto Thonburi Kingdom Papal States Libyan Arab Jamahiriya Mongolian People's Republic Kingdom of Morgannwg Kingdom of León Second Brazilian Republic Sultanate of Sulu Nazi Germany Kingdom of Bohemia United Arab Republic Commonwealth of the Philippines Chagatai Khanate Adal Sultanate Kingdom of Afghanistan Kingdom of Dyfed Kingdom of Prussia Klein Vrystaat Ukrainian State Somali Democratic Republic Duchy of Courland and Semigallia Manchukuo Republic of Siena Kingdom of Israel People's Democratic Republic of Ethiopia Estado Novo Ifat Sultanate Colonial Brazil Sultanate of Maguindanao Central African Empire Kingdom of Burundi South Yemen Duchy of Brittany Kingdom of Finland Enlightenment in Spain Lithuanian Soviet Socialist Republic Crown of Castile Kingdom of Nicoya Kaluga Soviet Republic Kingdom of Aragon Kingdom of Bavaria Khoshut Khanate Principality of Sealand division of Korea Dominion of India Dacia People's Republic of Bulgaria Principality of Lower Pannonia Prussia Republic of Venice Aerican Empire State of the Teutonic Order People's Republic of Hungary Italian Social Republic Hyderabad State Kruševo Republic Kingdom of France Parthian Empire Goshen (South Africa) Talossa Marinid dynasty Protectorate of South Arabia Orange River Colony Holy Roman Empire People's Republic of Poland Tanganyika Territory Hammadid dynasty Realm of Stefan Dragutin Zaire Principality of Wy Free Territory of Trieste Lithuanian Soviet Socialist Republic Khmer Republic Natalia Republic Republic of Molossia Brandenburg-Prussia Islamic Emirate of Afghanistan Republic of Rose Island Free State of Prussia Kingdom of Mysore United States of Colombia Colony and Protectorate of Nigeria Weimar Republic Hafsid dynasty Republic of Upper Volta Democratic Republic of Azerbaijan Azerbaijan People's Government Russian Soviet Federative Socialist Republic Kingdom of Ceredigion Mahra Sultanate Kingdom of Iraq
Czechoslovakia Soviet Union Bavaria
action less
action union
action find_tuple_counts
relation basic form of government
type state
type organization
action find_tuple_counts
relation basic form of government
type state
type concept
action count
action filter_multi_types
action find
entity Federation of Arab Republics
relation basic form of government
type organization
type concept
[{'concept': 'state'}, 'basic form of government', [{'concept': 'organization'}, {'concept': 'concept'}]]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?h ) ?f WHERE { { ?f property:basic_form_of_government ?c . ?f rdf:type ontology:state . ?c rdf:type ontology:organization } UNION { ?f rdf:type ontology:state . ?c rdf:type ontology:concept . ?f property:basic_form_of_government ?c } } GROUP BY ?f } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?p ) WHERE { resource:Federation_of_Arab_Republics property:basic_form_of_government ?z . { { ?z rdf:type ontology:concept } UNION { ?z rdf:type ontology:organization } } } } . FILTER ( ?h < ?p ) }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P1376
Q7275 Q515
USER
Which cities are the capital of exactly 1 state ?
(c(Q515),P1376,c(Q7275))
action equal
action find_tuple_counts
relation P1376
type Q515
type Q7275
value 1
[{'concept': 'Q515'}, 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?g ) AS ?a ) WHERE { ?y property:P1376 ?g . ?y rdf:type ontology:Q515 . ?g rdf:type ontology:Q7275 } GROUP BY ?y } . FILTER ( ?a = 1 ) }
action equal
action find_tuple_counts
relation capital of
type city
type state
value 1
[{'concept': 'city'}, 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?g ) AS ?a ) WHERE { ?y property:capital_of ?g . ?y rdf:type ontology:city . ?g rdf:type ontology:state } GROUP BY ?y } . FILTER ( ?a = 1 ) }
[]
state city
Q1486 Q1731 Q1461
SYSTEM
Buenos Aires, Dresden, Manila
Q3572 Q19689 Q8131 Q27860 Q58650 Q71305 Q18970 Q80989 Q3926 Q665 Q1486 Q220445 Q1461 Q23430 Q1069007 Q7568 Q1731 Q19660 Q9005 Q2773 Q308657 Q3826 Q68481 Q7929221 Q83247 Q11443 Q183584 Q2844 Q11725 Q73156 Q1865 Q18342086 Q107401 Q2069869 Q726993 Q3919 Q2999
(c(Q515),P1376,c(Q7275))
action equal
action find_tuple_counts
relation P1376
type Q515
type Q7275
value 1
[ANSWERS] are the capital of exactly 1 state
[{'concept': 'Q515'}, 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?g ) AS ?a ) WHERE { ?y property:P1376 ?g . ?y rdf:type ontology:Q515 . ?g rdf:type ontology:Q7275 } GROUP BY ?y } . FILTER ( ?a = 1 ) }
Tunis Tirana Palembang Jayapura Zhangjiakou Ezhou Ambon Bhopal Pretoria Lugdunum Buenos Aires Kuching Manila Ulaanbaatar Washukanni Yogyakarta Dresden Bucharest Brussels Braunschweig Minas Tirith Muscat Fuzhou Vijaya Braga Kediri Lanzhou Brasília Chongqing Linfen Kuala Lumpur Oyo-Ile Sivas Edoras Cotabato City Gaborone Würzburg
Buenos Aires, Dresden and Manila are the capital of exactly 1 state
Buenos Aires Dresden Manila
action equal
action find_tuple_counts
relation capital of
type city
type state
value 1
[{'concept': 'city'}, 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?g ) AS ?a ) WHERE { ?y property:capital_of ?g . ?y rdf:type ontology:city . ?g rdf:type ontology:state } GROUP BY ?y } . FILTER ( ?a = 1 ) }
[]