Simple Question (Direct)
Simple Question
Q652988
P706
Q271669
USER
Where is Búger located on ?
(Q652988,P706,c(Q271669))
action filter_type
action find
entity Q652988
relation P706
type Q271669
['Q652988', 'P706', {'concept': 'Q271669'}]
SELECT DISTINCT ?h WHERE { resource:Q652988 property:P706 ?h . ?h rdf:type ontology:Q271669 }
Búger
action filter_type
action find
entity Búger
relation located on terrain feature
type landform
['Búger', 'located on terrain feature', {'concept': 'landform'}]
SELECT DISTINCT ?h WHERE { resource:Búger property:located_on_terrain_feature ?h . ?h rdf:type ontology:landform }
[]
landform
Q8828
SYSTEM
Majorca
Q8828
(Q652988,P706,c(Q271669))
action filter_type
action find
entity Q652988
relation P706
type Q271669
Búger is located in [ANSWER] on
['Q652988', 'P706', {'concept': 'Q271669'}]
SELECT DISTINCT ?h WHERE { resource:Q652988 property:P706 ?h . ?h rdf:type ontology:Q271669 }
Majorca
Búger is located in Majorca on
Majorca
action filter_type
action find
entity Búger
relation located on terrain feature
type landform
['Búger', 'located on terrain feature', {'concept': 'landform'}]
SELECT DISTINCT ?h WHERE { resource:Búger property:located_on_terrain_feature ?h . ?h rdf:type ontology:landform }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q652988
P1313
Q12737077
USER
Which occupation serves as the political office that is fulfilled by the head of the government of that political territory ?
(Q8828,P1313,c(Q12737077))
action filter_type
action find
entity Q652988
relation P1313
type Q12737077
['Q8828', 'P1313', {'concept': 'Q12737077'}]
SELECT DISTINCT ?w WHERE { resource:Q652988 property:P1313 ?w . ?w rdf:type ontology:Q12737077 }
Búger
action filter_type
action find
entity Búger
relation office held by head of government
type occupation
['Majorca', 'office held by head of government', {'concept': 'occupation'}]
SELECT DISTINCT ?w WHERE { resource:Búger property:office_held_by_head_of_government ?w . ?w rdf:type ontology:occupation }
[]
occupation
Q26699428
SYSTEM
mayor of Búger
Q26699428
(Q8828,P1313,c(Q12737077))
action filter_type
action find
entity Q652988
relation P1313
type Q12737077
The [ANSWER] serves as the political office that is fulfilled by the head of the government of that political territory
['Q8828', 'P1313', {'concept': 'Q12737077'}]
SELECT DISTINCT ?w WHERE { resource:Q652988 property:P1313 ?w . ?w rdf:type ontology:Q12737077 }
mayor of Búger
The mayor of Búger serves as the political office that is fulfilled by the head of the government of that political territory
mayor of Búger
action filter_type
action find
entity Búger
relation office held by head of government
type occupation
['Majorca', 'office held by head of government', {'concept': 'occupation'}]
SELECT DISTINCT ?w WHERE { resource:Búger property:office_held_by_head_of_government ?w . ?w rdf:type ontology:occupation }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P2695
Q271669 Q7946 Q3977918
USER
How many landforms are famous for containing exactly 1 minerals and mineral supergroupss ?
(c(Q7946)|c(Q3977918),P2695,c(Q271669))
action count
action equal
action union
action find_reverse_tuple_counts
relation P2695
type Q271669
type Q7946
action find_reverse_tuple_counts
relation P2695
type Q271669
type Q3977918
value 1
[[{'concept': 'Q7946'}, {'concept': 'Q3977918'}], 'P2695', {'concept': 'Q271669'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?u ) WHERE { { SELECT DISTINCT ?n ( COUNT ( ?j ) AS ?b ) WHERE { { ?j property:P2695 ?n . ?n rdf:type ontology:Q271669 . ?j rdf:type ontology:Q7946 } UNION { ?j property:P2695 ?n . ?n rdf:type ontology:Q271669 . ?j rdf:type ontology:Q3977918 } } GROUP BY ?n } . FILTER ( ?b = 1 ) }
action count
action equal
action union
action find_reverse_tuple_counts
relation type locality
type landform
type mineral
action find_reverse_tuple_counts
relation type locality
type landform
type mineral supergroups
value 1
[[{'concept': 'mineral'}, {'concept': 'mineral supergroups'}], 'type locality', {'concept': 'landform'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?u ) WHERE { { SELECT DISTINCT ?n ( COUNT ( ?j ) AS ?b ) WHERE { { ?j property:type_locality ?n . ?n rdf:type ontology:landform . ?j rdf:type ontology:mineral } UNION { ?j property:type_locality ?n . ?n rdf:type ontology:landform . ?j rdf:type ontology:mineral_supergroups } } GROUP BY ?n } . FILTER ( ?b = 1 ) }
[]
landform mineral mineral supergroups
SYSTEM
9
Q26883299 Q24320189 Q24320342 Q26878849 Q26617618 Q26450810 Q26812670 Q24282690 Q24072981
(c(Q7946)|c(Q3977918),P2695,c(Q271669))
action count
action equal
action union
action find_reverse_tuple_counts
relation P2695
type Q271669
type Q7946
action find_reverse_tuple_counts
relation P2695
type Q271669
type Q3977918
value 1
[ANSWER]
[[{'concept': 'Q7946'}, {'concept': 'Q3977918'}], 'P2695', {'concept': 'Q271669'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?u ) WHERE { { SELECT DISTINCT ?n ( COUNT ( ?j ) AS ?b ) WHERE { { ?j property:P2695 ?n . ?n rdf:type ontology:Q271669 . ?j rdf:type ontology:Q7946 } UNION { ?j property:P2695 ?n . ?n rdf:type ontology:Q271669 . ?j rdf:type ontology:Q3977918 } } GROUP BY ?n } . FILTER ( ?b = 1 ) }
Øvre Lapplægeret quarry Caspar quarry In den Dellen quarries Sky Blue Hill New Cliffe Hill quarry Evans-Lou mine Fillow quarry Stetind pegmatite Sacrofano caldera
9
action count
action equal
action union
action find_reverse_tuple_counts
relation type locality
type landform
type mineral
action find_reverse_tuple_counts
relation type locality
type landform
type mineral supergroups
value 1
[[{'concept': 'mineral'}, {'concept': 'mineral supergroups'}], 'type locality', {'concept': 'landform'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?u ) WHERE { { SELECT DISTINCT ?n ( COUNT ( ?j ) AS ?b ) WHERE { { ?j property:type_locality ?n . ?n rdf:type ontology:landform . ?j rdf:type ontology:mineral } UNION { ?j property:type_locality ?n . ?n rdf:type ontology:landform . ?j rdf:type ontology:mineral_supergroups } } GROUP BY ?n } . FILTER ( ?b = 1 ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q13526082
P748
Q178706 Q12737077 Q12737077
USER
Which occupations did less number of institutions or occupations appoint than Premier of Queensland ?
(c(Q12737077),P748,c(Q178706)|c(Q12737077))
action less
action union
action find_tuple_counts
relation P748
type Q12737077
type Q178706
action find_tuple_counts
relation P748
type Q12737077
type Q12737077
action count
action filter_multi_types
action find
entity Q13526082
relation P748
type Q178706
type Q12737077
[{'concept': 'Q12737077'}, 'P748', [{'concept': 'Q178706'}, {'concept': 'Q12737077'}]]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?b ) ?i WHERE { { ?i property:P748 ?h . ?i rdf:type ontology:Q12737077 . ?h rdf:type ontology:Q12737077 } UNION { ?i property:P748 ?h . ?i rdf:type ontology:Q12737077 . ?h rdf:type ontology:Q178706 } } GROUP BY ?i } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?z ) WHERE { { { ?y rdf:type ontology:Q12737077 } UNION { ?y rdf:type ontology:Q178706 } } . resource:Q13526082 property:P748 ?y } } . FILTER ( ?b < ?z ) }
Premier of Queensland
action less
action union
action find_tuple_counts
relation appointed by
type occupation
type institution
action find_tuple_counts
relation appointed by
type occupation
type occupation
action count
action filter_multi_types
action find
entity Premier of Queensland
relation appointed by
type institution
type occupation
[{'concept': 'occupation'}, 'appointed by', [{'concept': 'institution'}, {'concept': 'occupation'}]]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?b ) ?i WHERE { { ?i property:appointed_by ?h . ?i rdf:type ontology:occupation . ?h rdf:type ontology:occupation } UNION { ?i property:appointed_by ?h . ?i rdf:type ontology:occupation . ?h rdf:type ontology:institution } } GROUP BY ?i } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?z ) WHERE { { { ?y rdf:type ontology:occupation } UNION { ?y rdf:type ontology:institution } } . resource:Premier_of_Queensland property:appointed_by ?y } } . FILTER ( ?b < ?z ) }
[]
institution occupation occupation
Q655407 Q22955080 Q4970706
SYSTEM
President of the People's Republic of China, president of FIFA, Federal Chancellor of Germany
Q7643465 Q27650845 Q373548 Q4011167 Q17018201 Q20748656 Q20890913 Q2666591 Q191954 Q1846384 Q11793630 Q1072417 Q27650822 Q21371106 Q1355456 Q2631987 Q735575 Q2287650 Q1507619 Q5333410 Q376006 Q21013169 Q26209348 Q39021 Q261746 Q20867494 Q21013163 Q14984399 Q7241304 Q910308 Q1029955 Q1753754 Q2484309 Q642859 Q2012061 Q20890902 Q1140848 Q15730802 Q7444357 Q967762 Q7444352 Q943379 Q15305714 Q20872382 Q3246797 Q1371091 Q3315116 Q20872273 Q655407 Q3477307 Q1369302 Q27531658 Q842386 Q48894 Q835586 Q12376089 Q19056310 Q4970706 Q890030 Q27516521 Q20891385 Q796593 Q6865833 Q2660943 Q940135 Q20172329 Q531471 Q2305968 Q21384866 Q596123 Q7444340 Q20194364 Q1476165 Q2914452 Q2636053 Q464103 Q3058109 Q3858507 Q2419581 Q1124265 Q273884 Q25863345 Q3477306 Q866756 Q20130623 Q1054799 Q21383592 Q2747647 Q2390270 Q13527933 Q583809 Q565424 Q15731141 Q313383 Q1043568 Q912994 Q27531790 Q19328352 Q862559 Q13645132 Q636207 Q475658 Q7574264 Q2003296 Q182762 Q20859386 Q967750 Q2962001 Q500282 Q20859388 Q473984 Q73341 Q19842743 Q20867550 Q1060844 Q3397406 Q467926 Q813403 Q27516596 Q691615 Q866680 Q20181946 Q21098108 Q20872296 Q838380 Q783785 Q5096847 Q4818607 Q152814 Q1072415 Q26000995 Q3409203 Q213107 Q195965 Q327948 Q1763459 Q19364214 Q1753094 Q1975365 Q1591470 Q609884 Q2741486 Q3315112 Q1123764 Q735015 Q2708520 Q22955080 Q7240368 Q3297079 Q6865995 Q319145 Q3111221 Q29558 Q1044136 Q1029968 Q2297543 Q4122271 Q967737 Q13423495 Q795477 Q1370482 Q6866148 Q20872339 Q1071117 Q34071 Q25223 Q20872267 Q5261065 Q3315134 Q162754 Q1819381 Q1052201 Q7574256 Q26209358 Q6542448 Q2301213 Q20748654 Q19328451 Q217217 Q3777749 Q111784 Q20992511 Q27334799 Q20992515 Q6468838 Q1362216 Q839139 Q1074656 Q592866 Q1281611 Q26721218 Q1658460 Q628102 Q17058425 Q20128098 Q1752225 Q687908 Q786242 Q25860233 Q1434880 Q1072341
(c(Q12737077),P748,c(Q178706)|c(Q12737077))
action less
action union
action find_tuple_counts
relation P748
type Q12737077
type Q178706
action find_tuple_counts
relation P748
type Q12737077
type Q12737077
action count
action filter_multi_types
action find
entity Q13526082
relation P748
type Q178706
type Q12737077
[ANSWERS] less number of institutions or occupations appointed than Premier of Queensland
[{'concept': 'Q12737077'}, 'P748', [{'concept': 'Q178706'}, {'concept': 'Q12737077'}]]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?b ) ?i WHERE { { ?i property:P748 ?h . ?i rdf:type ontology:Q12737077 . ?h rdf:type ontology:Q12737077 } UNION { ?i property:P748 ?h . ?i rdf:type ontology:Q12737077 . ?h rdf:type ontology:Q178706 } } GROUP BY ?i } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?z ) WHERE { { { ?y rdf:type ontology:Q12737077 } UNION { ?y rdf:type ontology:Q178706 } } . resource:Q13526082 property:P748 ?y } } . FILTER ( ?b < ?z ) }
Superintendent of Finance of the United States member of the Provincial Executive of Utrecht President of Bolivia Vice President of the Constitutional Court of Italy Northern Territory Government Architect municipal executive of Zoetermeer municipal executive of Eindhoven Chair of the Federal Reserve President of the French Republic Secretary of State for Wales governor of national banks of Serbia and Yugoslavia Chief of Staff of the United States Air Force King's Commissioner of Utrecht municipal executive of Amersfoort Lord Chamberlain Attorney General for England and Wales Prime Minister of Pakistan United States Secretary of the Interior Deputy Prime Minister of the United Kingdom Economic Secretary to the Treasury Prime Minister of Guyana municipal executive of The Hague Mayor of Warffum President of Singapore United States Secretary of the Air Force Mayor of Gorinchem Mayor of The Hague Secretary of State for Environment, Food and Rural Affairs President of the Australian Senate Lord Privy Seal United States Secretary of Agriculture Master of the Rolls Secretary of State for the Home Department United States Secretary of Homeland Security Leader of the House of Lords Mayor of Eindhoven President pro tempore of the United States Senate Mayor of Rotterdam Secretary of State for Work and Pensions United States Secretary of Education Secretary of State for International Development Lord President of the Council Prime Minister of Libya municipal executive of Coevorden Secretary of State for Transport Secretary of State for Foreign and Commonwealth Affairs Minister for the Civil Service municipal executive of Boxmeer President of the People's Republic of China Secretary of State for Justice Secretary of State for Northern Ireland King's Commissioner of South Holland Prime Minister of Russia President of Fiji Prime Minister of Serbia Prime Minister of Thailand President of Botswana Federal Chancellor of Germany State President of South Africa member of the Provincial Executive of North Holland municipal executive of Deventer President of Malta Minister for Finance Minister for Foreign Affairs United States Secretary of the Navy Mayor of Hoogland Chancellor of the Exchequer United States Secretary of Health and Human Services municipal executive of Rotterdam president of Bangladesh Secretary of State for Dominion Affairs municipal executive of Amsterdam Prime Minister of Iraq President of Algeria Leader of the House of Commons Speaker of the House of Commons Prime Minister of the Netherlands Secretary of State for Business, Energy and Industrial Strategy United States Secretary of Housing and Urban Development List of Presidents of the Basque Autonomous Community President of South Africa Secretary of State for International Trade Secretary of State for Education Prime Minister of Singapore Mayor of Woerden President of Poland municipal executive of Haarlem Secretary of State for Defence Treasurer of Australia Premier of Tasmania Solicitor General for England and Wales Prime Minister of the Bahamas Mayor of Almere President of India Prime Minister of Vietnam speaker of the United States House of Representatives member of the Provincial Executive of South Holland Mayor of Leersum Prime Minister of Malaysia Lord Mayor of Dublin United States Attorney General President of Austria Speaker of the Hellenic Parliament United States Secretary of Commerce Prime Minister of Algeria Mayor of Mierlo United States Secretary of Labor Chief of the Defence Staff President of Nigeria municipal executive of Mierlo President of Pakistan Lord Mayor of London President of the Government of Morocco municipal executive of Gorinchem Paymaster General Secretary of State for Health Cathaoirleach King's or Queen's Commissioner King's Commissioner of North Holland Governor of the Virgin Islands President of Vietnam Mayor of Borger-Odoorn Mayor of Amersfoort municipal executive of Almere President of Iran Chief of Staff of the United States Army Chief Minister Attorney-General of Australia Prime Minister of Malta Chief of Naval Operations President of the Parliament of Catalonia President of Greece Prime Minister of Belgium Governor of Gibraltar President of Israel Chairman of the Joint Chiefs of Staff President of Somalia United States Postmaster General Prime Minister of Georgia United States Secretary of the Army First Lord of the Treasury Chief Executive of Hong Kong Minister for Defence Prime Minister of Armenia United States Secretary of Defense Chairman of the Communist Party of China president of FIFA Premier of the Northwest Territories Secretary of State for Culture, Media and Sport Minister for the Cabinet Office Prime Minister of Australia Commonwealth Secretary-General President of Finland president of Tajikistan United States Secretary of Energy United States Deputy Secretary of Defense Premier of the People's Republic of China United States Secretary of Transportation Mayor of Amsterdam Prime Minister of Denmark President of Cuba Minister of Foreign Affairs municipal executive of Woerden Prime Minister of New Zealand President of Paraguay President of Germany Mayor of Boxmeer Deputy Prime Minister of Australia Minister for Women and Equalities Chancellor of the Duchy of Lancaster President of the Czech Republic Ceann Comhairle Speaker of the House of Representatives municipal executive of Warffum Librarian of Congress United States Deputy Secretary of State Mayor of Zoetermeer Mayor of Haarlem Lord Chancellor Attorney General of Ireland Secretary of State for Scotland Mayor of Utrecht Mayor of Geldermalsen municipal executive of Utrecht President of Slovakia First Minister of Scotland President of Romania Prime Minister of Papua New Guinea Prime Minister of Tuvalu Lieutenant Governor of Jersey municipal executive of Almere United States Secretary of Veterans Affairs President of Nauru Mayor of Coevorden Mayor of Deventer Lord Lieutenant of Ireland Lord Chief Justice of England and Wales White House Chief of Staff Secretary of State for Exiting the European Union Surgeon General of the United States Chief Minister of the Northern Territory
President of the People's Republic of China, president of FIFA and Federal Chancellor of Germany less number of institutions or occupations appointed than Premier of Queensland
President of the People's Republic of China president of FIFA Federal Chancellor of Germany
action less
action union
action find_tuple_counts
relation appointed by
type occupation
type institution
action find_tuple_counts
relation appointed by
type occupation
type occupation
action count
action filter_multi_types
action find
entity Premier of Queensland
relation appointed by
type institution
type occupation
[{'concept': 'occupation'}, 'appointed by', [{'concept': 'institution'}, {'concept': 'occupation'}]]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?b ) ?i WHERE { { ?i property:appointed_by ?h . ?i rdf:type ontology:occupation . ?h rdf:type ontology:occupation } UNION { ?i property:appointed_by ?h . ?i rdf:type ontology:occupation . ?h rdf:type ontology:institution } } GROUP BY ?i } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?z ) WHERE { { { ?y rdf:type ontology:occupation } UNION { ?y rdf:type ontology:institution } } . resource:Premier_of_Queensland property:appointed_by ?y } } . FILTER ( ?b < ?z ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q8828
P931
Q62447
USER
Which aerodrome is served by Majorca ?
(c(Q62447),P931,Q8828)
action filter_type
action find_reverse
entity Q8828
relation P931
type Q62447
[{'concept': 'Q62447'}, 'P931', 'Q8828']
SELECT DISTINCT ?e WHERE { ?e property:P931 resource:Q8828 . ?e rdf:type ontology:Q62447 }
Majorca
action filter_type
action find_reverse
entity Majorca
relation place served by airport
type aerodrome
[{'concept': 'aerodrome'}, 'place served by airport', 'Majorca']
SELECT DISTINCT ?e WHERE { ?e property:place_served_by_airport resource:Majorca . ?e rdf:type ontology:aerodrome }
[]
aerodrome
Q656993
SYSTEM
Palma de Mallorca Airport
Q656993
(c(Q62447),P931,Q8828)
action filter_type
action find_reverse
entity Q8828
relation P931
type Q62447
[ANSWER] is served by Majorca
[{'concept': 'Q62447'}, 'P931', 'Q8828']
SELECT DISTINCT ?e WHERE { ?e property:P931 resource:Q8828 . ?e rdf:type ontology:Q62447 }
Palma de Mallorca Airport
Palma de Mallorca Airport is served by Majorca
Palma de Mallorca Airport
action filter_type
action find_reverse
entity Majorca
relation place served by airport
type aerodrome
[{'concept': 'aerodrome'}, 'place served by airport', 'Majorca']
SELECT DISTINCT ?e WHERE { ?e property:place_served_by_airport resource:Majorca . ?e rdf:type ontology:aerodrome }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q26699428
P1001
Q1048835
USER
Which political territory comes under the jurisdiction of mayor of Búger ?
(Q26699428,P1001,c(Q1048835))
action filter_type
action find
entity Q26699428
relation P1001
type Q1048835
['Q26699428', 'P1001', {'concept': 'Q1048835'}]
SELECT DISTINCT ?g WHERE { resource:Q26699428 property:P1001 ?g . ?g rdf:type ontology:Q1048835 }
mayor of Búger
action filter_type
action find
entity mayor of Búger
relation applies to jurisdiction
type political territorial entity
['mayor of Búger', 'applies to jurisdiction', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?g WHERE { resource:mayor_of_Búger property:applies_to_jurisdiction ?g . ?g rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q652988
SYSTEM
Búger
Q652988
(Q26699428,P1001,c(Q1048835))
action filter_type
action find
entity Q26699428
relation P1001
type Q1048835
[ANSWER] comes under the jurisdiction of mayor of [ANSWER]
['Q26699428', 'P1001', {'concept': 'Q1048835'}]
SELECT DISTINCT ?g WHERE { resource:Q26699428 property:P1001 ?g . ?g rdf:type ontology:Q1048835 }
Búger
Búger comes under the jurisdiction of mayor of Búger
Búger
action filter_type
action find
entity mayor of Búger
relation applies to jurisdiction
type political territorial entity
['mayor of Búger', 'applies to jurisdiction', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?g WHERE { resource:mayor_of_Búger property:applies_to_jurisdiction ?g . ?g rdf:type ontology:political_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q652988
P47
Q1048835
USER
Which political territories are bordered by that one ?
(c(Q1048835),P47,Q652988)
action filter_type
action find
entity Q652988
relation P47
type Q1048835
[{'concept': 'Q1048835'}, 'P47', 'Q652988']
SELECT DISTINCT ?s WHERE { resource:Q652988 property:P47 ?s . ?s rdf:type ontology:Q1048835 }
Búger
action filter_type
action find
entity Búger
relation shares border with
type political territorial entity
[{'concept': 'political territorial entity'}, 'shares border with', 'Búger']
SELECT DISTINCT ?s WHERE { resource:Búger property:shares_border_with ?s . ?s rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q988688 Q984493 Q984496
SYSTEM
Inca, Sa Pobla, Selva
Q984496 Q850989 Q984493 Q988688
(c(Q1048835),P47,Q652988)
action filter_type
action find
entity Q652988
relation P47
type Q1048835
[ANSWERS] are bordered by that one
[{'concept': 'Q1048835'}, 'P47', 'Q652988']
SELECT DISTINCT ?s WHERE { resource:Q652988 property:P47 ?s . ?s rdf:type ontology:Q1048835 }
Selva Campanet Sa Pobla Inca
Inca, Sa Pobla and Selva are bordered by that one
Inca Sa Pobla Selva
action filter_type
action find
entity Búger
relation shares border with
type political territorial entity
[{'concept': 'political territorial entity'}, 'shares border with', 'Búger']
SELECT DISTINCT ?s WHERE { resource:Búger property:shares_border_with ?s . ?s rdf:type ontology:political_territorial_entity }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q29 Q652988
P47 P17
Q1048835
USER
Which political territories are next to the border of Búger and are present in Spain ?
AND((c(Q1048835),P47,Q652988), (c(Q1048835),P17,Q29))
action filter_type
action intersection
action find_reverse
entity Q652988
relation P47
action find_reverse
entity Q29
relation P17
type Q1048835
{'AND': [[{'concept': 'Q1048835'}, 'P47', 'Q652988'], [{'concept': 'Q1048835'}, 'P17', 'Q29']]}
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:Q1048835 . ?o property:P17 resource:Q29 . ?o property:P47 resource:Q652988 }
Spain Búger
action filter_type
action intersection
action find_reverse
entity Búger
relation shares border with
action find_reverse
entity Spain
relation country
type political territorial entity
{'AND': [[{'concept': 'political territorial entity'}, 'shares border with', 'Búger'], [{'concept': 'political territorial entity'}, 'country', 'Spain']]}
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:political_territorial_entity . ?o property:country resource:Spain . ?o property:shares_border_with resource:Búger }
[]
political territorial entity
Q984496 Q850989 Q984493 Q988688
SYSTEM
Selva, Campanet, Sa Pobla, Inca
Q984496 Q850989 Q984493 Q988688
AND((c(Q1048835),P47,Q652988), (c(Q1048835),P17,Q29))
action filter_type
action intersection
action find_reverse
entity Q652988
relation P47
action find_reverse
entity Q29
relation P17
type Q1048835
[ANSWERS] are next to the border of Búger and are present in Spain
{'AND': [[{'concept': 'Q1048835'}, 'P47', 'Q652988'], [{'concept': 'Q1048835'}, 'P17', 'Q29']]}
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:Q1048835 . ?o property:P17 resource:Q29 . ?o property:P47 resource:Q652988 }
Selva Campanet Sa Pobla Inca
Selva, Campanet, Sa Pobla and Inca are next to the border of Búger and are present in Spain
Selva Campanet Sa Pobla Inca
action filter_type
action intersection
action find_reverse
entity Búger
relation shares border with
action find_reverse
entity Spain
relation country
type political territorial entity
{'AND': [[{'concept': 'political territorial entity'}, 'shares border with', 'Búger'], [{'concept': 'political territorial entity'}, 'country', 'Spain']]}
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:political_territorial_entity . ?o property:country resource:Spain . ?o property:shares_border_with resource:Búger }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q4452416
P47
Q1048835
USER
Do those ones share a border with Tataryntsi ?
(Q4452416,P47,Q984496) (Q4452416,P47,Q850989) (Q4452416,P47,Q984493) (Q4452416,P47,Q988688)
action is_in
entity prev_answer
action find
entity Q4452416
relation P47
['Q4452416', 'P47', 'Q984496'] ['Q4452416', 'P47', 'Q850989'] ['Q4452416', 'P47', 'Q984493'] ['Q4452416', 'P47', 'Q988688']
ASK WHERE { VALUES ( ?d ) { ( resource:Q984496 ) ( resource:Q850989 ) ( resource:Q984493 ) } . resource:Q4452416 property:P47 ?d }
Tataryntsi
action is_in
entity prev_answer
action find
entity Tataryntsi
relation shares border with
['Tataryntsi', 'shares border with', 'Selva'] ['Tataryntsi', 'shares border with', 'Campanet'] ['Tataryntsi', 'shares border with', 'Sa Pobla'] ['Tataryntsi', 'shares border with', 'Inca']
ASK WHERE { VALUES ( ?d ) { ( resource:Selva ) ( resource:Campanet ) ( resource:Sa_Pobla ) } . resource:Tataryntsi property:shares_border_with ?d }
[]
political territorial entity
SYSTEM
NO
(Q4452416,P47,Q984496) (Q4452416,P47,Q850989) (Q4452416,P47,Q984493) (Q4452416,P47,Q988688)
action is_in
entity prev_answer
action find
entity Q4452416
relation P47
[ANSWER]
['Q4452416', 'P47', 'Q984496'] ['Q4452416', 'P47', 'Q850989'] ['Q4452416', 'P47', 'Q984493'] ['Q4452416', 'P47', 'Q988688']
ASK WHERE { VALUES ( ?d ) { ( resource:Q984496 ) ( resource:Q850989 ) ( resource:Q984493 ) } . resource:Q4452416 property:P47 ?d }
No
action is_in
entity prev_answer
action find
entity Tataryntsi
relation shares border with
['Tataryntsi', 'shares border with', 'Selva'] ['Tataryntsi', 'shares border with', 'Campanet'] ['Tataryntsi', 'shares border with', 'Sa Pobla'] ['Tataryntsi', 'shares border with', 'Inca']
ASK WHERE { VALUES ( ?d ) { ( resource:Selva ) ( resource:Campanet ) ( resource:Sa_Pobla ) } . resource:Tataryntsi property:shares_border_with ?d }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q26699428 Q1005 Q398141
P17
Q15617994
USER
Is mayor of Búger located in Gambia and school district ?
(Q26699428,P17,Q1005) (Q26699428,P17,Q398141)
action is_in
entity Q26699428
action intersection
action find_reverse
entity Q1005
relation P17
action find_reverse
entity Q398141
relation P17
['Q26699428', 'P17', 'Q1005'] ['Q26699428', 'P17', 'Q398141']
ASK WHERE { resource:Q26699428 property:P17 resource:Q1005 . resource:Q26699428 property:P17 resource:Q398141 }
mayor of Búger Gambia school district
action is_in
entity mayor of Búger
action intersection
action find_reverse
entity Gambia
relation country
action find_reverse
entity school district
relation country
['mayor of Búger', 'country', 'Gambia'] ['mayor of Búger', 'country', 'school district']
ASK WHERE { resource:mayor_of_Búger property:country resource:Gambia . resource:mayor_of_Búger property:country resource:school_district }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q26699428,P17,Q1005) (Q26699428,P17,Q398141)
action is_in
entity Q26699428
action intersection
action find_reverse
entity Q1005
relation P17
action find_reverse
entity Q398141
relation P17
[ANSWER]
['Q26699428', 'P17', 'Q1005'] ['Q26699428', 'P17', 'Q398141']
ASK WHERE { resource:Q26699428 property:P17 resource:Q1005 . resource:Q26699428 property:P17 resource:Q398141 }
No
action is_in
entity mayor of Búger
action intersection
action find_reverse
entity Gambia
relation country
action find_reverse
entity school district
relation country
['mayor of Búger', 'country', 'Gambia'] ['mayor of Búger', 'country', 'school district']
ASK WHERE { resource:mayor_of_Búger property:country resource:Gambia . resource:mayor_of_Búger property:country resource:school_district }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q984496 Q950951
P47
Q1048835
USER
Does Escorca have a shared border with Selva ?
(Q984496,P47,Q950951)
action is_in
entity Q950951
action find
entity Q984496
relation P47
['Q984496', 'P47', 'Q950951']
ASK WHERE { resource:Q984496 property:P47 resource:Q950951 }
Selva Escorca
action is_in
entity Escorca
action find
entity Selva
relation shares border with
['Selva', 'shares border with', 'Escorca']
ASK WHERE { resource:Selva property:shares_border_with resource:Escorca }
[]
political territorial entity
SYSTEM
YES
(Q984496,P47,Q950951)
action is_in
entity Q950951
action find
entity Q984496
relation P47
[ANSWER]
['Q984496', 'P47', 'Q950951']
ASK WHERE { resource:Q984496 property:P47 resource:Q950951 }
Yes
action is_in
entity Escorca
action find
entity Selva
relation shares border with
['Selva', 'shares border with', 'Escorca']
ASK WHERE { resource:Selva property:shares_border_with resource:Escorca }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q23016486 Q4452416
P27 P17
Q15617994
USER
Which administrative territories do Tataryntsi belong to or are André Trèves an inhabitant of ?
OR((Q4452416,P17,c(Q15617994)), (Q23016486,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q4452416
relation P17
action find
entity Q23016486
relation P27
type Q15617994
{'OR': [['Q4452416', 'P17', {'concept': 'Q15617994'}], ['Q23016486', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?t WHERE { { { resource:Q4452416 property:P17 ?t } UNION { resource:Q23016486 property:P27 ?t } } . ?t rdf:type ontology:Q15617994 }
André Trèves Tataryntsi
action filter_type
action union
action find
entity Tataryntsi
relation country
action find
entity André Trèves
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Tataryntsi', 'country', {'concept': 'designation for an administrative territorial entity'}], ['André Trèves', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?t WHERE { { { resource:Tataryntsi property:country ?t } UNION { resource:André_Trèves property:country_of_citizenship ?t } } . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q212 Q142
SYSTEM
Ukraine, France
Q212 Q142
OR((Q4452416,P17,c(Q15617994)), (Q23016486,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q4452416
relation P17
action find
entity Q23016486
relation P27
type Q15617994
André Trèves Tataryntsi belong or are an inhabitant of the [ANSWERS]
{'OR': [['Q4452416', 'P17', {'concept': 'Q15617994'}], ['Q23016486', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?t WHERE { { { resource:Q4452416 property:P17 ?t } UNION { resource:Q23016486 property:P27 ?t } } . ?t rdf:type ontology:Q15617994 }
Ukraine France
André Trèves Tataryntsi belong or are an inhabitant of the Ukraine and France
Ukraine France
action filter_type
action union
action find
entity Tataryntsi
relation country
action find
entity André Trèves
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Tataryntsi', 'country', {'concept': 'designation for an administrative territorial entity'}], ['André Trèves', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?t WHERE { { { resource:Tataryntsi property:country ?t } UNION { resource:André_Trèves property:country_of_citizenship ?t } } . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]