Simple Question (Direct)
Simple Question
Q249131
P27
Q15617994
USER
Which administrative territory is the country of citizenship of Philip Henry Kuenen ?
(Q249131,P27,c(Q15617994))
action filter_type
action find
entity Q249131
relation P27
type Q15617994
['Q249131', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { resource:Q249131 property:P27 ?u . ?u rdf:type ontology:Q15617994 }
Philip Henry Kuenen
action filter_type
action find
entity Philip Henry Kuenen
relation country of citizenship
type designation for an administrative territorial entity
['Philip Henry Kuenen', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Philip_Henry_Kuenen property:country_of_citizenship ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q29999
SYSTEM
Kingdom of the Netherlands
Q29999
(Q249131,P27,c(Q15617994))
action filter_type
action find
entity Q249131
relation P27
type Q15617994
[ANSWER] is the country of citizenship of Philip Henry Kuenen
['Q249131', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { resource:Q249131 property:P27 ?u . ?u rdf:type ontology:Q15617994 }
Kingdom of the Netherlands
Kingdom of the Netherlands is the country of citizenship of Philip Henry Kuenen
Kingdom of the Netherlands
action filter_type
action find
entity Philip Henry Kuenen
relation country of citizenship
type designation for an administrative territorial entity
['Philip Henry Kuenen', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Philip_Henry_Kuenen property:country_of_citizenship ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q249131
P19
Q56061
USER
Where was that person born ?
(Q29999,P19,c(Q56061))
action filter_type
action find
entity Q249131
relation P19
type Q56061
['Q29999', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?z WHERE { resource:Q249131 property:P19 ?z . ?z rdf:type ontology:Q56061 }
Philip Henry Kuenen
action filter_type
action find
entity Philip Henry Kuenen
relation place of birth
type administrative territorial entity
['Kingdom of the Netherlands', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?z WHERE { resource:Philip_Henry_Kuenen property:place_of_birth ?z . ?z rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q123709
SYSTEM
Dundee
Q123709
(Q29999,P19,c(Q56061))
action filter_type
action find
entity Q249131
relation P19
type Q56061
That person was born in [ANSWER]
['Q29999', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?z WHERE { resource:Q249131 property:P19 ?z . ?z rdf:type ontology:Q56061 }
Dundee
That person was born in Dundee
Dundee
action filter_type
action find
entity Philip Henry Kuenen
relation place of birth
type administrative territorial entity
['Kingdom of the Netherlands', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?z WHERE { resource:Philip_Henry_Kuenen property:place_of_birth ?z . ?z rdf:type ontology:administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q5558536 Q123709
P17
Q15617994
USER
Which administrative territories are Dundee or Huertas District situated in ?
OR((Q123709,P17,c(Q15617994)), (Q5558536,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q123709
relation P17
action find
entity Q5558536
relation P17
type Q15617994
{'OR': [['Q123709', 'P17', {'concept': 'Q15617994'}], ['Q5558536', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?a WHERE { { VALUES ( ?d ) { ( resource:Q123709 ) ( resource:Q5558536 ) } . ?d property:P17 ?a } . ?a rdf:type ontology:Q15617994 }
Huertas District Dundee
action filter_type
action union
action find
entity Dundee
relation country
action find
entity Huertas District
relation country
type designation for an administrative territorial entity
{'OR': [['Dundee', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Huertas District', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?a WHERE { { VALUES ( ?d ) { ( resource:Dundee ) ( resource:Huertas_District ) } . ?d property:country ?a } . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q419 Q145
SYSTEM
Peru, United Kingdom
Q419 Q145
OR((Q123709,P17,c(Q15617994)), (Q5558536,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q123709
relation P17
action find
entity Q5558536
relation P17
type Q15617994
Dundee or Huertas District are situated in [ANSWERS]
{'OR': [['Q123709', 'P17', {'concept': 'Q15617994'}], ['Q5558536', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?a WHERE { { VALUES ( ?d ) { ( resource:Q123709 ) ( resource:Q5558536 ) } . ?d property:P17 ?a } . ?a rdf:type ontology:Q15617994 }
Peru United Kingdom
Dundee or Huertas District are situated in Peru and United Kingdom
Peru United Kingdom
action filter_type
action union
action find
entity Dundee
relation country
action find
entity Huertas District
relation country
type designation for an administrative territorial entity
{'OR': [['Dundee', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Huertas District', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?a WHERE { { VALUES ( ?d ) { ( resource:Dundee ) ( resource:Huertas_District ) } . ?d property:country ?a } . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q641731
P530
Q15617994
USER
Do Großsolt have tactful political relations with those ones ?
(Q641731,P530,Q419) (Q641731,P530,Q145)
action is_in
entity prev_answer
action find
entity Q641731
relation P530
['Q641731', 'P530', 'Q419'] ['Q641731', 'P530', 'Q145']
ASK WHERE { resource:Q641731 property:P530 ?c . VALUES ( ?c ) { ( resource:Q419 ) ( resource:Q145 ) } }
Großsolt
action is_in
entity prev_answer
action find
entity Großsolt
relation diplomatic relation
['Großsolt', 'diplomatic relation', 'Peru'] ['Großsolt', 'diplomatic relation', 'United Kingdom']
ASK WHERE { resource:Großsolt property:diplomatic_relation ?c . VALUES ( ?c ) { ( resource:Peru ) ( resource:United_Kingdom ) } }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q641731,P530,Q419) (Q641731,P530,Q145)
action is_in
entity prev_answer
action find
entity Q641731
relation P530
[ANSWER]
['Q641731', 'P530', 'Q419'] ['Q641731', 'P530', 'Q145']
ASK WHERE { resource:Q641731 property:P530 ?c . VALUES ( ?c ) { ( resource:Q419 ) ( resource:Q145 ) } }
No
action is_in
entity prev_answer
action find
entity Großsolt
relation diplomatic relation
['Großsolt', 'diplomatic relation', 'Peru'] ['Großsolt', 'diplomatic relation', 'United Kingdom']
ASK WHERE { resource:Großsolt property:diplomatic_relation ?c . VALUES ( ?c ) { ( resource:Peru ) ( resource:United_Kingdom ) } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q884
P17
Q15617994 Q3914 Q41176
USER
Which administrative territories do approximately the same number of schools or buildings belong to as South Korea ?
(c(Q3914)|c(Q41176),P17,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q3914
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q41176
action count
action filter_multi_types
action find_reverse
entity Q884
relation P17
type Q3914
type Q41176
[[{'concept': 'Q3914'}, {'concept': 'Q41176'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?f ) WHERE { { { ?z rdf:type ontology:Q3914 } UNION { ?z rdf:type ontology:Q41176 } } . ?z property:P17 resource:Q884 } } . FILTER ( ?e = ?f ) . { SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) ?h WHERE { { ?k property:P17 ?h . ?h rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q41176 } UNION { ?k property:P17 ?h . ?h rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q3914 } } GROUP BY ?h } }
South Korea
action approx
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type school
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type building
action count
action filter_multi_types
action find_reverse
entity South Korea
relation country
type school
type building
[[{'concept': 'school'}, {'concept': 'building'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?f ) WHERE { { { ?z rdf:type ontology:school } UNION { ?z rdf:type ontology:building } } . ?z property:country resource:South_Korea } } . FILTER ( ?e = ?f ) . { SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) ?h WHERE { { ?k property:country ?h . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:building } UNION { ?k property:country ?h . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:school } } GROUP BY ?h } }
[]
designation for an administrative territorial entity school building
Q38 Q155 Q230
SYSTEM
Italy, Brazil, Georgia
Q702 Q804 Q801 Q800 Q1256 Q709 Q398 Q805 Q339952 Q419 Q270508 Q668 Q684030 Q2172530 Q414 Q55 Q12536 Q262 Q148 Q783 Q784 Q265 Q214 Q640426 Q36678 Q736029 Q712 Q711 Q710 Q717 Q837 Q565812 Q187035 Q252 Q399 Q1462 Q403 Q657 Q258 Q45 Q159 Q43 Q41 Q155 Q792 Q790 Q517333 Q796 Q794 Q954 Q889 Q2001966 Q326029 Q884 Q958 Q881 Q986 Q219 Q153529 Q695316 Q4628 Q826 Q165040 Q822 Q241 Q242 Q244 Q315667 Q811 Q736 Q153136 Q1210 Q33 Q921 Q31 Q924 Q36 Q34 Q928 Q155019 Q39 Q38 Q739 Q423 Q983 Q851 Q733 Q29999 Q854 Q734 Q819 Q107426 Q424 Q730 Q1282 Q159626 Q236 Q230 Q232 Q233 Q238 Q20 Q1045 Q1044 Q1042 Q1041 Q27 Q28 Q177323 Q313175 Q149621 Q1025 Q1027 Q1020 Q189 Q843 Q842 Q184 Q1029 Q1028 Q836 Q34762 Q1458 Q786 Q32 Q228 Q3462133 Q227 Q225 Q224 Q223 Q222 Q221 Q815731 Q47261 Q96 Q229 Q347 Q1050 Q977 Q704288 Q10957559 Q902 Q1037 Q974 Q1032 Q1033 Q1030 Q191 Q965 Q967 Q962 Q963 Q697 Q298 Q695 Q115 Q114 Q117 Q389004 Q754 Q750 Q212 Q213 Q211 Q217 Q1013 Q215 Q218 Q160307 Q164092 Q37 Q1483510 Q912 Q2662372 Q917 Q916 Q1007 Q1006 Q1005 Q833 Q829700 Q1009 Q1008 Q971 Q970 Q239502 Q683 Q15581 Q34020 Q2380910 Q686 Q193152 Q760 Q29 Q574 Q655621 Q2502354 Q154849 Q159856 Q2621010 Q874 Q79 Q696651 Q77 Q858 Q878 Q774 Q948 Q817 Q810 Q1019 Q813 Q1014 Q1016 Q148499 Q1011 Q945 Q678 Q8575586 Q529605 Q1039 Q672 Q33788 Q929 Q11024667 Q863 Q1049 Q869 Q426025 Q953
(c(Q3914)|c(Q41176),P17,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q3914
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q41176
action count
action filter_multi_types
action find_reverse
entity Q884
relation P17
type Q3914
type Q41176
[ANSWERS] approximately the same number of schools or buildings belong to as South Korea
[[{'concept': 'Q3914'}, {'concept': 'Q41176'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?f ) WHERE { { { ?z rdf:type ontology:Q3914 } UNION { ?z rdf:type ontology:Q41176 } } . ?z property:P17 resource:Q884 } } . FILTER ( ?e = ?f ) . { SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) ?h WHERE { { ?k property:P17 ?h . ?h rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q41176 } UNION { ?k property:P17 ?h . ?h rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q3914 } } GROUP BY ?h } }
Federated States of Micronesia Panama Israel Costa Rica Liguria Marshall Islands Bahrain Yemen Principality of Orange-Nassau Peru Andora India Principality of Serbia Electorate of Württemberg Argentina Netherlands Abbasid caliphate Algeria People's Republic of China Honduras Dominica Uzbekistan Slovakia Stahnsdorf West Bank Nassau-Siegen Fiji Mongolia Kiribati Venezuela Nepal Principality of Calenberg Principality of Albania Indonesia Armenia Sardinia Serbia Chad South Africa Portugal Russia Turkey Greece Brazil El Salvador Haiti Principality of Polotsk Iraq Iran Zimbabwe Afghanistan Company rule in India Duchy of Brunswick South Korea South Sudan Vietnam Eritrea Bulgaria Duchy of Milan Schwarzburg-Rudolstadt Faroe Islands Maldives Duchy of Parma Lebanon Cuba Belize Barbados Saxe-Weimar Nicaragua Ecuador Habsburg Empire Lombardy Finland Brunei Belgium Tanzania Poland Sweden Philippines Duchy of Lorraine Switzerland Italy Colombia North Korea Equatorial Guinea Saudi Arabia Paraguay Kingdom of the Netherlands Sri Lanka Guyana Laos Anjou Cambodia Suriname Lazio Württemberg Montenegro Georgia Kazakhstan Malta San Marino Norway Somalia Sierra Leone Seychelles Senegal Ireland Hungary developing country Saxe-Lauenburg district Mauritania Mauritius Malawi Iceland Pakistan Oman Belarus Mozambique Morocco Myanmar Principality of Bayreuth Calabria Dominican Republic Luxembourg Andorra Saxe-Coburg and Gotha Azerbaijan Bosnia and Herzegovina Croatia Greenland Albania Republic of Macedonia Principality of Bulgaria Duchy of Bavaria Mexico Cyprus Liechtenstein Swaziland Djibouti Duchy of Holstein Moldavia Bangladesh Rwanda Democratic Republic of the Congo Niger Nigeria Namibia Estonia Burkina Faso Burundi Benin Botswana Nauru Chile Palau Ethiopia Kenya Ghana Wallachia Trinidad and Tobago Bolivia Ukraine Czech Republic Latvia Republic of Moldova Lesotho Slovenia Romania Fatimid caliphate Duchy of Saxony Lithuania Principality of Wales Mali Principality of Minsk Bhutan Angola Guinea-Bissau Guinea Gambia Malaysia Saxe-Jena Cameroon Côte d'Ivoire Republic of the Congo Comoros Kingdom of Galicia–Volhynia Samoa Principality of Catalonia Niue Duchy of Zaslawye Vanuatu Great Moravia Saint Lucia Spain East Timor Principality of Transylvania Principality of Goroden Grand Duchy of Tuscany Duchy of Brabant Principality of Vitebsk Turkmenistan Egypt Saxe-Eisenach Uruguay Syria United Arab Emirates Guatemala Tunisia Kuwait Jordan Madagascar Kyrgyzstan Liberia Libya Margraviate of Brandenburg Cape Verde Togo Tonga Umayyad Caliphate Electorate of Hesse Sao Tomé and Príncipe Tuvalu New Caledonia Central African Republic Duchy of Mecklenburg-Schwerin Tajikistan Sudan Thailand Duchy of Savoy Zambia
Italy, Brazil and Georgia approximately the same number of schools or buildings belong to as South Korea
Italy Brazil Georgia
action approx
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type school
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type building
action count
action filter_multi_types
action find_reverse
entity South Korea
relation country
type school
type building
[[{'concept': 'school'}, {'concept': 'building'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?f ) WHERE { { { ?z rdf:type ontology:school } UNION { ?z rdf:type ontology:building } } . ?z property:country resource:South_Korea } } . FILTER ( ?e = ?f ) . { SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) ?h WHERE { { ?k property:country ?h . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:building } UNION { ?k property:country ?h . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:school } } GROUP BY ?h } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q736029
P17
Q15617994 Q3914 Q41176
USER
And what about Nassau-Siegen?
(c(Q3914)|c(Q41176),P17,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q3914
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q41176
action count
action filter_multi_types
action find_reverse
entity Q736029
relation P17
type Q3914
type Q41176
[[{'concept': 'Q3914'}, {'concept': 'Q41176'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { ?v property:P17 resource:Q736029 . { { ?v rdf:type ontology:Q41176 } UNION { ?v rdf:type ontology:Q3914 } } } } . FILTER ( ?f = ?a ) . { SELECT DISTINCT ( COUNT ( ?s ) AS ?f ) ?l WHERE { ?s rdf:type ?w . VALUES ( ?w ) { ( ontology:Q41176 ) ( ontology:Q3914 ) } } GROUP BY ?l } }
Nassau-Siegen
action approx
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type school
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type building
action count
action filter_multi_types
action find_reverse
entity Nassau-Siegen
relation country
type school
type building
[[{'concept': 'school'}, {'concept': 'building'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { ?v property:country resource:Nassau-Siegen . { { ?v rdf:type ontology:building } UNION { ?v rdf:type ontology:school } } } } . FILTER ( ?f = ?a ) . { SELECT DISTINCT ( COUNT ( ?s ) AS ?f ) ?l WHERE { ?s rdf:type ?w . VALUES ( ?w ) { ( ontology:building ) ( ontology:school ) } } GROUP BY ?l } }
[]
designation for an administrative territorial entity school building
Q38 Q155 Q230
SYSTEM
Italy, Brazil, Georgia
Q702 Q804 Q801 Q800 Q1256 Q709 Q398 Q805 Q339952 Q419 Q270508 Q668 Q684030 Q2172530 Q414 Q55 Q12536 Q262 Q148 Q783 Q784 Q265 Q214 Q640426 Q36678 Q736029 Q712 Q711 Q710 Q717 Q837 Q565812 Q187035 Q252 Q399 Q1462 Q403 Q657 Q258 Q45 Q159 Q43 Q41 Q155 Q792 Q790 Q517333 Q796 Q794 Q954 Q889 Q2001966 Q326029 Q884 Q958 Q881 Q986 Q219 Q153529 Q695316 Q4628 Q826 Q165040 Q822 Q241 Q242 Q244 Q315667 Q811 Q736 Q153136 Q1210 Q33 Q921 Q31 Q924 Q36 Q34 Q928 Q155019 Q39 Q38 Q739 Q423 Q983 Q851 Q733 Q29999 Q854 Q734 Q819 Q107426 Q424 Q730 Q1282 Q159626 Q236 Q230 Q232 Q233 Q238 Q20 Q1045 Q1044 Q1042 Q1041 Q27 Q28 Q177323 Q313175 Q149621 Q1025 Q1027 Q1020 Q189 Q843 Q842 Q184 Q1029 Q1028 Q836 Q34762 Q1458 Q786 Q32 Q228 Q3462133 Q227 Q225 Q224 Q223 Q222 Q221 Q815731 Q47261 Q96 Q229 Q347 Q1050 Q977 Q704288 Q10957559 Q902 Q1037 Q974 Q1032 Q1033 Q1030 Q191 Q965 Q967 Q962 Q963 Q697 Q298 Q695 Q115 Q114 Q117 Q389004 Q754 Q750 Q212 Q213 Q211 Q217 Q1013 Q215 Q218 Q160307 Q164092 Q37 Q1483510 Q912 Q2662372 Q917 Q916 Q1007 Q1006 Q1005 Q833 Q829700 Q1009 Q1008 Q971 Q970 Q239502 Q683 Q15581 Q34020 Q2380910 Q686 Q193152 Q760 Q29 Q574 Q655621 Q2502354 Q154849 Q159856 Q2621010 Q874 Q79 Q696651 Q77 Q858 Q878 Q774 Q948 Q817 Q810 Q1019 Q813 Q1014 Q1016 Q148499 Q1011 Q945 Q678 Q8575586 Q529605 Q1039 Q672 Q33788 Q929 Q11024667 Q863 Q1049 Q869 Q426025 Q953
(c(Q3914)|c(Q41176),P17,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q3914
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q41176
action count
action filter_multi_types
action find_reverse
entity Q736029
relation P17
type Q3914
type Q41176
[ANSWERS]
[[{'concept': 'Q3914'}, {'concept': 'Q41176'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { ?v property:P17 resource:Q736029 . { { ?v rdf:type ontology:Q41176 } UNION { ?v rdf:type ontology:Q3914 } } } } . FILTER ( ?f = ?a ) . { SELECT DISTINCT ( COUNT ( ?s ) AS ?f ) ?l WHERE { ?s rdf:type ?w . VALUES ( ?w ) { ( ontology:Q41176 ) ( ontology:Q3914 ) } } GROUP BY ?l } }
Federated States of Micronesia Panama Israel Costa Rica Liguria Marshall Islands Bahrain Yemen Principality of Orange-Nassau Peru Andora India Principality of Serbia Electorate of Württemberg Argentina Netherlands Abbasid caliphate Algeria People's Republic of China Honduras Dominica Uzbekistan Slovakia Stahnsdorf West Bank Nassau-Siegen Fiji Mongolia Kiribati Venezuela Nepal Principality of Calenberg Principality of Albania Indonesia Armenia Sardinia Serbia Chad South Africa Portugal Russia Turkey Greece Brazil El Salvador Haiti Principality of Polotsk Iraq Iran Zimbabwe Afghanistan Company rule in India Duchy of Brunswick South Korea South Sudan Vietnam Eritrea Bulgaria Duchy of Milan Schwarzburg-Rudolstadt Faroe Islands Maldives Duchy of Parma Lebanon Cuba Belize Barbados Saxe-Weimar Nicaragua Ecuador Habsburg Empire Lombardy Finland Brunei Belgium Tanzania Poland Sweden Philippines Duchy of Lorraine Switzerland Italy Colombia North Korea Equatorial Guinea Saudi Arabia Paraguay Kingdom of the Netherlands Sri Lanka Guyana Laos Anjou Cambodia Suriname Lazio Württemberg Montenegro Georgia Kazakhstan Malta San Marino Norway Somalia Sierra Leone Seychelles Senegal Ireland Hungary developing country Saxe-Lauenburg district Mauritania Mauritius Malawi Iceland Pakistan Oman Belarus Mozambique Morocco Myanmar Principality of Bayreuth Calabria Dominican Republic Luxembourg Andorra Saxe-Coburg and Gotha Azerbaijan Bosnia and Herzegovina Croatia Greenland Albania Republic of Macedonia Principality of Bulgaria Duchy of Bavaria Mexico Cyprus Liechtenstein Swaziland Djibouti Duchy of Holstein Moldavia Bangladesh Rwanda Democratic Republic of the Congo Niger Nigeria Namibia Estonia Burkina Faso Burundi Benin Botswana Nauru Chile Palau Ethiopia Kenya Ghana Wallachia Trinidad and Tobago Bolivia Ukraine Czech Republic Latvia Republic of Moldova Lesotho Slovenia Romania Fatimid caliphate Duchy of Saxony Lithuania Principality of Wales Mali Principality of Minsk Bhutan Angola Guinea-Bissau Guinea Gambia Malaysia Saxe-Jena Cameroon Côte d'Ivoire Republic of the Congo Comoros Kingdom of Galicia–Volhynia Samoa Principality of Catalonia Niue Duchy of Zaslawye Vanuatu Great Moravia Saint Lucia Spain East Timor Principality of Transylvania Principality of Goroden Grand Duchy of Tuscany Duchy of Brabant Principality of Vitebsk Turkmenistan Egypt Saxe-Eisenach Uruguay Syria United Arab Emirates Guatemala Tunisia Kuwait Jordan Madagascar Kyrgyzstan Liberia Libya Margraviate of Brandenburg Cape Verde Togo Tonga Umayyad Caliphate Electorate of Hesse Sao Tomé and Príncipe Tuvalu New Caledonia Central African Republic Duchy of Mecklenburg-Schwerin Tajikistan Sudan Thailand Duchy of Savoy Zambia
Italy Brazil Georgia
action approx
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type school
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type building
action count
action filter_multi_types
action find_reverse
entity Nassau-Siegen
relation country
type school
type building
[[{'concept': 'school'}, {'concept': 'building'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { ?v property:country resource:Nassau-Siegen . { { ?v rdf:type ontology:building } UNION { ?v rdf:type ontology:school } } } } . FILTER ( ?f = ?a ) . { SELECT DISTINCT ( COUNT ( ?s ) AS ?f ) ?l WHERE { ?s rdf:type ?w . VALUES ( ?w ) { ( ontology:building ) ( ontology:school ) } } GROUP BY ?l } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q38
P137
Q41176 Q2424752
USER
How many buildings and products can be described as service operator of Italy ?
(c(Q41176),P137,Q38) (c(Q2424752),P137,Q38)
action count
action union
action filter_type
action find_reverse
entity Q38
relation P137
type Q41176
action filter_type
action find_reverse
entity Q38
relation P137
type Q2424752
[{'concept': 'Q41176'}, 'P137', 'Q38'] [{'concept': 'Q2424752'}, 'P137', 'Q38']
SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { { ?p property:P137 resource:Q38 . ?p rdf:type ontology:Q41176 } UNION { ?p property:P137 resource:Q38 . ?p rdf:type ontology:Q2424752 } }
Italy
action count
action union
action filter_type
action find_reverse
entity Italy
relation operator
type building
action filter_type
action find_reverse
entity Italy
relation operator
type product
[{'concept': 'building'}, 'operator', 'Italy'] [{'concept': 'product'}, 'operator', 'Italy']
SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { { ?p property:operator resource:Italy . ?p rdf:type ontology:building } UNION { ?p property:operator resource:Italy . ?p rdf:type ontology:product } }
[]
building product
SYSTEM
1 buildings and 3 products
Q18011004 Q18011028 Q15820508 Q17506021
(c(Q41176),P137,Q38) (c(Q2424752),P137,Q38)
action count
action union
action filter_type
action find_reverse
entity Q38
relation P137
type Q41176
action filter_type
action find_reverse
entity Q38
relation P137
type Q2424752
[ANSWER]
[{'concept': 'Q41176'}, 'P137', 'Q38'] [{'concept': 'Q2424752'}, 'P137', 'Q38']
SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { { ?p property:P137 resource:Q38 . ?p rdf:type ontology:Q41176 } UNION { ?p property:P137 resource:Q38 . ?p rdf:type ontology:Q2424752 } }
MB-326D MB-326E Embassy of Italy, Madrid AMX-A
1 buildings and 3 products
action count
action union
action filter_type
action find_reverse
entity Italy
relation operator
type building
action filter_type
action find_reverse
entity Italy
relation operator
type product
[{'concept': 'building'}, 'operator', 'Italy'] [{'concept': 'product'}, 'operator', 'Italy']
SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { { ?p property:operator resource:Italy . ?p rdf:type ontology:building } UNION { ?p property:operator resource:Italy . ?p rdf:type ontology:product } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q750
P495
Q15617994 Q838948 Q2088357
USER
How many administrative territories are the countries of origin of lesser number of works of art and musical ensembles than Bolivia ?
(c(Q838948)|c(Q2088357),P495,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q838948
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q2088357
action count
action filter_multi_types
action find_reverse
entity Q750
relation P495
type Q838948
type Q2088357
[[{'concept': 'Q838948'}, {'concept': 'Q2088357'}], 'P495', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?o ) WHERE { { SELECT DISTINCT ?j ( COUNT ( ?w ) AS ?l ) WHERE { { ?w property:P495 ?j . ?w rdf:type ontology:Q838948 . ?j rdf:type ontology:Q15617994 } UNION { ?w property:P495 ?j . ?j rdf:type ontology:Q15617994 . ?w rdf:type ontology:Q2088357 } } GROUP BY ?j } . FILTER ( ?l < ?t ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?t ) WHERE { ?n property:P495 resource:Q750 . { { ?n rdf:type ontology:Q838948 } UNION { ?n rdf:type ontology:Q2088357 } } } } }
Bolivia
action count
action less
action union
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type work of art
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type musical ensemble
action count
action filter_multi_types
action find_reverse
entity Bolivia
relation country of origin
type work of art
type musical ensemble
[[{'concept': 'work of art'}, {'concept': 'musical ensemble'}], 'country of origin', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?o ) WHERE { { SELECT DISTINCT ?j ( COUNT ( ?w ) AS ?l ) WHERE { { ?w property:country_of_origin ?j . ?w rdf:type ontology:work_of_art . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?w property:country_of_origin ?j . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity . ?w rdf:type ontology:musical_ensemble } } GROUP BY ?j } . FILTER ( ?l < ?t ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?t ) WHERE { ?n property:country_of_origin resource:Bolivia . { { ?n rdf:type ontology:work_of_art } UNION { ?n rdf:type ontology:musical_ensemble } } } } }
[]
designation for an administrative territorial entity work of art musical ensemble
SYSTEM
101
Q805 Q804 Q800 Q1462 Q12536 Q783 Q265 Q36678 Q712 Q711 Q1460 Q399 Q398 Q657 Q792 Q790 Q4628 Q796 Q954 Q889 Q958 Q986 Q826 Q242 Q244 Q811 Q153136 Q924 Q423 Q983 Q851 Q733 Q29999 Q819 Q730 Q1013 Q159626 Q236 Q230 Q232 Q233 Q238 Q1045 Q1044 Q921 Q1049 Q1025 Q1027 Q1020 Q184 Q1029 Q736 Q786 Q227 Q223 Q221 Q229 Q347 Q1036 Q1037 Q974 Q1032 Q1030 Q965 Q967 Q962 Q963 Q115 Q114 Q117 Q754 Q217 Q912 Q917 Q916 Q1007 Q1006 Q1005 Q1009 Q1008 Q971 Q970 Q239502 Q686 Q574 Q874 Q858 Q878 Q774 Q817 Q810 Q1019 Q813 Q1014 Q1016 Q1011 Q945 Q672 Q176 Q863 Q953
(c(Q838948)|c(Q2088357),P495,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q838948
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q2088357
action count
action filter_multi_types
action find_reverse
entity Q750
relation P495
type Q838948
type Q2088357
[ANSWER]
[[{'concept': 'Q838948'}, {'concept': 'Q2088357'}], 'P495', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?o ) WHERE { { SELECT DISTINCT ?j ( COUNT ( ?w ) AS ?l ) WHERE { { ?w property:P495 ?j . ?w rdf:type ontology:Q838948 . ?j rdf:type ontology:Q15617994 } UNION { ?w property:P495 ?j . ?j rdf:type ontology:Q15617994 . ?w rdf:type ontology:Q2088357 } } GROUP BY ?j } . FILTER ( ?l < ?t ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?t ) WHERE { ?n property:P495 resource:Q750 . { { ?n rdf:type ontology:Q838948 } UNION { ?n rdf:type ontology:Q2088357 } } } } }
Yemen Panama Costa Rica Sardinia Abbasid caliphate Honduras Uzbekistan West Bank Fiji Mongolia Sicily Armenia Bahrain Chad El Salvador Haiti Faroe Islands Iraq Zimbabwe Afghanistan South Sudan Eritrea Maldives Belize Barbados Nicaragua Habsburg Empire Tanzania North Korea Equatorial Guinea Saudi Arabia Paraguay Kingdom of the Netherlands Laos Suriname Lesotho Württemberg Montenegro Georgia Kazakhstan Malta San Marino Somalia Sierra Leone Brunei Sudan Mauritania Mauritius Malawi Belarus Mozambique Ecuador Dominican Republic Azerbaijan Greenland Republic of Macedonia Cyprus Liechtenstein Uganda Rwanda Democratic Republic of the Congo Niger Namibia Burkina Faso Burundi Benin Botswana Ethiopia Kenya Ghana Trinidad and Tobago Republic of Moldova Mali Bhutan Angola Guinea-Bissau Guinea Gambia Cameroon Côte d'Ivoire Republic of the Congo Comoros Kingdom of Galicia–Volhynia Vanuatu East Timor Turkmenistan Syria United Arab Emirates Guatemala Kuwait Jordan Madagascar Kyrgyzstan Liberia Libya Cape Verde Togo Tuvalu Quebec Tajikistan Zambia
101
action count
action less
action union
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type work of art
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type musical ensemble
action count
action filter_multi_types
action find_reverse
entity Bolivia
relation country of origin
type work of art
type musical ensemble
[[{'concept': 'work of art'}, {'concept': 'musical ensemble'}], 'country of origin', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?o ) WHERE { { SELECT DISTINCT ?j ( COUNT ( ?w ) AS ?l ) WHERE { { ?w property:country_of_origin ?j . ?w rdf:type ontology:work_of_art . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?w property:country_of_origin ?j . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity . ?w rdf:type ontology:musical_ensemble } } GROUP BY ?j } . FILTER ( ?l < ?t ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?t ) WHERE { ?n property:country_of_origin resource:Bolivia . { { ?n rdf:type ontology:work_of_art } UNION { ?n rdf:type ontology:musical_ensemble } } } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q398
P495
Q15617994 Q838948 Q2088357
USER
And what about Bahrain?
(c(Q838948)|c(Q2088357),P495,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q838948
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q2088357
action count
action filter_multi_types
action find_reverse
entity Q398
relation P495
type Q838948
type Q2088357
[[{'concept': 'Q838948'}, {'concept': 'Q2088357'}], 'P495', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?o ) WHERE { { SELECT DISTINCT ( COUNT ( ?d ) AS ?y ) ?c WHERE { VALUES ( ?n ) { ( ontology:Q2088357 ) ( ontology:Q838948 ) } . ?d rdf:type ?n } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?v ) WHERE { ?l property:P495 resource:Q398 . { { ?l rdf:type ontology:Q838948 } UNION { ?l rdf:type ontology:Q2088357 } } } } . FILTER ( ?y < ?v ) }
Bahrain
action count
action less
action union
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type work of art
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type musical ensemble
action count
action filter_multi_types
action find_reverse
entity Bahrain
relation country of origin
type work of art
type musical ensemble
[[{'concept': 'work of art'}, {'concept': 'musical ensemble'}], 'country of origin', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?o ) WHERE { { SELECT DISTINCT ( COUNT ( ?d ) AS ?y ) ?c WHERE { VALUES ( ?n ) { ( ontology:musical_ensemble ) ( ontology:work_of_art ) } . ?d rdf:type ?n } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?v ) WHERE { ?l property:country_of_origin resource:Bahrain . { { ?l rdf:type ontology:work_of_art } UNION { ?l rdf:type ontology:musical_ensemble } } } } . FILTER ( ?y < ?v ) }
[]
designation for an administrative territorial entity work of art musical ensemble
SYSTEM
60
Q805 Q1462 Q12536 Q783 Q265 Q36678 Q712 Q1460 Q657 Q792 Q4628 Q954 Q958 Q986 Q242 Q244 Q811 Q153136 Q924 Q983 Q29999 Q819 Q730 Q1013 Q159626 Q233 Q238 Q1045 Q1044 Q921 Q1049 Q1025 Q1020 Q223 Q347 Q1030 Q967 Q962 Q963 Q916 Q1007 Q1006 Q1005 Q971 Q970 Q239502 Q686 Q574 Q874 Q817 Q810 Q1019 Q1014 Q1016 Q1011 Q945 Q672 Q176 Q863 Q953
(c(Q838948)|c(Q2088357),P495,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q838948
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q2088357
action count
action filter_multi_types
action find_reverse
entity Q398
relation P495
type Q838948
type Q2088357
[ANSWER]
[[{'concept': 'Q838948'}, {'concept': 'Q2088357'}], 'P495', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?o ) WHERE { { SELECT DISTINCT ( COUNT ( ?d ) AS ?y ) ?c WHERE { VALUES ( ?n ) { ( ontology:Q2088357 ) ( ontology:Q838948 ) } . ?d rdf:type ?n } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?v ) WHERE { ?l property:P495 resource:Q398 . { { ?l rdf:type ontology:Q838948 } UNION { ?l rdf:type ontology:Q2088357 } } } } . FILTER ( ?y < ?v ) }
Yemen Sardinia Abbasid caliphate Honduras Uzbekistan West Bank Fiji Sicily Chad El Salvador Faroe Islands Zimbabwe South Sudan Eritrea Belize Barbados Nicaragua Habsburg Empire Tanzania Equatorial Guinea Kingdom of the Netherlands Laos Suriname Lesotho Württemberg Malta San Marino Somalia Sierra Leone Brunei Sudan Mauritania Malawi Greenland Liechtenstein Namibia Burundi Benin Botswana Angola Guinea-Bissau Guinea Gambia Republic of the Congo Comoros Kingdom of Galicia–Volhynia Vanuatu East Timor Turkmenistan Kuwait Jordan Madagascar Liberia Libya Cape Verde Togo Tuvalu Quebec Tajikistan Zambia
60
action count
action less
action union
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type work of art
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type musical ensemble
action count
action filter_multi_types
action find_reverse
entity Bahrain
relation country of origin
type work of art
type musical ensemble
[[{'concept': 'work of art'}, {'concept': 'musical ensemble'}], 'country of origin', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?o ) WHERE { { SELECT DISTINCT ( COUNT ( ?d ) AS ?y ) ?c WHERE { VALUES ( ?n ) { ( ontology:musical_ensemble ) ( ontology:work_of_art ) } . ?d rdf:type ?n } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?v ) WHERE { ?l property:country_of_origin resource:Bahrain . { { ?l rdf:type ontology:work_of_art } UNION { ?l rdf:type ontology:musical_ensemble } } } } . FILTER ( ?y < ?v ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q145
P47
Q1048835
USER
Which political territory is next to the border of United Kingdom ?
(c(Q1048835),P47,Q145)
action filter_type
action find
entity Q145
relation P47
type Q1048835
[{'concept': 'Q1048835'}, 'P47', 'Q145']
SELECT DISTINCT ?o WHERE { resource:Q145 property:P47 ?o . ?o rdf:type ontology:Q1048835 }
United Kingdom
action filter_type
action find
entity United Kingdom
relation shares border with
type political territorial entity
[{'concept': 'political territorial entity'}, 'shares border with', 'United Kingdom']
SELECT DISTINCT ?o WHERE { resource:United_Kingdom property:shares_border_with ?o . ?o rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q35
SYSTEM
Denmark
Q35
(c(Q1048835),P47,Q145)
action filter_type
action find
entity Q145
relation P47
type Q1048835
[ANSWER] is next to the border of United Kingdom
[{'concept': 'Q1048835'}, 'P47', 'Q145']
SELECT DISTINCT ?o WHERE { resource:Q145 property:P47 ?o . ?o rdf:type ontology:Q1048835 }
Denmark
Denmark is next to the border of United Kingdom
Denmark
action filter_type
action find
entity United Kingdom
relation shares border with
type political territorial entity
[{'concept': 'political territorial entity'}, 'shares border with', 'United Kingdom']
SELECT DISTINCT ?o WHERE { resource:United_Kingdom property:shares_border_with ?o . ?o rdf:type ontology:political_territorial_entity }
[]