Simple Question (Direct)
Simple Question
Q672
P17
Q15617994
USER
Which administrative territory is Tuvalu located in ?
(Q672,P17,c(Q15617994))
action filter_type
action find
entity Q672
relation P17
type Q15617994
['Q672', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?l WHERE { resource:Q672 property:P17 ?l . ?l rdf:type ontology:Q15617994 }
Tuvalu
action filter_type
action find
entity Tuvalu
relation country
type designation for an administrative territorial entity
['Tuvalu', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?l WHERE { resource:Tuvalu property:country ?l . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q672
SYSTEM
Tuvalu
Q672
(Q672,P17,c(Q15617994))
action filter_type
action find
entity Q672
relation P17
type Q15617994
[ANSWER] is located in [ANSWER]
['Q672', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?l WHERE { resource:Q672 property:P17 ?l . ?l rdf:type ontology:Q15617994 }
Tuvalu
Tuvalu is located in Tuvalu
Tuvalu
action filter_type
action find
entity Tuvalu
relation country
type designation for an administrative territorial entity
['Tuvalu', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?l WHERE { resource:Tuvalu property:country ?l . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q672
P495
Q838948
USER
What originates at that administrative territory ?
(c(Q838948),P495,Q672)
action filter_type
action find_reverse
entity Q672
relation P495
type Q838948
[{'concept': 'Q838948'}, 'P495', 'Q672']
SELECT DISTINCT ?i WHERE { ?i property:P495 resource:Q672 . ?i rdf:type ontology:Q838948 }
Tuvalu
action filter_type
action find_reverse
entity Tuvalu
relation country of origin
type work of art
[{'concept': 'work of art'}, 'country of origin', 'Tuvalu']
SELECT DISTINCT ?i WHERE { ?i property:country_of_origin resource:Tuvalu . ?i rdf:type ontology:work_of_art }
[]
work of art
Q19963498
SYSTEM
ThuleTuvalu
Q19963498
(c(Q838948),P495,Q672)
action filter_type
action find_reverse
entity Q672
relation P495
type Q838948
[ANSWER] originates at that administrative territory
[{'concept': 'Q838948'}, 'P495', 'Q672']
SELECT DISTINCT ?i WHERE { ?i property:P495 resource:Q672 . ?i rdf:type ontology:Q838948 }
ThuleTuvalu
ThuleTuvalu originates at that administrative territory
ThuleTuvalu
action filter_type
action find_reverse
entity Tuvalu
relation country of origin
type work of art
[{'concept': 'work of art'}, 'country of origin', 'Tuvalu']
SELECT DISTINCT ?i WHERE { ?i property:country_of_origin resource:Tuvalu . ?i rdf:type ontology:work_of_art }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q19963498 Q670676 Q672
P495
Q15617994
USER
Does that work of art have Schülp bei Nortorf and Tuvalu as its place of origin ?
(Q19963498,P495,Q670676) (Q19963498,P495,Q672)
action is_in
entity Q19963498
action intersection
action find_reverse
entity Q670676
relation P495
action find_reverse
entity Q672
relation P495
['Q19963498', 'P495', 'Q670676'] ['Q19963498', 'P495', 'Q672']
ASK WHERE { resource:Q19963498 property:P495 resource:Q670676 . resource:Q19963498 property:P495 resource:Q672 }
ThuleTuvalu Schülp bei Nortorf Tuvalu
action is_in
entity ThuleTuvalu
action intersection
action find_reverse
entity Schülp bei Nortorf
relation country of origin
action find_reverse
entity Tuvalu
relation country of origin
['ThuleTuvalu', 'country of origin', 'Schülp bei Nortorf'] ['ThuleTuvalu', 'country of origin', 'Tuvalu']
ASK WHERE { resource:ThuleTuvalu property:country_of_origin resource:Schülp_bei_Nortorf . resource:ThuleTuvalu property:country_of_origin resource:Tuvalu }
[]
designation for an administrative territorial entity
SYSTEM
NO and YES respectively
(Q19963498,P495,Q670676) (Q19963498,P495,Q672)
action is_in
entity Q19963498
action intersection
action find_reverse
entity Q670676
relation P495
action find_reverse
entity Q672
relation P495
[ANSWER]
['Q19963498', 'P495', 'Q670676'] ['Q19963498', 'P495', 'Q672']
ASK WHERE { resource:Q19963498 property:P495 resource:Q670676 . resource:Q19963498 property:P495 resource:Q672 }
NO and YES respectively
action is_in
entity ThuleTuvalu
action intersection
action find_reverse
entity Schülp bei Nortorf
relation country of origin
action find_reverse
entity Tuvalu
relation country of origin
['ThuleTuvalu', 'country of origin', 'Schülp bei Nortorf'] ['ThuleTuvalu', 'country of origin', 'Tuvalu']
ASK WHERE { resource:ThuleTuvalu property:country_of_origin resource:Schülp_bei_Nortorf . resource:ThuleTuvalu property:country_of_origin resource:Tuvalu }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q672 Q245213
P163
Q14660
USER
Does Flag of South Georgia and the South Sandwich Islands have Tuvalu as its flag
(Q672,P163,Q245213)
action is_in
entity Q245213
action find
entity Q672
relation P163
['Q672', 'P163', 'Q245213']
ASK WHERE { resource:Q672 property:P163 resource:Q245213 }
Tuvalu Flag of South Georgia and the South Sandwich Islands
action is_in
entity Flag of South Georgia and the South Sandwich Islands
action find
entity Tuvalu
relation flag
['Tuvalu', 'flag', 'Flag of South Georgia and the South Sandwich Islands']
ASK WHERE { resource:Tuvalu property:flag resource:Flag_of_South_Georgia_and_the_South_Sandwich_Islands }
[]
flag
SYSTEM
NO
(Q672,P163,Q245213)
action is_in
entity Q245213
action find
entity Q672
relation P163
[ANSWER]
['Q672', 'P163', 'Q245213']
ASK WHERE { resource:Q672 property:P163 resource:Q245213 }
No
action is_in
entity Flag of South Georgia and the South Sandwich Islands
action find
entity Tuvalu
relation flag
['Tuvalu', 'flag', 'Flag of South Georgia and the South Sandwich Islands']
ASK WHERE { resource:Tuvalu property:flag resource:Flag_of_South_Georgia_and_the_South_Sandwich_Islands }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q265 Q672
P463
Q484652
USER
Which international organizations were Tuvalu and Uzbekistan a member of ?
AND((Q672,P463,c(Q484652)), (Q265,P463,c(Q484652)))
action filter_type
action intersection
action find
entity Q672
relation P463
action find
entity Q265
relation P463
type Q484652
{'AND': [['Q672', 'P463', {'concept': 'Q484652'}], ['Q265', 'P463', {'concept': 'Q484652'}]]}
SELECT DISTINCT ?u WHERE { resource:Q672 property:P463 ?u . resource:Q265 property:P463 ?u . ?u rdf:type ontology:Q484652 }
Uzbekistan Tuvalu
action filter_type
action intersection
action find
entity Tuvalu
relation member of
action find
entity Uzbekistan
relation member of
type international organization
{'AND': [['Tuvalu', 'member of', {'concept': 'international organization'}], ['Uzbekistan', 'member of', {'concept': 'international organization'}]]}
SELECT DISTINCT ?u WHERE { resource:Tuvalu property:member_of ?u . resource:Uzbekistan property:member_of ?u . ?u rdf:type ontology:international_organization }
[]
international organization
Q1065 Q188822
SYSTEM
United Nations, Asian Development Bank
Q1065 Q188822
AND((Q672,P463,c(Q484652)), (Q265,P463,c(Q484652)))
action filter_type
action intersection
action find
entity Q672
relation P463
action find
entity Q265
relation P463
type Q484652
Were [ANSWERS] were Tuvalu and Uzbekistan a member of
{'AND': [['Q672', 'P463', {'concept': 'Q484652'}], ['Q265', 'P463', {'concept': 'Q484652'}]]}
SELECT DISTINCT ?u WHERE { resource:Q672 property:P463 ?u . resource:Q265 property:P463 ?u . ?u rdf:type ontology:Q484652 }
United Nations Asian Development Bank
Were United Nations and Asian Development Bank were Tuvalu and Uzbekistan a member of
United Nations Asian Development Bank
action filter_type
action intersection
action find
entity Tuvalu
relation member of
action find
entity Uzbekistan
relation member of
type international organization
{'AND': [['Tuvalu', 'member of', {'concept': 'international organization'}], ['Uzbekistan', 'member of', {'concept': 'international organization'}]]}
SELECT DISTINCT ?u WHERE { resource:Tuvalu property:member_of ?u . resource:Uzbekistan property:member_of ?u . ?u rdf:type ontology:international_organization }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P17
Q15617994 Q2668072 Q2385804
USER
How many administrative territories are atmost 3959 collections and educational institutions a part of ?
(c(Q2668072)|c(Q2385804),P17,c(Q15617994))
action count
action atmost
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q2668072
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q2385804
value 3959
[[{'concept': 'Q2668072'}, {'concept': 'Q2385804'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?g ) WHERE { FILTER ( ?w <= 3959 ) . { SELECT DISTINCT ( COUNT ( ?q ) AS ?w ) ?p WHERE { { ?q property:P17 ?p . ?p rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q2668072 } UNION { ?q property:P17 ?p . ?q rdf:type ontology:Q2385804 . ?p rdf:type ontology:Q15617994 } } GROUP BY ?p } }
action count
action atmost
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type collection
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type educational institution
value 3959
[[{'concept': 'collection'}, {'concept': 'educational institution'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?g ) WHERE { FILTER ( ?w <= 3959 ) . { SELECT DISTINCT ( COUNT ( ?q ) AS ?w ) ?p WHERE { { ?q property:country ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:collection } UNION { ?q property:country ?p . ?q rdf:type ontology:educational_institution . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?p } }
[]
designation for an administrative territorial entity collection educational institution
SYSTEM
235
Q702 Q804 Q801 Q800 Q1256 Q709 Q398 Q805 Q339952 Q419 Q270508 Q668 Q684030 Q2172530 Q414 Q142 Q55 Q145 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 Q17 Q704288 Q10957559 Q902 Q1036 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(Q2668072)|c(Q2385804),P17,c(Q15617994))
action count
action atmost
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q2668072
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q2385804
value 3959
[ANSWER]
[[{'concept': 'Q2668072'}, {'concept': 'Q2385804'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?g ) WHERE { FILTER ( ?w <= 3959 ) . { SELECT DISTINCT ( COUNT ( ?q ) AS ?w ) ?p WHERE { { ?q property:P17 ?p . ?p rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q2668072 } UNION { ?q property:P17 ?p . ?q rdf:type ontology:Q2385804 . ?p rdf:type ontology:Q15617994 } } GROUP BY ?p } }
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 France Netherlands United Kingdom 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 Japan Duchy of Holstein Moldavia Bangladesh Uganda 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
235
action count
action atmost
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type collection
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type educational institution
value 3959
[[{'concept': 'collection'}, {'concept': 'educational institution'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?g ) WHERE { FILTER ( ?w <= 3959 ) . { SELECT DISTINCT ( COUNT ( ?q ) AS ?w ) ?p WHERE { { ?q property:country ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:collection } UNION { ?q property:country ?p . ?q rdf:type ontology:educational_institution . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?p } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q313
P398
Q179600
USER
Which stellar classification has a child astronomical body called Venus ?
(c(Q179600),P398,Q313)
action filter_type
action find_reverse
entity Q313
relation P398
type Q179600
[{'concept': 'Q179600'}, 'P398', 'Q313']
SELECT DISTINCT ?d WHERE { ?d property:P398 resource:Q313 . ?d rdf:type ontology:Q179600 }
Venus
action filter_type
action find_reverse
entity Venus
relation child astronomical body
type stellar classification
[{'concept': 'stellar classification'}, 'child astronomical body', 'Venus']
SELECT DISTINCT ?d WHERE { ?d property:child_astronomical_body resource:Venus . ?d rdf:type ontology:stellar_classification }
[]
stellar classification
Q525
SYSTEM
Sun
Q525
(c(Q179600),P398,Q313)
action filter_type
action find_reverse
entity Q313
relation P398
type Q179600
[ANSWER] has a child astronomical body called Venus
[{'concept': 'Q179600'}, 'P398', 'Q313']
SELECT DISTINCT ?d WHERE { ?d property:P398 resource:Q313 . ?d rdf:type ontology:Q179600 }
Sun
Sun has a child astronomical body called Venus
Sun
action filter_type
action find_reverse
entity Venus
relation child astronomical body
type stellar classification
[{'concept': 'stellar classification'}, 'child astronomical body', 'Venus']
SELECT DISTINCT ?d WHERE { ?d property:child_astronomical_body resource:Venus . ?d rdf:type ontology:stellar_classification }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q525
P921
Q2342494
USER
Which collectable has that stellar classification as its main topic ?
(c(Q2342494),P921,Q525)
action filter_type
action find_reverse
entity Q525
relation P921
type Q2342494
[{'concept': 'Q2342494'}, 'P921', 'Q525']
SELECT DISTINCT ?i WHERE { ?i property:P921 resource:Q525 . ?i rdf:type ontology:Q2342494 }
Sun
action filter_type
action find_reverse
entity Sun
relation main subject
type collectable
[{'concept': 'collectable'}, 'main subject', 'Sun']
SELECT DISTINCT ?i WHERE { ?i property:main_subject resource:Sun . ?i rdf:type ontology:collectable }
[]
collectable
Q20966469
SYSTEM
Solar Tables
Q20966469
(c(Q2342494),P921,Q525)
action filter_type
action find_reverse
entity Q525
relation P921
type Q2342494
[ANSWER] has that stellar classification as its main topic
[{'concept': 'Q2342494'}, 'P921', 'Q525']
SELECT DISTINCT ?i WHERE { ?i property:P921 resource:Q525 . ?i rdf:type ontology:Q2342494 }
Solar Tables
Solar Tables has that stellar classification as its main topic
Solar Tables
action filter_type
action find_reverse
entity Sun
relation main subject
type collectable
[{'concept': 'collectable'}, 'main subject', 'Sun']
SELECT DISTINCT ?i WHERE { ?i property:main_subject resource:Sun . ?i rdf:type ontology:collectable }
[]