Simple Question (Direct)
Simple Question
Q2382540
P27
Q15617994
USER
Which administrative territory is the native country of William Le Roy Emmet ?
(Q2382540,P27,c(Q15617994))
action filter_type
action find
entity Q2382540
relation P27
type Q15617994
['Q2382540', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { resource:Q2382540 property:P27 ?f . ?f rdf:type ontology:Q15617994 }
William Le Roy Emmet
action filter_type
action find
entity William Le Roy Emmet
relation country of citizenship
type designation for an administrative territorial entity
['William Le Roy Emmet', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:William_Le_Roy_Emmet property:country_of_citizenship ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q30
SYSTEM
United States of America
Q30
(Q2382540,P27,c(Q15617994))
action filter_type
action find
entity Q2382540
relation P27
type Q15617994
The [ANSWER] is the native country of William Le Roy Emmet
['Q2382540', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { resource:Q2382540 property:P27 ?f . ?f rdf:type ontology:Q15617994 }
United States of America
The United States of America is the native country of William Le Roy Emmet
United States of America
action filter_type
action find
entity William Le Roy Emmet
relation country of citizenship
type designation for an administrative territorial entity
['William Le Roy Emmet', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:William_Le_Roy_Emmet property:country_of_citizenship ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q30
P610
Q14524493
USER
Which is the highest peak of that administrative territory ?
(Q30,P610,c(Q14524493))
action filter_type
action find
entity Q30
relation P610
type Q14524493
['Q30', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q14524493 . resource:Q30 property:P610 ?z }
United States of America
action filter_type
action find
entity United States of America
relation highest point
type terrain
['United States of America', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:terrain . resource:United_States_of_America property:highest_point ?z }
[]
terrain
Q130018
SYSTEM
Denali
Q130018
(Q30,P610,c(Q14524493))
action filter_type
action find
entity Q30
relation P610
type Q14524493
The highest peak of that administrative territory is Mount [ANSWER]
['Q30', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q14524493 . resource:Q30 property:P610 ?z }
Denali
The highest peak of that administrative territory is Mount Denali
Denali
action filter_type
action find
entity United States of America
relation highest point
type terrain
['United States of America', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:terrain . resource:United_States_of_America property:highest_point ?z }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q130018 Q30
P17
Q15617994
USER
Is that terrain situated in United States of America ?
(Q130018,P17,Q30)
action is_in
entity Q30
action find
entity Q130018
relation P17
['Q130018', 'P17', 'Q30']
ASK WHERE { resource:Q130018 property:P17 resource:Q30 }
Denali United States of America
action is_in
entity United States of America
action find
entity Denali
relation country
['Denali', 'country', 'United States of America']
ASK WHERE { resource:Denali property:country resource:United_States_of_America }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q130018,P17,Q30)
action is_in
entity Q30
action find
entity Q130018
relation P17
[ANSWER]
['Q130018', 'P17', 'Q30']
ASK WHERE { resource:Q130018 property:P17 resource:Q30 }
Yes
action is_in
entity United States of America
action find
entity Denali
relation country
['Denali', 'country', 'United States of America']
ASK WHERE { resource:Denali property:country resource:United_States_of_America }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q10728382
P138
Q14524493 Q15617994 Q811430
USER
Which terrains are approximately the same number of administrative territories and constructions named after as Dun Mountain ?
(c(Q15617994)|c(Q811430),P138,c(Q14524493))
action approx
action union
action find_reverse_tuple_counts
relation P138
type Q14524493
type Q15617994
action find_reverse_tuple_counts
relation P138
type Q14524493
type Q811430
action count
action filter_multi_types
action find_reverse
entity Q10728382
relation P138
type Q15617994
type Q811430
[[{'concept': 'Q15617994'}, {'concept': 'Q811430'}], 'P138', {'concept': 'Q14524493'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?n ) AS ?r ) ?l WHERE { VALUES ( ?c ) { ( ontology:Q15617994 ) ( ontology:Q811430 ) } . ?n rdf:type ?c } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) WHERE { ?k property:P138 resource:Q10728382 . { ?k rdf:type ?h . VALUES ( ?h ) { ( ontology:Q15617994 ) ( ontology:Q811430 ) } } } } . FILTER ( ?r = ?e ) }
Dun Mountain
action approx
action union
action find_reverse_tuple_counts
relation named after
type terrain
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation named after
type terrain
type construction
action count
action filter_multi_types
action find_reverse
entity Dun Mountain
relation named after
type designation for an administrative territorial entity
type construction
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'construction'}], 'named after', {'concept': 'terrain'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?n ) AS ?r ) ?l WHERE { VALUES ( ?c ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:construction ) } . ?n rdf:type ?c } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) WHERE { ?k property:named_after resource:Dun_Mountain . { ?k rdf:type ?h . VALUES ( ?h ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:construction ) } } } } . FILTER ( ?r = ?e ) }
[]
terrain designation for an administrative territorial entity construction
Q130018 Q39739 Q194057
SYSTEM
Denali, Aconcagua, Mount Rainier
Q1483090 Q748040 Q130018 Q15814019 Q39739 Q437936 Q850051 Q207680 Q1301548 Q11621750 Q956785 Q16831633 Q312818 Q215516 Q20875342 Q198751 Q134927 Q3133588 Q314735 Q13676863 Q765482 Q371103 Q1836325 Q1334215 Q1425309 Q1329959 Q2568263 Q76309 Q217274 Q10670194 Q16532 Q2631149 Q6924093 Q959258 Q2649320 Q1545974 Q889136 Q1754806 Q3695513 Q703922 Q692712 Q881713 Q11437581 Q2392222 Q129296 Q1124852 Q1139060 Q770496 Q747656 Q256254 Q12881294 Q714555 Q217142 Q6583744 Q2607651 Q662715 Q650549 Q1623447 Q73077 Q1269725 Q1374 Q264772 Q105261 Q3303392 Q427604 Q21964389 Q1487002 Q1583095 Q1757192 Q21938901 Q4691173 Q131148 Q152933 Q1584890 Q654413 Q665042 Q415251 Q276057 Q715498 Q4863102 Q17630180 Q714564 Q2008252 Q303806 Q1374401 Q994059 Q1887525 Q1623742 Q1318242 Q17088970 Q2058032 Q1260256 Q15735687 Q1647370 Q22454092 Q720209 Q6922798 Q700092 Q1348310 Q7188265 Q23942339 Q1877583 Q772492 Q1529000 Q960584 Q7430650 Q173880 Q1948974 Q2859578 Q2717091 Q1277 Q6921615 Q1018050 Q1312633 Q164561 Q21095014 Q673588 Q4026928 Q5059 Q1048234 Q1545475 Q557396 Q1698912 Q3321856 Q1152462 Q561875 Q882640 Q1334825 Q1250197 Q3323131 Q1593629 Q10728382 Q1191690 Q19637278 Q2427038 Q178443 Q1858056 Q464548 Q1801917 Q155030 Q994071 Q23802895 Q22952269 Q2134379 Q845990 Q7188244 Q653527 Q2533631 Q1404075 Q1723186 Q1637353 Q2480072 Q43299 Q724498 Q15115444 Q14901739 Q641162 Q1886926 Q23645196 Q878081 Q825347 Q3695989 Q2256785 Q1149842 Q1548733 Q2436069 Q194057 Q13359059 Q673994 Q1538755 Q1950508 Q2731464 Q193785 Q17541 Q207323 Q15118162 Q1545452 Q188698 Q24273487 Q1723931 Q3174863 Q594147 Q6864195 Q1623814 Q835407 Q126804 Q43105 Q650402 Q1733970 Q667371 Q247726 Q827395 Q16524 Q16529 Q499521 Q458147 Q1542964 Q1448901 Q859718 Q18702542 Q985449 Q238147 Q577122 Q1254237 Q8553272 Q1237053 Q872247 Q419247 Q943209 Q23839192 Q22462853 Q107635 Q1138090 Q316401 Q714605 Q729873 Q1760736 Q1642362 Q671265 Q1930174 Q523663 Q528048 Q1422899 Q1713975 Q669271 Q23835377 Q3047571 Q666046 Q6435051 Q1879915 Q21091445 Q6583727 Q671486 Q2301875
(c(Q15617994)|c(Q811430),P138,c(Q14524493))
action approx
action union
action find_reverse_tuple_counts
relation P138
type Q14524493
type Q15617994
action find_reverse_tuple_counts
relation P138
type Q14524493
type Q811430
action count
action filter_multi_types
action find_reverse
entity Q10728382
relation P138
type Q15617994
type Q811430
[ANSWERS] are approximately the same number of administrative territories and constructions named after as Dun Mountain
[[{'concept': 'Q15617994'}, {'concept': 'Q811430'}], 'P138', {'concept': 'Q14524493'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?n ) AS ?r ) ?l WHERE { VALUES ( ?c ) { ( ontology:Q15617994 ) ( ontology:Q811430 ) } . ?n rdf:type ?c } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) WHERE { ?k property:P138 resource:Q10728382 . { ?k rdf:type ?h . VALUES ( ?h ) { ( ontology:Q15617994 ) ( ontology:Q811430 ) } } } } . FILTER ( ?r = ?e ) }
Fürstenberg Mount Hiei Denali Wolkenburg Aconcagua Alter Gleisberg Mount Taranaki Mount Kazbek Eichenberg Rengedake Roque de los Muchachos Grottenberg Mount Scopus Mount Helicon Ustur Ziegenberg Mount Emei Mount Norikura Wurmberg Khao Kho Mont Saint-Bruno Loma Prieta Mont Aigoual Monte Soratte Wilzenberg Mount Takao Wiedegge Mount Pelée Eldfell Skinnarviksberget Schrattenfluh Monte Velino Mount Teshio Alluaiv mount Allmen Jusi Bockberg Mount Ontake Mount Akaishi Drachenfels Hegau Blaník Otakineyama Mount Fisht Santorini El Capitan Pic du Midi de Bigorre Mount Saint Elias Galya-tető Hörnle Bezovec Mount Rausu Snowdon Phu Ruea Monts d'Arrée Kondyor massif Schauinsland Hohe Burg Pic du Midi d'Ossau Ménez-Hom Matterhorn Schlern Mount Parnassus Maïdo Petřín Dome Rock Homert Heukenberg Kleť Kaiserstuhl Agamenticus Stromboli Petersberg Kahle Pön Bogd Khan Mountain Piz Palü Mount Akagi The Blorenge Daisen Barr Beacon Umango Mountains Mount Shari Pelister Aavasaksa Uzon Brunsberg Mallestiger Mittagskogel Hohenkrähen Olsberg Sterling Hill Mount Trebeshinë Kappelberg Reichenberger Höhe Molbecke Falotta Bukit Timah Mount Piyashiri Hohentwiel Mount Kongō Phu Soi Dao Murunskii massif Luossavaara Mount Jefferson Glacier Peak Mont d'Or Scawt Hill Spitzberg Moschel mountain Aravis Mount Ortigara Rhaetian Alps Mount Kearsarge Butterberg Eisenberg Fichtelberg Gora Dzhulu Druesberg Nihondaira Mount Cook Kamikōchi Greifensteine Mount Tomi Johannisegge Mount Gosford Scherbadung Kahler Asten Kiekeberg Pelion Großer Staufenberg monts d'Or Heeseberg Dun Mountain Mount Haruna Ile-Ile Pierre-sur-Haute Osterkopf Mount Katahdin Bussen Nordhelle Gantrisch Mount Myōgi Otto mountain Mount Ibity Raßberg Kriváň Phu Kradueng Arfak Mountains Vorbergshügel Fellhorn One Tree Hill, New Zealand Hunau Media Park Bristen Großer Ölberg Iberg Cerro Mejillones Aremberg Malberg Khao Phanom Bencha Wittekindsberg Colima Mount Ōmine Schwellenburg Lohrberg Großer Kluskopf Tippelsberg Mount Rainier Mount Diablo Nevado de Toluca Mayor Island / Tuhua Mount Hamilton Suilven Mount Tabor Victoria Peak Vulcano Langenberg Piton des Neiges Kilauea Lakargi mount Kanstein Mount Gassan Boubín Mineoka Mountain District Hohenstein Lion Rock Mount Erciyes Mount Elbrus Hornisgrinde Karlsruher Grat Mount Carleton Wasserkuppe Höwenegg Üetliberg Calanda Mons Hadley Hoher Meissner Khao Luang Pangaion Hills Cerro Paranal Piszkés-tető Laurium Pico de Orizaba Gellért Hill Drachenfels Rüenhardt Poppenberg Westerberg Akita-Komagatake Solfatara Rasvumchorr mount Itsi range Baekdu Mountain Shōwa-shinzan Feldberg Mount Bandai Mount Somma Mont Saint-Hilaire Härdler Jorat Michaelsberg Kreuzberg Monteregian Hills Hünerberg Lemberg Doi Suthep Kukisvumchorr mount Hakkōda Mountains Vulkan Eifel Kowloon Peak Löwenburg Vorlan Phu Chi Fa Bastei Água de Pau
Denali, Aconcagua and Mount Rainier are approximately the same number of administrative territories and constructions named after as Dun Mountain
Denali Aconcagua Mount Rainier
action approx
action union
action find_reverse_tuple_counts
relation named after
type terrain
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation named after
type terrain
type construction
action count
action filter_multi_types
action find_reverse
entity Dun Mountain
relation named after
type designation for an administrative territorial entity
type construction
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'construction'}], 'named after', {'concept': 'terrain'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?n ) AS ?r ) ?l WHERE { VALUES ( ?c ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:construction ) } . ?n rdf:type ?c } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) WHERE { ?k property:named_after resource:Dun_Mountain . { ?k rdf:type ?h . VALUES ( ?h ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:construction ) } } } } . FILTER ( ?r = ?e ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q1334215
P138
Q14524493 Q15617994 Q811430
USER
And also tell me about Monte Soratte?
(c(Q15617994)|c(Q811430),P138,c(Q14524493))
action approx
action union
action find_reverse_tuple_counts
relation P138
type Q14524493
type Q15617994
action find_reverse_tuple_counts
relation P138
type Q14524493
type Q811430
action count
action filter_multi_types
action find_reverse
entity Q1334215
relation P138
type Q15617994
type Q811430
[[{'concept': 'Q15617994'}, {'concept': 'Q811430'}], 'P138', {'concept': 'Q14524493'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?f ) ?d WHERE { { ?x property:P138 ?d . ?d rdf:type ontology:Q14524493 . ?x rdf:type ontology:Q15617994 } UNION { ?x property:P138 ?d . ?d rdf:type ontology:Q14524493 . ?x rdf:type ontology:Q811430 } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?p ) WHERE { ?a property:P138 resource:Q1334215 . { { ?a rdf:type ontology:Q15617994 } UNION { ?a rdf:type ontology:Q811430 } } } } . FILTER ( ?f = ?p ) }
Monte Soratte
action approx
action union
action find_reverse_tuple_counts
relation named after
type terrain
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation named after
type terrain
type construction
action count
action filter_multi_types
action find_reverse
entity Monte Soratte
relation named after
type designation for an administrative territorial entity
type construction
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'construction'}], 'named after', {'concept': 'terrain'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?f ) ?d WHERE { { ?x property:named_after ?d . ?d rdf:type ontology:terrain . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?x property:named_after ?d . ?d rdf:type ontology:terrain . ?x rdf:type ontology:construction } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?p ) WHERE { ?a property:named_after resource:Monte_Soratte . { { ?a rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?a rdf:type ontology:construction } } } } . FILTER ( ?f = ?p ) }
[]
terrain designation for an administrative territorial entity construction
Q130018 Q39739 Q194057
SYSTEM
Denali, Aconcagua, Mount Rainier
Q1483090 Q748040 Q130018 Q15814019 Q39739 Q437936 Q850051 Q207680 Q1301548 Q11621750 Q956785 Q16831633 Q312818 Q215516 Q20875342 Q198751 Q134927 Q3133588 Q314735 Q13676863 Q765482 Q371103 Q1836325 Q1334215 Q1425309 Q1329959 Q2568263 Q76309 Q217274 Q10670194 Q16532 Q2631149 Q6924093 Q959258 Q2649320 Q1545974 Q889136 Q1754806 Q3695513 Q703922 Q692712 Q881713 Q11437581 Q2392222 Q129296 Q1124852 Q1139060 Q770496 Q747656 Q256254 Q12881294 Q714555 Q217142 Q6583744 Q2607651 Q662715 Q650549 Q1623447 Q73077 Q1269725 Q1374 Q264772 Q105261 Q3303392 Q427604 Q21964389 Q1487002 Q1583095 Q1757192 Q21938901 Q4691173 Q131148 Q152933 Q1584890 Q654413 Q665042 Q415251 Q276057 Q715498 Q4863102 Q17630180 Q714564 Q2008252 Q303806 Q1374401 Q994059 Q1887525 Q1623742 Q1318242 Q17088970 Q2058032 Q1260256 Q15735687 Q1647370 Q22454092 Q720209 Q6922798 Q700092 Q1348310 Q7188265 Q23942339 Q1877583 Q772492 Q1529000 Q960584 Q7430650 Q173880 Q1948974 Q2859578 Q2717091 Q1277 Q6921615 Q1018050 Q1312633 Q164561 Q21095014 Q673588 Q4026928 Q5059 Q1048234 Q1545475 Q557396 Q1698912 Q3321856 Q1152462 Q561875 Q882640 Q1334825 Q1250197 Q3323131 Q1593629 Q10728382 Q1191690 Q19637278 Q2427038 Q178443 Q1858056 Q464548 Q1801917 Q155030 Q994071 Q23802895 Q22952269 Q2134379 Q845990 Q7188244 Q653527 Q2533631 Q1404075 Q1723186 Q1637353 Q2480072 Q43299 Q724498 Q15115444 Q14901739 Q641162 Q1886926 Q23645196 Q878081 Q825347 Q3695989 Q2256785 Q1149842 Q1548733 Q2436069 Q194057 Q13359059 Q673994 Q1538755 Q1950508 Q2731464 Q193785 Q17541 Q207323 Q15118162 Q1545452 Q188698 Q24273487 Q1723931 Q3174863 Q594147 Q6864195 Q1623814 Q835407 Q126804 Q43105 Q650402 Q1733970 Q667371 Q247726 Q827395 Q16524 Q16529 Q499521 Q458147 Q1542964 Q1448901 Q859718 Q18702542 Q985449 Q238147 Q577122 Q1254237 Q8553272 Q1237053 Q872247 Q419247 Q943209 Q23839192 Q22462853 Q107635 Q1138090 Q316401 Q714605 Q729873 Q1760736 Q1642362 Q671265 Q1930174 Q523663 Q528048 Q1422899 Q1713975 Q669271 Q23835377 Q3047571 Q666046 Q6435051 Q1879915 Q21091445 Q6583727 Q671486 Q2301875
(c(Q15617994)|c(Q811430),P138,c(Q14524493))
action approx
action union
action find_reverse_tuple_counts
relation P138
type Q14524493
type Q15617994
action find_reverse_tuple_counts
relation P138
type Q14524493
type Q811430
action count
action filter_multi_types
action find_reverse
entity Q1334215
relation P138
type Q15617994
type Q811430
[ANSWERS]
[[{'concept': 'Q15617994'}, {'concept': 'Q811430'}], 'P138', {'concept': 'Q14524493'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?f ) ?d WHERE { { ?x property:P138 ?d . ?d rdf:type ontology:Q14524493 . ?x rdf:type ontology:Q15617994 } UNION { ?x property:P138 ?d . ?d rdf:type ontology:Q14524493 . ?x rdf:type ontology:Q811430 } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?p ) WHERE { ?a property:P138 resource:Q1334215 . { { ?a rdf:type ontology:Q15617994 } UNION { ?a rdf:type ontology:Q811430 } } } } . FILTER ( ?f = ?p ) }
Fürstenberg Mount Hiei Denali Wolkenburg Aconcagua Alter Gleisberg Mount Taranaki Mount Kazbek Eichenberg Rengedake Roque de los Muchachos Grottenberg Mount Scopus Mount Helicon Ustur Ziegenberg Mount Emei Mount Norikura Wurmberg Khao Kho Mont Saint-Bruno Loma Prieta Mont Aigoual Monte Soratte Wilzenberg Mount Takao Wiedegge Mount Pelée Eldfell Skinnarviksberget Schrattenfluh Monte Velino Mount Teshio Alluaiv mount Allmen Jusi Bockberg Mount Ontake Mount Akaishi Drachenfels Hegau Blaník Otakineyama Mount Fisht Santorini El Capitan Pic du Midi de Bigorre Mount Saint Elias Galya-tető Hörnle Bezovec Mount Rausu Snowdon Phu Ruea Monts d'Arrée Kondyor massif Schauinsland Hohe Burg Pic du Midi d'Ossau Ménez-Hom Matterhorn Schlern Mount Parnassus Maïdo Petřín Dome Rock Homert Heukenberg Kleť Kaiserstuhl Agamenticus Stromboli Petersberg Kahle Pön Bogd Khan Mountain Piz Palü Mount Akagi The Blorenge Daisen Barr Beacon Umango Mountains Mount Shari Pelister Aavasaksa Uzon Brunsberg Mallestiger Mittagskogel Hohenkrähen Olsberg Sterling Hill Mount Trebeshinë Kappelberg Reichenberger Höhe Molbecke Falotta Bukit Timah Mount Piyashiri Hohentwiel Mount Kongō Phu Soi Dao Murunskii massif Luossavaara Mount Jefferson Glacier Peak Mont d'Or Scawt Hill Spitzberg Moschel mountain Aravis Mount Ortigara Rhaetian Alps Mount Kearsarge Butterberg Eisenberg Fichtelberg Gora Dzhulu Druesberg Nihondaira Mount Cook Kamikōchi Greifensteine Mount Tomi Johannisegge Mount Gosford Scherbadung Kahler Asten Kiekeberg Pelion Großer Staufenberg monts d'Or Heeseberg Dun Mountain Mount Haruna Ile-Ile Pierre-sur-Haute Osterkopf Mount Katahdin Bussen Nordhelle Gantrisch Mount Myōgi Otto mountain Mount Ibity Raßberg Kriváň Phu Kradueng Arfak Mountains Vorbergshügel Fellhorn One Tree Hill, New Zealand Hunau Media Park Bristen Großer Ölberg Iberg Cerro Mejillones Aremberg Malberg Khao Phanom Bencha Wittekindsberg Colima Mount Ōmine Schwellenburg Lohrberg Großer Kluskopf Tippelsberg Mount Rainier Mount Diablo Nevado de Toluca Mayor Island / Tuhua Mount Hamilton Suilven Mount Tabor Victoria Peak Vulcano Langenberg Piton des Neiges Kilauea Lakargi mount Kanstein Mount Gassan Boubín Mineoka Mountain District Hohenstein Lion Rock Mount Erciyes Mount Elbrus Hornisgrinde Karlsruher Grat Mount Carleton Wasserkuppe Höwenegg Üetliberg Calanda Mons Hadley Hoher Meissner Khao Luang Pangaion Hills Cerro Paranal Piszkés-tető Laurium Pico de Orizaba Gellért Hill Drachenfels Rüenhardt Poppenberg Westerberg Akita-Komagatake Solfatara Rasvumchorr mount Itsi range Baekdu Mountain Shōwa-shinzan Feldberg Mount Bandai Mount Somma Mont Saint-Hilaire Härdler Jorat Michaelsberg Kreuzberg Monteregian Hills Hünerberg Lemberg Doi Suthep Kukisvumchorr mount Hakkōda Mountains Vulkan Eifel Kowloon Peak Löwenburg Vorlan Phu Chi Fa Bastei Água de Pau
Denali Aconcagua Mount Rainier
action approx
action union
action find_reverse_tuple_counts
relation named after
type terrain
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation named after
type terrain
type construction
action count
action filter_multi_types
action find_reverse
entity Monte Soratte
relation named after
type designation for an administrative territorial entity
type construction
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'construction'}], 'named after', {'concept': 'terrain'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?f ) ?d WHERE { { ?x property:named_after ?d . ?d rdf:type ontology:terrain . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?x property:named_after ?d . ?d rdf:type ontology:terrain . ?x rdf:type ontology:construction } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?p ) WHERE { ?a property:named_after resource:Monte_Soratte . { { ?a rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?a rdf:type ontology:construction } } } } . FILTER ( ?f = ?p ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q30
P530
Q1048835 Q15617994
USER
How many political territories and administrative territories have diplomatic relationships with United States of America ?
(Q30,P530,c(Q1048835)) (Q30,P530,c(Q15617994))
action count
action union
action filter_type
action find
entity Q30
relation P530
type Q1048835
action filter_type
action find
entity Q30
relation P530
type Q15617994
['Q30', 'P530', {'concept': 'Q1048835'}] ['Q30', 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?v ) WHERE { { resource:Q30 property:P530 ?n . ?n rdf:type ontology:Q1048835 } UNION { resource:Q30 property:P530 ?n . ?n rdf:type ontology:Q15617994 } }
United States of America
action count
action union
action filter_type
action find
entity United States of America
relation diplomatic relation
type political territorial entity
action filter_type
action find
entity United States of America
relation diplomatic relation
type designation for an administrative territorial entity
['United States of America', 'diplomatic relation', {'concept': 'political territorial entity'}] ['United States of America', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?v ) WHERE { { resource:United_States_of_America property:diplomatic_relation ?n . ?n rdf:type ontology:political_territorial_entity } UNION { resource:United_States_of_America property:diplomatic_relation ?n . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity } }
[]
political territorial entity designation for an administrative territorial entity
SYSTEM
3 political territories and 17 administrative territories
Q805 Q38 Q159 Q222 Q801 Q155 Q148 Q183 Q796 Q17 Q408 Q16 Q37 Q889 Q668 Q403 Q1011 Q347 Q414 Q953
(Q30,P530,c(Q1048835)) (Q30,P530,c(Q15617994))
action count
action union
action filter_type
action find
entity Q30
relation P530
type Q1048835
action filter_type
action find
entity Q30
relation P530
type Q15617994
[ANSWER]
['Q30', 'P530', {'concept': 'Q1048835'}] ['Q30', 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?v ) WHERE { { resource:Q30 property:P530 ?n . ?n rdf:type ontology:Q1048835 } UNION { resource:Q30 property:P530 ?n . ?n rdf:type ontology:Q15617994 } }
Yemen Italy Russia Albania Israel Brazil People's Republic of China Germany Iraq Japan Australia Canada Lithuania Afghanistan India Serbia Cape Verde Liechtenstein Argentina Zambia
3 political territories and 17 administrative territories
action count
action union
action filter_type
action find
entity United States of America
relation diplomatic relation
type political territorial entity
action filter_type
action find
entity United States of America
relation diplomatic relation
type designation for an administrative territorial entity
['United States of America', 'diplomatic relation', {'concept': 'political territorial entity'}] ['United States of America', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?v ) WHERE { { resource:United_States_of_America property:diplomatic_relation ?n . ?n rdf:type ontology:political_territorial_entity } UNION { resource:United_States_of_America property:diplomatic_relation ?n . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q960869 Q39739
P17
Q15617994
USER
Which administrative territories are Aconcagua or Viaggio Air situated in ?
OR((Q39739,P17,c(Q15617994)), (Q960869,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q39739
relation P17
action find
entity Q960869
relation P17
type Q15617994
{'OR': [['Q39739', 'P17', {'concept': 'Q15617994'}], ['Q960869', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?t WHERE { { { resource:Q39739 property:P17 ?t } UNION { resource:Q960869 property:P17 ?t } } . ?t rdf:type ontology:Q15617994 }
Viaggio Air Aconcagua
action filter_type
action union
action find
entity Aconcagua
relation country
action find
entity Viaggio Air
relation country
type designation for an administrative territorial entity
{'OR': [['Aconcagua', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Viaggio Air', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?t WHERE { { { resource:Aconcagua property:country ?t } UNION { resource:Viaggio_Air property:country ?t } } . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q298 Q219 Q414
SYSTEM
Chile, Bulgaria, Argentina
Q298 Q219 Q414
OR((Q39739,P17,c(Q15617994)), (Q960869,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q39739
relation P17
action find
entity Q960869
relation P17
type Q15617994
Aconcagua or Viaggio Air are situated in [ANSWERS]
{'OR': [['Q39739', 'P17', {'concept': 'Q15617994'}], ['Q960869', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?t WHERE { { { resource:Q39739 property:P17 ?t } UNION { resource:Q960869 property:P17 ?t } } . ?t rdf:type ontology:Q15617994 }
Chile Bulgaria Argentina
Aconcagua or Viaggio Air are situated in Chile, Bulgaria and Argentina
Chile Bulgaria Argentina
action filter_type
action union
action find
entity Aconcagua
relation country
action find
entity Viaggio Air
relation country
type designation for an administrative territorial entity
{'OR': [['Aconcagua', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Viaggio Air', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?t WHERE { { { resource:Aconcagua property:country ?t } UNION { resource:Viaggio_Air property:country ?t } } . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q38
P530
Q15617994
USER
Do Italy have ambassadorial relations with those ones ?
(Q38,P530,Q298) (Q38,P530,Q219) (Q38,P530,Q414)
action is_in
entity prev_answer
action find
entity Q38
relation P530
['Q38', 'P530', 'Q298'] ['Q38', 'P530', 'Q219'] ['Q38', 'P530', 'Q414']
ASK WHERE { VALUES ( ?a ) { ( resource:Q298 ) ( resource:Q219 ) ( resource:Q414 ) } . resource:Q38 property:P530 ?a }
Italy
action is_in
entity prev_answer
action find
entity Italy
relation diplomatic relation
['Italy', 'diplomatic relation', 'Chile'] ['Italy', 'diplomatic relation', 'Bulgaria'] ['Italy', 'diplomatic relation', 'Argentina']
ASK WHERE { VALUES ( ?a ) { ( resource:Chile ) ( resource:Bulgaria ) ( resource:Argentina ) } . resource:Italy property:diplomatic_relation ?a }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q38,P530,Q298) (Q38,P530,Q219) (Q38,P530,Q414)
action is_in
entity prev_answer
action find
entity Q38
relation P530
[ANSWER]
['Q38', 'P530', 'Q298'] ['Q38', 'P530', 'Q219'] ['Q38', 'P530', 'Q414']
ASK WHERE { VALUES ( ?a ) { ( resource:Q298 ) ( resource:Q219 ) ( resource:Q414 ) } . resource:Q38 property:P530 ?a }
Yes
action is_in
entity prev_answer
action find
entity Italy
relation diplomatic relation
['Italy', 'diplomatic relation', 'Chile'] ['Italy', 'diplomatic relation', 'Bulgaria'] ['Italy', 'diplomatic relation', 'Argentina']
ASK WHERE { VALUES ( ?a ) { ( resource:Chile ) ( resource:Bulgaria ) ( resource:Argentina ) } . resource:Italy property:diplomatic_relation ?a }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type
Q766
P530
Q1048835 Q15617994
USER
How many political territories have diplomatic relations with more number of administrative territories than Jamaica ?
(c(Q15617994),P530,c(Q1048835))
action count
action greater
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q766
relation P530
type Q1048835
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?j ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?u ) AS ?z ) WHERE { ?t property:P530 ?u . ?u rdf:type ontology:Q15617994 . ?t rdf:type ontology:Q1048835 } GROUP BY ?t } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?q ) WHERE { resource:Q766 property:P530 ?b . ?b rdf:type ontology:Q1048835 } } . FILTER ( ?z > ?q ) }
Jamaica
action count
action greater
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Jamaica
relation diplomatic relation
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?j ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?u ) AS ?z ) WHERE { ?t property:diplomatic_relation ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?t rdf:type ontology:political_territorial_entity } GROUP BY ?t } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?q ) WHERE { resource:Jamaica property:diplomatic_relation ?b . ?b rdf:type ontology:political_territorial_entity } } . FILTER ( ?z > ?q ) }
[]
political territorial entity designation for an administrative territorial entity
SYSTEM
6
Q40 Q183 Q408 Q35 Q16 Q664
(c(Q15617994),P530,c(Q1048835))
action count
action greater
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q766
relation P530
type Q1048835
[ANSWER]
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?j ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?u ) AS ?z ) WHERE { ?t property:P530 ?u . ?u rdf:type ontology:Q15617994 . ?t rdf:type ontology:Q1048835 } GROUP BY ?t } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?q ) WHERE { resource:Q766 property:P530 ?b . ?b rdf:type ontology:Q1048835 } } . FILTER ( ?z > ?q ) }
Austria Germany Australia Denmark Canada New Zealand
6
action count
action greater
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Jamaica
relation diplomatic relation
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?j ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?u ) AS ?z ) WHERE { ?t property:diplomatic_relation ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?t rdf:type ontology:political_territorial_entity } GROUP BY ?t } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?q ) WHERE { resource:Jamaica property:diplomatic_relation ?b . ?b rdf:type ontology:political_territorial_entity } } . FILTER ( ?z > ?q ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q194057
P20
Q502895
USER
Which person has Mount Rainier as the area of death ?
(c(Q502895),P20,Q194057)
action filter_type
action find_reverse
entity Q194057
relation P20
type Q502895
[{'concept': 'Q502895'}, 'P20', 'Q194057']
SELECT DISTINCT ?k WHERE { ?k property:P20 resource:Q194057 . ?k rdf:type ontology:Q502895 }
Mount Rainier
action filter_type
action find_reverse
entity Mount Rainier
relation place of death
type common name
[{'concept': 'common name'}, 'place of death', 'Mount Rainier']
SELECT DISTINCT ?k WHERE { ?k property:place_of_death resource:Mount_Rainier . ?k rdf:type ontology:common_name }
[]
common name
Q2577599
SYSTEM
Willi Unsoeld
Q2577599
(c(Q502895),P20,Q194057)
action filter_type
action find_reverse
entity Q194057
relation P20
type Q502895
[ANSWER] has Mount Rainier as the area of death
[{'concept': 'Q502895'}, 'P20', 'Q194057']
SELECT DISTINCT ?k WHERE { ?k property:P20 resource:Q194057 . ?k rdf:type ontology:Q502895 }
Willi Unsoeld
Willi Unsoeld has Mount Rainier as the area of death
Willi Unsoeld
action filter_type
action find_reverse
entity Mount Rainier
relation place of death
type common name
[{'concept': 'common name'}, 'place of death', 'Mount Rainier']
SELECT DISTINCT ?k WHERE { ?k property:place_of_death resource:Mount_Rainier . ?k rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q194057
P30
Q2221906
USER
Where are that terrain located ?
(Q2577599,P30,c(Q2221906))
action filter_type
action find
entity Q194057
relation P30
type Q2221906
['Q2577599', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q2221906 . resource:Q194057 property:P30 ?h }
Mount Rainier
action filter_type
action find
entity Mount Rainier
relation continent
type geographic location
['Willi Unsoeld', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:geographic_location . resource:Mount_Rainier property:continent ?h }
[]
geographic location
Q828 Q49
SYSTEM
Americas, North America
Q828 Q49
(Q2577599,P30,c(Q2221906))
action filter_type
action find
entity Q194057
relation P30
type Q2221906
That terrain are located in [ANSWERS]
['Q2577599', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q2221906 . resource:Q194057 property:P30 ?h }
Americas North America
That terrain are located in Americas and North America
Americas North America
action filter_type
action find
entity Mount Rainier
relation continent
type geographic location
['Willi Unsoeld', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:geographic_location . resource:Mount_Rainier property:continent ?h }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation|Incomplete
Q6429279 Q194057
P30
Q2221906
USER
Or Kongur Glacier?
OR((Q194057,P30,c(Q2221906)), (Q6429279,P30,c(Q2221906)))
action filter_type
action union
action find
entity Q194057
relation P30
action find
entity Q6429279
relation P30
type Q2221906
{'OR': [['Q194057', 'P30', {'concept': 'Q2221906'}], ['Q6429279', 'P30', {'concept': 'Q2221906'}]]}
SELECT DISTINCT ?d WHERE { { { resource:Q6429279 property:P30 ?d } UNION { resource:Q194057 property:P30 ?d } } . ?d rdf:type ontology:Q2221906 }
Kongur Glacier Mount Rainier
action filter_type
action union
action find
entity Mount Rainier
relation continent
action find
entity Kongur Glacier
relation continent
type geographic location
{'OR': [['Mount Rainier', 'continent', {'concept': 'geographic location'}], ['Kongur Glacier', 'continent', {'concept': 'geographic location'}]]}
SELECT DISTINCT ?d WHERE { { { resource:Kongur_Glacier property:continent ?d } UNION { resource:Mount_Rainier property:continent ?d } } . ?d rdf:type ontology:geographic_location }
[]
geographic location
Q51 Q828 Q49
SYSTEM
Antarctica, Americas, North America
Q51 Q828 Q49
OR((Q194057,P30,c(Q2221906)), (Q6429279,P30,c(Q2221906)))
action filter_type
action union
action find
entity Q194057
relation P30
action find
entity Q6429279
relation P30
type Q2221906
[ANSWERS]
{'OR': [['Q194057', 'P30', {'concept': 'Q2221906'}], ['Q6429279', 'P30', {'concept': 'Q2221906'}]]}
SELECT DISTINCT ?d WHERE { { { resource:Q6429279 property:P30 ?d } UNION { resource:Q194057 property:P30 ?d } } . ?d rdf:type ontology:Q2221906 }
Antarctica Americas North America
Antarctica Americas North America
action filter_type
action union
action find
entity Mount Rainier
relation continent
action find
entity Kongur Glacier
relation continent
type geographic location
{'OR': [['Mount Rainier', 'continent', {'concept': 'geographic location'}], ['Kongur Glacier', 'continent', {'concept': 'geographic location'}]]}
SELECT DISTINCT ?d WHERE { { { resource:Kongur_Glacier property:continent ?d } UNION { resource:Mount_Rainier property:continent ?d } } . ?d rdf:type ontology:geographic_location }
[]