Simple Question (Direct)
Simple Question
Q984144
P21
Q290
USER
What is the sex of Martin Raška ?
(Q984144,P21,c(Q290))
action filter_type
action find
entity Q984144
relation P21
type Q290
['Q984144', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?s WHERE { resource:Q984144 property:P21 ?s . ?s rdf:type ontology:Q290 }
Martin Raška
action filter_type
action find
entity Martin Raška
relation gender
type sex
['Martin Raška', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?s WHERE { resource:Martin_Raška property:gender ?s . ?s rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q984144,P21,c(Q290))
action filter_type
action find
entity Q984144
relation P21
type Q290
The sex of Martin Raška is the [ANSWER]
['Q984144', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?s WHERE { resource:Q984144 property:P21 ?s . ?s rdf:type ontology:Q290 }
male
The sex of Martin Raška is the male
male
action filter_type
action find
entity Martin Raška
relation gender
type sex
['Martin Raška', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?s WHERE { resource:Martin_Raška property:gender ?s . ?s rdf:type ontology:sex }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q984144
P27
Q15617994
USER
Which administrative territory is that person a civilian of ?
(Q6581097,P27,c(Q15617994))
action filter_type
action find
entity Q984144
relation P27
type Q15617994
['Q6581097', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?o WHERE { resource:Q984144 property:P27 ?o . ?o rdf:type ontology:Q15617994 }
Martin Raška
action filter_type
action find
entity Martin Raška
relation country of citizenship
type designation for an administrative territorial entity
['male', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:Martin_Raška property:country_of_citizenship ?o . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q213
SYSTEM
Czech Republic
Q213
(Q6581097,P27,c(Q15617994))
action filter_type
action find
entity Q984144
relation P27
type Q15617994
[ANSWER] is that person a civilian of
['Q6581097', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?o WHERE { resource:Q984144 property:P27 ?o . ?o rdf:type ontology:Q15617994 }
Czech Republic
Czech Republic is that person a civilian of
Czech Republic
action filter_type
action find
entity Martin Raška
relation country of citizenship
type designation for an administrative territorial entity
['male', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:Martin_Raška property:country_of_citizenship ?o . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q213 Q4395286 Q1228889
P47
Q1048835
USER
Does Rivne and Fuentidueña de Tajo share a border with Q213 ?
(Q213,P47,Q4395286) (Q213,P47,Q1228889)
action is_in
entity Q213
action intersection
action find_reverse
entity Q4395286
relation P47
action find_reverse
entity Q1228889
relation P47
['Q213', 'P47', 'Q4395286'] ['Q213', 'P47', 'Q1228889']
ASK WHERE { resource:Q213 property:P47 resource:Q4395286 . resource:Q213 property:P47 resource:Q1228889 }
Czech Republic Rivne Fuentidueña de Tajo
action is_in
entity Czech Republic
action intersection
action find_reverse
entity Rivne
relation shares border with
action find_reverse
entity Fuentidueña de Tajo
relation shares border with
['Czech Republic', 'shares border with', 'Rivne'] ['Czech Republic', 'shares border with', 'Fuentidueña de Tajo']
ASK WHERE { resource:Czech_Republic property:shares_border_with resource:Rivne . resource:Czech_Republic property:shares_border_with resource:Fuentidueña_de_Tajo }
[]
political territorial entity
SYSTEM
NO
(Q213,P47,Q4395286) (Q213,P47,Q1228889)
action is_in
entity Q213
action intersection
action find_reverse
entity Q4395286
relation P47
action find_reverse
entity Q1228889
relation P47
[ANSWER]
['Q213', 'P47', 'Q4395286'] ['Q213', 'P47', 'Q1228889']
ASK WHERE { resource:Q213 property:P47 resource:Q4395286 . resource:Q213 property:P47 resource:Q1228889 }
No
action is_in
entity Czech Republic
action intersection
action find_reverse
entity Rivne
relation shares border with
action find_reverse
entity Fuentidueña de Tajo
relation shares border with
['Czech Republic', 'shares border with', 'Rivne'] ['Czech Republic', 'shares border with', 'Fuentidueña de Tajo']
ASK WHERE { resource:Czech_Republic property:shares_border_with resource:Rivne . resource:Czech_Republic property:shares_border_with resource:Fuentidueña_de_Tajo }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P530
Q15617994 Q15617994
USER
Which administrative territories have a diplomatic relationship with max number of administrative territories ?
(c(Q15617994),P530,Q953)
action argmax
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
[{'concept': 'Q15617994'}, 'P530', 'Q953']
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?e ) AS ?u ) WHERE { ?n property:P530 ?e . ?n rdf:type ontology:Q15617994 . ?e rdf:type ontology:Q15617994 } GROUP BY ?n } . FILTER ( ?u = ?z ) . { SELECT DISTINCT ( MAX ( ?w ) AS ?z ) { SELECT DISTINCT ?a ( COUNT ( ?v ) AS ?w ) WHERE { ?a rdf:type ontology:Q15617994 . ?v rdf:type ontology:Q15617994 . ?a property:P530 ?v } GROUP BY ?a } } }
action argmax
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', 'Zambia']
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?e ) AS ?u ) WHERE { ?n property:diplomatic_relation ?e . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?n } . FILTER ( ?u = ?z ) . { SELECT DISTINCT ( MAX ( ?w ) AS ?z ) { SELECT DISTINCT ?a ( COUNT ( ?v ) AS ?w ) WHERE { ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a property:diplomatic_relation ?v } GROUP BY ?a } } }
[]
designation for an administrative territorial entity designation for an administrative territorial entity
Q38
SYSTEM
Italy
Q38
(c(Q15617994),P530,Q953)
action argmax
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
[ANSWER] have a diplomatic relationship with max number of administrative territories
[{'concept': 'Q15617994'}, 'P530', 'Q953']
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?e ) AS ?u ) WHERE { ?n property:P530 ?e . ?n rdf:type ontology:Q15617994 . ?e rdf:type ontology:Q15617994 } GROUP BY ?n } . FILTER ( ?u = ?z ) . { SELECT DISTINCT ( MAX ( ?w ) AS ?z ) { SELECT DISTINCT ?a ( COUNT ( ?v ) AS ?w ) WHERE { ?a rdf:type ontology:Q15617994 . ?v rdf:type ontology:Q15617994 . ?a property:P530 ?v } GROUP BY ?a } } }
Italy
Italy have a diplomatic relationship with max number of administrative territories
Italy
action argmax
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', 'Zambia']
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?e ) AS ?u ) WHERE { ?n property:diplomatic_relation ?e . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?n } . FILTER ( ?u = ?z ) . { SELECT DISTINCT ( MAX ( ?w ) AS ?z ) { SELECT DISTINCT ?a ( COUNT ( ?v ) AS ?w ) WHERE { ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a property:diplomatic_relation ?v } GROUP BY ?a } } }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q38
P610
Q14524493
USER
Which terrain is the highest point of that administrative territory ?
(Q38,P610,c(Q14524493))
action filter_type
action find
entity Q38
relation P610
type Q14524493
['Q38', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?j WHERE { resource:Q38 property:P610 ?j . ?j rdf:type ontology:Q14524493 }
Italy
action filter_type
action find
entity Italy
relation highest point
type terrain
['Italy', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?j WHERE { resource:Italy property:highest_point ?j . ?j rdf:type ontology:terrain }
[]
terrain
Q583
SYSTEM
Mont Blanc
Q583
(Q38,P610,c(Q14524493))
action filter_type
action find
entity Q38
relation P610
type Q14524493
[ANSWER] is the highest point of that administrative territory
['Q38', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?j WHERE { resource:Q38 property:P610 ?j . ?j rdf:type ontology:Q14524493 }
Mont Blanc
Mont Blanc is the highest point of that administrative territory
Mont Blanc
action filter_type
action find
entity Italy
relation highest point
type terrain
['Italy', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?j WHERE { resource:Italy property:highest_point ?j . ?j rdf:type ontology:terrain }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q1230550
Q14524493
USER
And also tell me about Ohm Hills?
(Q1230550,P610,c(Q14524493))
action filter_type
action find
entity Q1230550
relation P610
type Q14524493
['Q1230550', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?z WHERE { resource:Q1230550 property:P610 ?z . ?z rdf:type ontology:Q14524493 }
Ohm Hills
action filter_type
action find
entity Ohm Hills
relation highest point
type terrain
['Ohm Hills', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?z WHERE { resource:Ohm_Hills property:highest_point ?z . ?z rdf:type ontology:terrain }
[]
terrain
Q865525
SYSTEM
Birkenberg
Q865525
(Q1230550,P610,c(Q14524493))
action filter_type
action find
entity Q1230550
relation P610
type Q14524493
[ANSWER]
['Q1230550', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?z WHERE { resource:Q1230550 property:P610 ?z . ?z rdf:type ontology:Q14524493 }
Birkenberg
Birkenberg
action filter_type
action find
entity Ohm Hills
relation highest point
type terrain
['Ohm Hills', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?z WHERE { resource:Ohm_Hills property:highest_point ?z . ?z rdf:type ontology:terrain }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P706
Q2221906 Q14524493
USER
Which geographic locations are atmost 27 terrains located on ?
(c(Q14524493),P706,c(Q2221906))
action atmost
action find_reverse_tuple_counts
relation P706
type Q2221906
type Q14524493
value 27
[{'concept': 'Q14524493'}, 'P706', {'concept': 'Q2221906'}]
SELECT DISTINCT ?y WHERE { FILTER ( ?m <= 27 ) . { SELECT DISTINCT ?y ( COUNT ( ?n ) AS ?m ) WHERE { ?n property:P706 ?y . ?y rdf:type ontology:Q2221906 . ?n rdf:type ontology:Q14524493 } GROUP BY ?y } }
action atmost
action find_reverse_tuple_counts
relation located on terrain feature
type geographic location
type terrain
value 27
[{'concept': 'terrain'}, 'located on terrain feature', {'concept': 'geographic location'}]
SELECT DISTINCT ?y WHERE { FILTER ( ?m <= 27 ) . { SELECT DISTINCT ?y ( COUNT ( ?n ) AS ?m ) WHERE { ?n property:located_on_terrain_feature ?y . ?y rdf:type ontology:geographic_location . ?n rdf:type ontology:terrain } GROUP BY ?y } }
[]
geographic location terrain
Q51 Q701658 Q27561
SYSTEM
Antarctica, Mecklenburg Lake District, Caribbean Netherlands
Q1558873 Q6003861 Q431907 Q14705286 Q9456 Q27468 Q62132 Q5328630 Q6800778 Q220032 Q27509 Q728390 Q51 Q5167046 Q14685019 Q5263636 Q27394 Q1998580 Q7856755 Q2680453 Q7107526 Q6403747 Q4921533 Q636672 Q5318567 Q179842 Q184430 Q1551170 Q5127364 Q21195 Q83241 Q5031650 Q46 Q4345530 Q3960 Q7678507 Q3427382 Q6721952 Q27381 Q81483 Q896446 Q11708 Q48 Q29876 Q315496 Q1322976 Q4878060 Q10975458 Q4920954 Q690971 Q897270 Q217265 Q15221173 Q7968217 Q5063897 Q828 Q11812551 Q7081788 Q1635387 Q43266 Q49 Q27231 Q677337 Q828909 Q5598693 Q186545 Q27407 Q7699521 Q19838231 Q664609 Q261407 Q165269 Q3404466 Q7811491 Q5347682 Q4412295 Q7995202 Q263686 Q7793408 Q2915691 Q27329 Q7987694 Q2740712 Q153809 Q575289 Q5929184 Q4868203 Q6462724 Q2380693 Q7907867 Q1745690 Q8614 Q27496 Q401815 Q1464033 Q4996620 Q1057925 Q81720 Q7015155 Q667529 Q2556836 Q46519 Q104028 Q2721679 Q2381124 Q27275 Q326359 Q7101759 Q530917 Q7884747 Q370398 Q27293 Q604496 Q18869 Q15 Q745767 Q17252 Q5359969 Q6729888 Q261949 Q15266363 Q7427749 Q330001 Q754365 Q76034 Q7943 Q4194 Q7974815 Q2646914 Q27433 Q5596417 Q6391312 Q1639559 Q27561 Q701658 Q883889 Q623465 Q1134547 Q18 Q1189073 Q46613 Q109057 Q5160326 Q169276 Q771405 Q5428 Q228608 Q2387700 Q15196140 Q7699945 Q2841975 Q6405955 Q5089568 Q644111 Q2092983 Q524856 Q27449 Q148689 Q1134643 Q805727 Q605714 Q4828398 Q6794458 Q5173256 Q1507 Q204593 Q445609 Q7600178 Q7191545 Q257376 Q1670841 Q5139816 Q23792 Q207989 Q7205132 Q2565366 Q14706057 Q6875911 Q5317255 Q6649061 Q5401 Q181103 Q6935461 Q702543 Q48214 Q2879440 Q5290696 Q919721
(c(Q14524493),P706,c(Q2221906))
action atmost
action find_reverse_tuple_counts
relation P706
type Q2221906
type Q14524493
value 27
Atmost 27 terrains are located in [ANSWERS]
[{'concept': 'Q14524493'}, 'P706', {'concept': 'Q2221906'}]
SELECT DISTINCT ?y WHERE { FILTER ( ?m <= 27 ) . { SELECT DISTINCT ?y ( COUNT ( ?n ) AS ?m ) WHERE { ?n property:P706 ?y . ?y rdf:type ontology:Q2221906 . ?n rdf:type ontology:Q14524493 } GROUP BY ?y } }
Gäuboden Imeon Range Sierra de la Culata Toquima Range Achterhook Eastern Europe Lapland East Humboldt Range McCullough Range Golden Gate Central Europe Coats Land Antarctica Cookes Range Never Summer Mountains Desatoya Mountains Southern Africa Northern Black Forest Tushar Mountains Brown Peninsula Ossipee Mountains Kiamichi Mountains Black Range Sierra Nevada de Mérida Dyer Plateau Tibetan Plateau Zeelandic Flanders Palmer Land Clark Range Scandinavia Galilee Candelaria Hills Europe Northern Italy Australia Takshanuk Mountains Kirwan Escarpment MacIntyre Mountains North Africa The Levant Upland Southeast Asia Asia Middle America Upper Harz Ural Beaver Dam Mountains Maramureș Black Hills Breisgau Havelland Cappadocia Mule Peninsula Wapack Range Cerbat Mountains Americas Swabia Okanagan Highland Southern Black Forest Moravia North America East Asia Ravensberg Basin wharf Great Balsam Mountains Midwestern United States East Africa Tenaya Canyon Nurn Caribbean South Baden East Frisia Carneddau Tobacco Root Mountains Egan Range Northern Maramuresh White Pine Range Southeast Europe Thomas Range Lower Galilee North Asia Western Cascades Ovče Pole Tyrol Mühlviertel Hueco Mountains Basswood Island La Garita Mountains South Eifel Vaca Mountains Ostbayern Westphalia Western Europe Columbia Plateau West Friesland Bull Run Mountains Northeast China Silesia New York–New Jersey Highlands Blue Mountains Trialeti Southern Germany Judea Warner Mountains South Lower Saxony Central Asia Palatinate Organ Mountains West Antarctica Unicoi Mountains Allan Hills Western Asia Fennoscandia Caucasus Africa Marie Byrd Land Tibet Elgar Uplands Magdalena Mountains Mostviertel Pilot Range (New Hampshire) Savage Mountain Oldenburg Land Penobscot Bay Canadian Shield Upper Lusatia Sauerland Watson Escarpment Alfatar Peninsula Central Africa Grant Range Kenosha Mountains West Mecklenburg Caribbean Netherlands Mecklenburg Lake District Calenberg Land Wasatch Front Ellsworth Land South America Eastern California Northern Germany Mecklenburg Confusion Range Allgäu South Asia Siberia South Limburg Northern Bukovina Bailey Peninsula (Antarctica) Tenmile Range Franklin Mountains Kigluaik Mountains Chehalem Mountains Transbaikal Southern Bukovina Central Germany Southern Europe Lower Lusatia Southern England Baltics Donbass Avery Plateau Mawson Escarpment Cortez Mountains Patagonia Heinzenberg Lower Rhine region Stansbury Mountains Piedmont region of Virginia Bavarian Alpine Foreland Ordos Desert Coconino Plateau Palestine Southern Italy Plott Balsams West Hesse Depression Manzano Mountains Misquah Hills Dutch Caribbean Little Belt Mountains Eurasia Balochistan Mummy Range Franconian Switzerland Near East Chequamegon Bay Dominica Passage eastern Germany
Atmost 27 terrains are located in Antarctica, Mecklenburg Lake District and Caribbean Netherlands
Antarctica Mecklenburg Lake District Caribbean Netherlands
action atmost
action find_reverse_tuple_counts
relation located on terrain feature
type geographic location
type terrain
value 27
[{'concept': 'terrain'}, 'located on terrain feature', {'concept': 'geographic location'}]
SELECT DISTINCT ?y WHERE { FILTER ( ?m <= 27 ) . { SELECT DISTINCT ?y ( COUNT ( ?n ) AS ?m ) WHERE { ?n property:located_on_terrain_feature ?y . ?y rdf:type ontology:geographic_location . ?n rdf:type ontology:terrain } GROUP BY ?y } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q51
P61
Q502895 Q1585199
USER
How many people or Antarctic expeditionss discovered or invented Antarctica ?
(Q51,P61,c(Q502895)) (Q51,P61,c(Q1585199))
action count
action union
action filter_type
action find
entity Q51
relation P61
type Q502895
action filter_type
action find
entity Q51
relation P61
type Q1585199
['Q51', 'P61', {'concept': 'Q502895'}] ['Q51', 'P61', {'concept': 'Q1585199'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?r ) WHERE { ?c rdf:type ?u . VALUES ( ?u ) { ( ontology:Q502895 ) ( ontology:Q1585199 ) } }
Antarctica
action count
action union
action filter_type
action find
entity Antarctica
relation discoverer or inventor
type common name
action filter_type
action find
entity Antarctica
relation discoverer or inventor
type List of Antarctic expeditions
['Antarctica', 'discoverer or inventor', {'concept': 'common name'}] ['Antarctica', 'discoverer or inventor', {'concept': 'List of Antarctic expeditions'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?r ) WHERE { ?c rdf:type ?u . VALUES ( ?u ) { ( ontology:common_name ) ( ontology:List_of_Antarctic_expeditions ) } }
[]
common name List of Antarctic expeditions
SYSTEM
3
Q76754 Q186203 Q4349082
(Q51,P61,c(Q502895)) (Q51,P61,c(Q1585199))
action count
action union
action filter_type
action find
entity Q51
relation P61
type Q502895
action filter_type
action find
entity Q51
relation P61
type Q1585199
[ANSWER]
['Q51', 'P61', {'concept': 'Q502895'}] ['Q51', 'P61', {'concept': 'Q1585199'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?r ) WHERE { ?c rdf:type ?u . VALUES ( ?u ) { ( ontology:Q502895 ) ( ontology:Q1585199 ) } }
Fabian Gottlieb von Bellingshausen Mikhail Lazarev First Russian Antarctic expedition
3
action count
action union
action filter_type
action find
entity Antarctica
relation discoverer or inventor
type common name
action filter_type
action find
entity Antarctica
relation discoverer or inventor
type List of Antarctic expeditions
['Antarctica', 'discoverer or inventor', {'concept': 'common name'}] ['Antarctica', 'discoverer or inventor', {'concept': 'List of Antarctic expeditions'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?r ) WHERE { ?c rdf:type ?u . VALUES ( ?u ) { ( ontology:common_name ) ( ontology:List_of_Antarctic_expeditions ) } }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P706
Q2221906 Q811979
USER
Which architectural structures have their location as min number of geographic locations ?
(c(Q811979),P706,c(Q2221906))
action argmin
action find_tuple_counts
relation P706
type Q811979
type Q2221906
[{'concept': 'Q811979'}, 'P706', {'concept': 'Q2221906'}]
SELECT DISTINCT ?h WHERE { FILTER ( ?t = ?m ) . { SELECT DISTINCT ?h ( COUNT ( ?q ) AS ?t ) WHERE { ?h property:P706 ?q . ?q rdf:type ontology:Q2221906 . ?h rdf:type ontology:Q811979 } GROUP BY ?h } . { SELECT DISTINCT ( MIN ( ?c ) AS ?m ) { SELECT DISTINCT ?j ( COUNT ( ?g ) AS ?c ) WHERE { ?j rdf:type ontology:Q811979 . ?g rdf:type ontology:Q2221906 . ?j property:P706 ?g } GROUP BY ?j } } }
action argmin
action find_tuple_counts
relation located on terrain feature
type architectural structure
type geographic location
[{'concept': 'architectural structure'}, 'located on terrain feature', {'concept': 'geographic location'}]
SELECT DISTINCT ?h WHERE { FILTER ( ?t = ?m ) . { SELECT DISTINCT ?h ( COUNT ( ?q ) AS ?t ) WHERE { ?h property:located_on_terrain_feature ?q . ?q rdf:type ontology:geographic_location . ?h rdf:type ontology:architectural_structure } GROUP BY ?h } . { SELECT DISTINCT ( MIN ( ?c ) AS ?m ) { SELECT DISTINCT ?j ( COUNT ( ?g ) AS ?c ) WHERE { ?j rdf:type ontology:architectural_structure . ?g rdf:type ontology:geographic_location . ?j property:located_on_terrain_feature ?g } GROUP BY ?j } } }
[]
geographic location architectural structure
Q3076267 Q404416 Q326528
SYSTEM
fontaine du Château d'eau, Stockholm Stock Exchange Building, Børsen
Q27510809 Q5110637 Q20829079 Q3471001 Q10577966 Q19979588 Q11701416 Q7006696 Q6513455 Q685755 Q2985016 Q1319325 Q24035685 Q1055970 Q10510512 Q2026601 Q11694698 Q6371948 Q114160 Q2299354 Q14935869 Q12556819 Q23848306 Q3315941 Q26707101 Q11996388 Q12076825 Q26883434 Q23924632 Q10715859 Q20828324 Q3389946 Q2027080 Q26270537 Q17562765 Q7071305 Q10648564 Q20652573 Q5455200 Q1345155 Q326528 Q23930039 Q811859 Q19251655 Q14764153 Q20828373 Q23893344 Q648483 Q24026055 Q23828935 Q11834860 Q26885373 Q20827762 Q20831161 Q12309643 Q24572884 Q12787696 Q27640071 Q5400656 Q23893375 Q24449579 Q23827729 Q24571923 Q10699035 Q10430998 Q2887454 Q1134683 Q24067117 Q1433477 Q24067108 Q16957641 Q3362818 Q10688590 Q3390686 Q6771090 Q403404 Q24314226 Q12885865 Q12794207 Q2720522 Q17013466 Q10494168 Q1621883 Q1535247 Q23894221 Q4957678 Q4566657 Q3375895 Q16254388 Q2551725 Q26883275 Q117767 Q5420069 Q23924642 Q7629892 Q23937506 Q23848218 Q4141464 Q829294 Q26883401 Q24026070 Q265512 Q24045536 Q24029433 Q6432431 Q3079841 Q1550037 Q27012565 Q333875 Q23894167 Q24705184 Q7579804 Q26883247 Q10726959 Q7332366 Q23933950 Q20829844 Q1777016 Q1354838 Q1753542 Q23828035 Q23937519 Q3433033 Q4712981 Q24033261 Q5769470 Q1810430 Q20830632 Q24555774 Q23829138 Q16331939 Q4681034 Q10681017 Q24050277 Q24576116 Q23924636 Q5532406 Q10709194 Q27489823 Q6112842 Q3363786 Q1196667 Q20828364 Q12313611 Q20830825 Q3652404 Q3439847 Q23907533 Q16964407 Q10502451 Q5625943 Q7861751 Q23848646 Q871941 Q10658323 Q404416 Q23937037 Q2073308 Q24556649 Q170103 Q963509 Q2385048 Q20828303 Q23937532 Q631733 Q16999453 Q24237074 Q20826635 Q6949958 Q26825001 Q3048023 Q10500796 Q3389937 Q12799481 Q4566667 Q14629344 Q24500126 Q20828358 Q10489195 Q10412359 Q10508707 Q12332361 Q16894103 Q1327827 Q10427890 Q19828249 Q20828319 Q1196688 Q20828315 Q6936733 Q1735173 Q385597 Q20828313 Q23835375 Q7856623 Q3076267 Q10666210 Q8342981 Q1121496 Q10604793
(c(Q811979),P706,c(Q2221906))
action argmin
action find_tuple_counts
relation P706
type Q811979
type Q2221906
[ANSWERS] have their location as min number of geographic locations
[{'concept': 'Q811979'}, 'P706', {'concept': 'Q2221906'}]
SELECT DISTINCT ?h WHERE { FILTER ( ?t = ?m ) . { SELECT DISTINCT ?h ( COUNT ( ?q ) AS ?t ) WHERE { ?h property:P706 ?q . ?q rdf:type ontology:Q2221906 . ?h rdf:type ontology:Q811979 } GROUP BY ?h } . { SELECT DISTINCT ( MIN ( ?c ) AS ?m ) { SELECT DISTINCT ?j ( COUNT ( ?g ) AS ?c ) WHERE { ?j rdf:type ontology:Q811979 . ?g rdf:type ontology:Q2221906 . ?j property:P706 ?g } GROUP BY ?j } } }
North Mesa mine group Christiansborg Slotsplads Kronprindsens Gade 87 Pavillon de l'eau Maskrosbollen Caomhan's Church Grmovškov dom pod Veliko Kopo New Cornelia mine Skjervøy Bridge Ruška koča Pagode de Vincennes St Anthony's Battery Shiromaru mine Cerro Rico Guldfjärdsplan Charax Dom na Smrekovcu Karl Johans torg Medborgarplatsen Solsteinhaus Mount Keith mine Nurqabay Apatitovyi tsirk mire du Sud Green River formation (Sweetwater Co.) Proviantgården C.A.H.S. Stadium Esquire No. 7 claim Severniy mine Vintertullstorget Quarters B place Louis-Lépine Meret Oppenheim Fountain California State gem mine Valli-Tarama Nytorget Ragnar Östbergs plan Lame Dog Hut Fisketorget St. Mary's Tower Børsen Gun claim Bauschänzli Water Boat fountain Pont sur le Doubs Lutheran Parsonage Umbozero mine Stockholm City Hall Alum Cave Bluff Palitra pegmatite, Karnasurt mine Ribniška koča Erzwies area Legislature Building Government House Exercerhuset Heftetjern pegmatite Dom Planika pod Triglavom Mohawk Island Lighthouse Estate Catherineberg Natrolite stock, Karnasurt mount Gonzen iron mine Kovdor phlogopite mine Jabel Harmun Tjärhovsplan Blasieholmstorg Bassin d'Apollo Sugarloaf Cable Car Clear Creek claim Arosa airfield Velikaya Guba uran-vanadium deposit Childs Restaurants Birger Jarls torg Södermalmstorg place du Pont-Neuf Markland Locks and Dam Axel Oxenstierna palace Molinello mine Frankish Tower Koča na Loki pod Raduho parvis Notre-Dame - place Jean-Paul-II Miaoulis Square Farsta fountain Hochheideturm Palais de Tokyo Buckwheat pit Brantingtorget Brända tomten Bertel Thorvaldsens Plads Bernic Lake mine Belvedere water tower Bird Nest drift Fløibanen Exercishuset Oktyabr'skoe Cu-Ni deposit Stânca-Costeşti Dam Hilarion mine Tsentral'nyi mine Castillo de Colomares Schloßplatz Esquire No. 8 claim Buca della Vena mine Mariborska koča Kapalagulu intrusion Roua mines Kornhamnstorg Roman theatre of Tarraco Krunkelbach valley uranium deposit Starlera mine Meoto Iwa Chinglusuai river valley pegmatite No. 22, Gottcha claim Sports and Fitness Center Aga mine Åsötorget Riddarhustorget Harstigen mine Mount Theodore Roosevelt Monument Elostirion Lionel Roberts Park Mariina skála Kovdor Zheleznyi mine Christiana mine Mynttorget Alcazaba of Antequera Wood mine Cine Callao place Dauphine Bluebeard's Castle southern Hatrurim formation, Negev desert Karnasurt mine, Karnasurt mount Chalkida Bridge Addelita Cancryn Junior High School Ground Stora Hornsberg Tashelginskoe formation West Sunday mine Komsomol'skii mine Generalens Lysthus Umeå rådhus Gjerdingselva outcrops Aquaria water museum Christian IV's Brewhouse Pont Louis-Philippe Villa Notman Generalkommandoen Danish Custom House Högvaktsterrassen Köpmantorget N'Chwaning mines Mayak mine Gamla bankhuset Gåstorget Tyska brunnsplan Koashva open pit Märchenbrunnen Ryssgården Stockholm Stock Exchange Building Esperanza mine Pont de l'Archevêché Lukkulaisvaara ultrabasic massif Gendarmenmarkt Pont Marie mire du Nord Commercial Hotel and Coffee House Serpieri mine Ytterby mine Wessels mine Esquire no. 1 claim Government House Mälartorget Låven island Stortorget Färgargårdstorget place Louis-Aragon Prešernova koča na Stolu Järntorget Koča pri Triglavskih jezerih Gurim anticline Old Unity Lodge Essingetorget Anna Lindhs plats Greta Garbos torg Prins Jørgens Gård Lengenbach quarry Pont au Change Bellman house Phra That Si Surat Villa Santana Pont de Sully Hotel 1829 Munkbron Paul E. Joseph Stadium Liuskasaari Jacob H.S. Lind House Kirovskii apatite mine Turów Coal Mine fontaine du Château d'eau Sergelfontänen Cava Gran Crimean Atomic Energy Station Nymble
Fontaine du Château d'eau, Stockholm Stock Exchange Building and Børsen have their location as min number of geographic locations
fontaine du Château d'eau Stockholm Stock Exchange Building Børsen
action argmin
action find_tuple_counts
relation located on terrain feature
type architectural structure
type geographic location
[{'concept': 'architectural structure'}, 'located on terrain feature', {'concept': 'geographic location'}]
SELECT DISTINCT ?h WHERE { FILTER ( ?t = ?m ) . { SELECT DISTINCT ?h ( COUNT ( ?q ) AS ?t ) WHERE { ?h property:located_on_terrain_feature ?q . ?q rdf:type ontology:geographic_location . ?h rdf:type ontology:architectural_structure } GROUP BY ?h } . { SELECT DISTINCT ( MIN ( ?c ) AS ?m ) { SELECT DISTINCT ?j ( COUNT ( ?g ) AS ?c ) WHERE { ?j rdf:type ontology:architectural_structure . ?g rdf:type ontology:geographic_location . ?j property:located_on_terrain_feature ?g } GROUP BY ?j } } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q863454
P180
Q2221906 Q340169 Q14660
USER
Which geographic locations are expressed in more number of medias and flags than pier ?
(c(Q340169)|c(Q14660),P180,c(Q2221906))
action greater
action union
action find_reverse_tuple_counts
relation P180
type Q2221906
type Q340169
action find_reverse_tuple_counts
relation P180
type Q2221906
type Q14660
action count
action filter_multi_types
action find_reverse
entity Q863454
relation P180
type Q340169
type Q14660
[[{'concept': 'Q340169'}, {'concept': 'Q14660'}], 'P180', {'concept': 'Q2221906'}]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?g ) AS ?v ) WHERE { VALUES ( ?o ) { ( ontology:Q340169 ) ( ontology:Q14660 ) } . ?g rdf:type ?o } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?s ) WHERE { ?t property:P180 resource:Q863454 . { { ?t rdf:type ontology:Q340169 } UNION { ?t rdf:type ontology:Q14660 } } } } . FILTER ( ?v > ?s ) }
pier
action greater
action union
action find_reverse_tuple_counts
relation depicts
type geographic location
type media
action find_reverse_tuple_counts
relation depicts
type geographic location
type flag
action count
action filter_multi_types
action find_reverse
entity pier
relation depicts
type media
type flag
[[{'concept': 'media'}, {'concept': 'flag'}], 'depicts', {'concept': 'geographic location'}]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?g ) AS ?v ) WHERE { VALUES ( ?o ) { ( ontology:media ) ( ontology:flag ) } . ?g rdf:type ?o } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?s ) WHERE { ?t property:depicts resource:pier . { { ?t rdf:type ontology:media } UNION { ?t rdf:type ontology:flag } } } } . FILTER ( ?v > ?s ) }
[]
geographic location media flag
Q48 Q15 Q46
SYSTEM
Asia, Africa, Europe
Q48 Q828 Q107679 Q23397 Q107425 Q15 Q46 Q15324 Q8502 Q23442
(c(Q340169)|c(Q14660),P180,c(Q2221906))
action greater
action union
action find_reverse_tuple_counts
relation P180
type Q2221906
type Q340169
action find_reverse_tuple_counts
relation P180
type Q2221906
type Q14660
action count
action filter_multi_types
action find_reverse
entity Q863454
relation P180
type Q340169
type Q14660
[ANSWERS] are expressed in more number of medias and flags than pier
[[{'concept': 'Q340169'}, {'concept': 'Q14660'}], 'P180', {'concept': 'Q2221906'}]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?g ) AS ?v ) WHERE { VALUES ( ?o ) { ( ontology:Q340169 ) ( ontology:Q14660 ) } . ?g rdf:type ?o } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?s ) WHERE { ?t property:P180 resource:Q863454 . { { ?t rdf:type ontology:Q340169 } UNION { ?t rdf:type ontology:Q14660 } } } } . FILTER ( ?v > ?s ) }
Asia Americas cliff lake landscape Africa Europe body of water mountain island
Asia, Africa and Europe are expressed in more number of medias and flags than pier
Asia Africa Europe
action greater
action union
action find_reverse_tuple_counts
relation depicts
type geographic location
type media
action find_reverse_tuple_counts
relation depicts
type geographic location
type flag
action count
action filter_multi_types
action find_reverse
entity pier
relation depicts
type media
type flag
[[{'concept': 'media'}, {'concept': 'flag'}], 'depicts', {'concept': 'geographic location'}]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?g ) AS ?v ) WHERE { VALUES ( ?o ) { ( ontology:media ) ( ontology:flag ) } . ?g rdf:type ?o } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?s ) WHERE { ?t property:depicts resource:pier . { { ?t rdf:type ontology:media } UNION { ?t rdf:type ontology:flag } } } } . FILTER ( ?v > ?s ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q37654
P180
Q2221906 Q340169 Q14660
USER
And what about market?
(c(Q340169)|c(Q14660),P180,c(Q2221906))
action greater
action union
action find_reverse_tuple_counts
relation P180
type Q2221906
type Q340169
action find_reverse_tuple_counts
relation P180
type Q2221906
type Q14660
action count
action filter_multi_types
action find_reverse
entity Q37654
relation P180
type Q340169
type Q14660
[[{'concept': 'Q340169'}, {'concept': 'Q14660'}], 'P180', {'concept': 'Q2221906'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?x ) AS ?v ) WHERE { { ?x property:P180 ?g . ?g rdf:type ontology:Q2221906 . ?x rdf:type ontology:Q340169 } UNION { ?x property:P180 ?g . ?x rdf:type ontology:Q14660 . ?g rdf:type ontology:Q2221906 } } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?z ) WHERE { { { ?b rdf:type ontology:Q340169 } UNION { ?b rdf:type ontology:Q14660 } } . ?b property:P180 resource:Q37654 } } . FILTER ( ?v > ?z ) }
market
action greater
action union
action find_reverse_tuple_counts
relation depicts
type geographic location
type media
action find_reverse_tuple_counts
relation depicts
type geographic location
type flag
action count
action filter_multi_types
action find_reverse
entity market
relation depicts
type media
type flag
[[{'concept': 'media'}, {'concept': 'flag'}], 'depicts', {'concept': 'geographic location'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?x ) AS ?v ) WHERE { { ?x property:depicts ?g . ?g rdf:type ontology:geographic_location . ?x rdf:type ontology:media } UNION { ?x property:depicts ?g . ?x rdf:type ontology:flag . ?g rdf:type ontology:geographic_location } } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?z ) WHERE { { { ?b rdf:type ontology:media } UNION { ?b rdf:type ontology:flag } } . ?b property:depicts resource:market } } . FILTER ( ?v > ?z ) }
[]
geographic location media flag
Q48 Q15 Q46
SYSTEM
Asia, Africa, Europe
Q48 Q828 Q107679 Q23397 Q107425 Q15 Q46 Q15324 Q8502 Q23442
(c(Q340169)|c(Q14660),P180,c(Q2221906))
action greater
action union
action find_reverse_tuple_counts
relation P180
type Q2221906
type Q340169
action find_reverse_tuple_counts
relation P180
type Q2221906
type Q14660
action count
action filter_multi_types
action find_reverse
entity Q37654
relation P180
type Q340169
type Q14660
[ANSWERS]
[[{'concept': 'Q340169'}, {'concept': 'Q14660'}], 'P180', {'concept': 'Q2221906'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?x ) AS ?v ) WHERE { { ?x property:P180 ?g . ?g rdf:type ontology:Q2221906 . ?x rdf:type ontology:Q340169 } UNION { ?x property:P180 ?g . ?x rdf:type ontology:Q14660 . ?g rdf:type ontology:Q2221906 } } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?z ) WHERE { { { ?b rdf:type ontology:Q340169 } UNION { ?b rdf:type ontology:Q14660 } } . ?b property:P180 resource:Q37654 } } . FILTER ( ?v > ?z ) }
Asia Americas cliff lake landscape Africa Europe body of water mountain island
Asia Africa Europe
action greater
action union
action find_reverse_tuple_counts
relation depicts
type geographic location
type media
action find_reverse_tuple_counts
relation depicts
type geographic location
type flag
action count
action filter_multi_types
action find_reverse
entity market
relation depicts
type media
type flag
[[{'concept': 'media'}, {'concept': 'flag'}], 'depicts', {'concept': 'geographic location'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?x ) AS ?v ) WHERE { { ?x property:depicts ?g . ?g rdf:type ontology:geographic_location . ?x rdf:type ontology:media } UNION { ?x property:depicts ?g . ?x rdf:type ontology:flag . ?g rdf:type ontology:geographic_location } } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?z ) WHERE { { { ?b rdf:type ontology:media } UNION { ?b rdf:type ontology:flag } } . ?b property:depicts resource:market } } . FILTER ( ?v > ?z ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q4754085 Q51
P361 P30
Q14524493
USER
Which terrains are a part of Antarctica and are a portion of Anderson Heights ?
AND((c(Q14524493),P30,Q51), (c(Q14524493),P361,Q4754085))
action filter_type
action intersection
action find_reverse
entity Q51
relation P30
action find_reverse
entity Q4754085
relation P361
type Q14524493
{'AND': [[{'concept': 'Q14524493'}, 'P30', 'Q51'], [{'concept': 'Q14524493'}, 'P361', 'Q4754085']]}
SELECT DISTINCT ?g WHERE { ?g property:P30 resource:Q51 . ?g property:P361 resource:Q4754085 . ?g rdf:type ontology:Q14524493 }
Anderson Heights Antarctica
action filter_type
action intersection
action find_reverse
entity Antarctica
relation continent
action find_reverse
entity Anderson Heights
relation part of
type terrain
{'AND': [[{'concept': 'terrain'}, 'continent', 'Antarctica'], [{'concept': 'terrain'}, 'part of', 'Anderson Heights']]}
SELECT DISTINCT ?g WHERE { ?g property:continent resource:Antarctica . ?g property:part_of resource:Anderson_Heights . ?g rdf:type ontology:terrain }
[]
terrain
Q6919934 Q6919681
SYSTEM
Mount Butters, Mount Bennett
Q6919934 Q6919681
AND((c(Q14524493),P30,Q51), (c(Q14524493),P361,Q4754085))
action filter_type
action intersection
action find_reverse
entity Q51
relation P30
action find_reverse
entity Q4754085
relation P361
type Q14524493
[ANSWERS] are a part of Antarctica and are a portion of Anderson Heights
{'AND': [[{'concept': 'Q14524493'}, 'P30', 'Q51'], [{'concept': 'Q14524493'}, 'P361', 'Q4754085']]}
SELECT DISTINCT ?g WHERE { ?g property:P30 resource:Q51 . ?g property:P361 resource:Q4754085 . ?g rdf:type ontology:Q14524493 }
Mount Butters Mount Bennett
Mount Butters and Mount Bennett are a part of Antarctica and are a portion of Anderson Heights
Mount Butters Mount Bennett
action filter_type
action intersection
action find_reverse
entity Antarctica
relation continent
action find_reverse
entity Anderson Heights
relation part of
type terrain
{'AND': [[{'concept': 'terrain'}, 'continent', 'Antarctica'], [{'concept': 'terrain'}, 'part of', 'Anderson Heights']]}
SELECT DISTINCT ?g WHERE { ?g property:continent resource:Antarctica . ?g property:part_of resource:Anderson_Heights . ?g rdf:type ontology:terrain }
[]