Simple Question (Direct)
Simple Question
Q1613095
P27
Q1048835
USER
Which political territory is Hermann Winkler a civilian of ?
(Q1613095,P27,c(Q1048835))
action filter_type
action find
entity Q1613095
relation P27
type Q1048835
['Q1613095', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?j WHERE { resource:Q1613095 property:P27 ?j . ?j rdf:type ontology:Q1048835 }
Hermann Winkler
action filter_type
action find
entity Hermann Winkler
relation country of citizenship
type political territorial entity
['Hermann Winkler', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?j WHERE { resource:Hermann_Winkler property:country_of_citizenship ?j . ?j rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
(Q1613095,P27,c(Q1048835))
action filter_type
action find
entity Q1613095
relation P27
type Q1048835
[ANSWER] is Hermann Winkler a civilian of
['Q1613095', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?j WHERE { resource:Q1613095 property:P27 ?j . ?j rdf:type ontology:Q1048835 }
Germany
Germany is Hermann Winkler a civilian of
Germany
action filter_type
action find
entity Hermann Winkler
relation country of citizenship
type political territorial entity
['Hermann Winkler', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?j WHERE { resource:Hermann_Winkler property:country_of_citizenship ?j . ?j rdf:type ontology:political_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1613095
P20
Q15617994
USER
Where did that person expire ?
(Q183,P20,c(Q15617994))
action filter_type
action find
entity Q1613095
relation P20
type Q15617994
['Q183', 'P20', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:Q15617994 . resource:Q1613095 property:P20 ?x }
Hermann Winkler
action filter_type
action find
entity Hermann Winkler
relation place of death
type designation for an administrative territorial entity
['Germany', 'place of death', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Hermann_Winkler property:place_of_death ?x }
[]
designation for an administrative territorial entity
Q74057
SYSTEM
Gauting
Q74057
(Q183,P20,c(Q15617994))
action filter_type
action find
entity Q1613095
relation P20
type Q15617994
That person expired in [ANSWER]
['Q183', 'P20', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:Q15617994 . resource:Q1613095 property:P20 ?x }
Gauting
That person expired in Gauting
Gauting
action filter_type
action find
entity Hermann Winkler
relation place of death
type designation for an administrative territorial entity
['Germany', 'place of death', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Hermann_Winkler property:place_of_death ?x }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q74057
P190
Q56061
USER
Which administrative territory is twin city of that administrative territory ?
(Q74057,P190,c(Q56061))
action filter_type
action find
entity Q74057
relation P190
type Q56061
['Q74057', 'P190', {'concept': 'Q56061'}]
SELECT DISTINCT ?q WHERE { resource:Q74057 property:P190 ?q . ?q rdf:type ontology:Q56061 }
Gauting
action filter_type
action find
entity Gauting
relation sister city
type administrative territorial entity
['Gauting', 'sister city', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?q WHERE { resource:Gauting property:sister_city ?q . ?q rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q2247524
SYSTEM
Patchway
Q2247524
(Q74057,P190,c(Q56061))
action filter_type
action find
entity Q74057
relation P190
type Q56061
[ANSWER] is twin city of that administrative territory
['Q74057', 'P190', {'concept': 'Q56061'}]
SELECT DISTINCT ?q WHERE { resource:Q74057 property:P190 ?q . ?q rdf:type ontology:Q56061 }
Patchway
Patchway is twin city of that administrative territory
Patchway
action filter_type
action find
entity Gauting
relation sister city
type administrative territorial entity
['Gauting', 'sister city', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?q WHERE { resource:Gauting property:sister_city ?q . ?q rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q2247524 Q385359
P190
Q20667921
USER
Is Castanet-le-Haut partner town of that administrative territory ?
(Q385359,P190,Q2247524)
action is_in
entity Q385359
action find
entity Q2247524
relation P190
['Q385359', 'P190', 'Q2247524']
ASK WHERE { resource:Q2247524 property:P190 resource:Q385359 }
Patchway Castanet-le-Haut
action is_in
entity Castanet-le-Haut
action find
entity Patchway
relation sister city
['Castanet-le-Haut', 'sister city', 'Patchway']
ASK WHERE { resource:Patchway property:sister_city resource:Castanet-le-Haut }
[]
type of french administrative division
SYSTEM
NO
(Q385359,P190,Q2247524)
action is_in
entity Q385359
action find
entity Q2247524
relation P190
[ANSWER]
['Q385359', 'P190', 'Q2247524']
ASK WHERE { resource:Q2247524 property:P190 resource:Q385359 }
No
action is_in
entity Castanet-le-Haut
action find
entity Patchway
relation sister city
['Castanet-le-Haut', 'sister city', 'Patchway']
ASK WHERE { resource:Patchway property:sister_city resource:Castanet-le-Haut }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P194
Q11204 Q701632 Q15617994
USER
How many administrative territories have atmost 1 legislatures and municipal councils as their council ?
(c(Q15617994),P194,c(Q11204)|c(Q701632))
action count
action atmost
action union
action find_tuple_counts
relation P194
type Q15617994
type Q11204
action find_tuple_counts
relation P194
type Q15617994
type Q701632
value 1
[{'concept': 'Q15617994'}, 'P194', [{'concept': 'Q11204'}, {'concept': 'Q701632'}]]
SELECT DISTINCT ( COUNT ( ?k ) AS ?m ) WHERE { FILTER ( ?q <= 1 ) . { SELECT DISTINCT ?k ( COUNT ( ?v ) AS ?q ) WHERE { { ?k property:P194 ?v . ?k rdf:type ontology:Q15617994 . ?v rdf:type ontology:Q11204 } UNION { ?k property:P194 ?v . ?v rdf:type ontology:Q701632 . ?k rdf:type ontology:Q15617994 } } GROUP BY ?k } }
action count
action atmost
action union
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type legislature
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type municipal council
value 1
[{'concept': 'designation for an administrative territorial entity'}, 'legislative body', [{'concept': 'legislature'}, {'concept': 'municipal council'}]]
SELECT DISTINCT ( COUNT ( ?k ) AS ?m ) WHERE { FILTER ( ?q <= 1 ) . { SELECT DISTINCT ?k ( COUNT ( ?v ) AS ?q ) WHERE { { ?k property:legislative_body ?v . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity . ?v rdf:type ontology:legislature } UNION { ?k property:legislative_body ?v . ?v rdf:type ontology:municipal_council . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?k } }
[]
legislature municipal council designation for an administrative territorial entity
SYSTEM
141
Q805 Q804 Q801 Q800 Q1462 Q1250 Q419 Q668 Q2806757 Q414 Q142 Q55 Q1948 Q145 Q148 Q189 Q786 Q710 Q717 Q252320 Q187035 Q1460 Q3361 Q657 Q258 Q1979 Q45 Q159 Q43 Q41 Q155 Q792 Q4628 Q779011 Q794 Q889 Q884 Q958 Q12574 Q153529 Q1965 Q12761 Q242 Q244 Q1974 Q33 Q32 Q31 Q30 Q37 Q36 Q34 Q929 Q39 Q38 Q739 Q3685392 Q733 Q29999 Q854 Q153091 Q1447 Q104192 Q603676 Q1282 Q1284 Q3389 Q236 Q747074 Q72449 Q233 Q238 Q12661 Q20 Q1273 Q28 Q29 Q1279 Q1049 Q783 Q2009 Q2007 Q184 Q2003 Q1458 Q1904 Q228 Q227 Q224 Q223 Q222 Q221 Q815731 Q96 Q229 Q347 Q17 Q1989 Q902 Q191 Q697 Q298 Q114 Q754 Q750 Q212 Q213 Q211 Q6465 Q214 Q215 Q218 Q219 Q1210 Q917 Q16110 Q736 Q34020 Q686 Q760 Q574 Q694594 Q79 Q77 Q1222 Q774 Q811 Q1016 Q27 Q1011 Q1243 Q1013 Q12620 Q12626 Q672 Q176 Q1951 Q1952 Q2023 Q869 Q1237
(c(Q15617994),P194,c(Q11204)|c(Q701632))
action count
action atmost
action union
action find_tuple_counts
relation P194
type Q15617994
type Q11204
action find_tuple_counts
relation P194
type Q15617994
type Q701632
value 1
[ANSWER]
[{'concept': 'Q15617994'}, 'P194', [{'concept': 'Q11204'}, {'concept': 'Q701632'}]]
SELECT DISTINCT ( COUNT ( ?k ) AS ?m ) WHERE { FILTER ( ?q <= 1 ) . { SELECT DISTINCT ?k ( COUNT ( ?v ) AS ?q ) WHERE { { ?k property:P194 ?v . ?k rdf:type ontology:Q15617994 . ?v rdf:type ontology:Q11204 } UNION { ?k property:P194 ?v . ?v rdf:type ontology:Q701632 . ?k rdf:type ontology:Q15617994 } } GROUP BY ?k } }
Yemen Panama Israel Costa Rica Sardinia Friuli–Venezia Giulia Peru India 105 Mile Post Indian Reserve No. 2 Argentina France Netherlands Manitoba United Kingdom People's Republic of China Iceland Dominican Republic Kiribati Venezuela Pleinfeld Principality of Albania Sicily Doubs Chad South Africa Prince Edward Island Portugal Russia Turkey Greece Brazil El Salvador Faroe Islands Principality of Montenegro Iran Afghanistan South Korea South Sudan Loiret Duchy of Milan New Brunswick Seine-Saint-Denis Belize Barbados British Columbia Finland Luxembourg Belgium United States of America Lithuania Poland Sweden Central African Republic Switzerland Italy Colombia Municipality of Monaco Paraguay Kingdom of the Netherlands Sri Lanka Duchy of Prussia Apulia Kleinmachnow District of Keewatin Lazio Abruzzo Finistère Montenegro comune of Italy Roccarainola Malta San Marino Nord Norway Tuscany Hungary Spain Marche Sudan Honduras Yukon Northwest Territories Belarus Newfoundland and Labrador Calabria Ontario Andorra Azerbaijan Croatia Greenland Albania Republic of Macedonia Principality of Bulgaria Mexico Cyprus Liechtenstein Japan Saskatchewan Bangladesh Estonia Nauru Chile Kenya Trinidad and Tobago Bolivia Ukraine Czech Republic Latvia department of France Slovakia Slovenia Romania Bulgaria Lombardy Bhutan region of Italy Ecuador Niue Vanuatu Saint Lucia East Timor Bremen-Verden Egypt Uruguay Aosta Valley Guatemala Nicaragua Libya Ireland Cape Verde Veneto Lesotho Mayenne Meurthe-et-Moselle Tuvalu Quebec Alberta Nova Scotia Nunavut Thailand Trentino-South Tyrol
141
action count
action atmost
action union
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type legislature
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type municipal council
value 1
[{'concept': 'designation for an administrative territorial entity'}, 'legislative body', [{'concept': 'legislature'}, {'concept': 'municipal council'}]]
SELECT DISTINCT ( COUNT ( ?k ) AS ?m ) WHERE { FILTER ( ?q <= 1 ) . { SELECT DISTINCT ?k ( COUNT ( ?v ) AS ?q ) WHERE { { ?k property:legislative_body ?v . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity . ?v rdf:type ontology:legislature } UNION { ?k property:legislative_body ?v . ?v rdf:type ontology:municipal_council . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?k } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q411485 Q385359
P47
Q20667921
USER
Which french administrative divisions are bordered by Castanet-le-Haut or Aix ?
OR((c(Q20667921),P47,Q385359), (c(Q20667921),P47,Q411485))
action filter_type
action union
action find_reverse
entity Q385359
relation P47
action find_reverse
entity Q411485
relation P47
type Q20667921
{'OR': [[{'concept': 'Q20667921'}, 'P47', 'Q385359'], [{'concept': 'Q20667921'}, 'P47', 'Q411485']]}
SELECT DISTINCT ?e WHERE { { VALUES ( ?q ) { ( resource:Q385359 ) ( resource:Q411485 ) } . ?e property:P47 ?q } . ?e rdf:type ontology:Q20667921 }
Aix Castanet-le-Haut
action filter_type
action union
action find_reverse
entity Castanet-le-Haut
relation shares border with
action find_reverse
entity Aix
relation shares border with
type type of french administrative division
{'OR': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Castanet-le-Haut'], [{'concept': 'type of french administrative division'}, 'shares border with', 'Aix']]}
SELECT DISTINCT ?e WHERE { { VALUES ( ?q ) { ( resource:Castanet-le-Haut ) ( resource:Aix ) } . ?e property:shares_border_with ?q } . ?e rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1020520 Q192494 Q665864 Q175435 Q513717 Q624286 Q188707 Q624308 Q624618 Q274630
SYSTEM
Some of them are Arnac-sur-Dourdou, Rosis, Saint-Pardoux-le-Neuf, Courteix, Murat-sur-Vèbre, Saint-Étienne-aux-Clos, Saint-Geniès-de-Varensal, Saint-Fréjoux, Lamazière-Haute, Cambon-et-Salvergues
Q127725 Q665864 Q18101 Q192494 Q315162 Q1020520 Q624286 Q175435 Q1143280 Q188707 Q624618 Q274630 Q468352 Q513717 Q624308
OR((c(Q20667921),P47,Q385359), (c(Q20667921),P47,Q411485))
action filter_type
action union
action find_reverse
entity Q385359
relation P47
action find_reverse
entity Q411485
relation P47
type Q20667921
[ANSWERS] are bordered by Castanet-le-Haut or Aix
{'OR': [[{'concept': 'Q20667921'}, 'P47', 'Q385359'], [{'concept': 'Q20667921'}, 'P47', 'Q411485']]}
SELECT DISTINCT ?e WHERE { { VALUES ( ?q ) { ( resource:Q385359 ) ( resource:Q411485 ) } . ?e property:P47 ?q } . ?e rdf:type ontology:Q20667921 }
Eygurande Saint-Pardoux-le-Neuf Ussel Rosis Merlines Arnac-sur-Dourdou Saint-Étienne-aux-Clos Courteix Mélagues Saint-Geniès-de-Varensal Lamazière-Haute Cambon-et-Salvergues Couffy-sur-Sarsonne Murat-sur-Vèbre Saint-Fréjoux
Arnac-sur-Dourdou, Rosis, Saint-Pardoux-le-Neuf, Courteix, Murat-sur-Vèbre, Saint-Étienne-aux-Clos, Saint-Geniès-de-Varensal, Saint-Fréjoux, Lamazière-Haute and Cambon-et-Salvergues are bordered by Castanet-le-Haut or Aix
Arnac-sur-Dourdou Rosis Saint-Pardoux-le-Neuf Courteix Murat-sur-Vèbre Saint-Étienne-aux-Clos Saint-Geniès-de-Varensal Saint-Fréjoux Lamazière-Haute Cambon-et-Salvergues
action filter_type
action union
action find_reverse
entity Castanet-le-Haut
relation shares border with
action find_reverse
entity Aix
relation shares border with
type type of french administrative division
{'OR': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Castanet-le-Haut'], [{'concept': 'type of french administrative division'}, 'shares border with', 'Aix']]}
SELECT DISTINCT ?e WHERE { { VALUES ( ?q ) { ( resource:Castanet-le-Haut ) ( resource:Aix ) } . ?e property:shares_border_with ?q } . ?e rdf:type ontology:type_of_french_administrative_division }
[]
Clarification
Simple Question|Single Entity|Indirect
Q175435
P17
Q15617994
USER
Which administrative territory is that french administrative division present in ?
(Q175435,P17,c(Q15617994))
action filter_type
action find
entity Q175435
relation P17
type Q15617994
['Q175435', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?p WHERE { resource:Q175435 property:P17 ?p . ?p rdf:type ontology:Q15617994 }
Courteix
action filter_type
action find
entity Courteix
relation country
type designation for an administrative territorial entity
['Courteix', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { resource:Courteix property:country ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Clarification for simple ques.
Q1020520
SYSTEM
Did you mean Arnac-sur-Dourdou ?
Q1020520 Q192494 Q665864 Q175435 Q513717 Q624286 Q188707 Q624308 Q624618 Q274630
(Q1020520,P17,c(Q15617994)) (Q192494,P17,c(Q15617994)) (Q665864,P17,c(Q15617994)) (Q175435,P17,c(Q15617994)) (Q513717,P17,c(Q15617994)) (Q624286,P17,c(Q15617994)) (Q188707,P17,c(Q15617994)) (Q624308,P17,c(Q15617994)) (Q624618,P17,c(Q15617994)) (Q274630,P17,c(Q15617994))
[ANSWER]
['Q1020520', 'P17', {'concept': 'Q15617994'}] ['Q192494', 'P17', {'concept': 'Q15617994'}] ['Q665864', 'P17', {'concept': 'Q15617994'}] ['Q175435', 'P17', {'concept': 'Q15617994'}] ['Q513717', 'P17', {'concept': 'Q15617994'}] ['Q624286', 'P17', {'concept': 'Q15617994'}] ['Q188707', 'P17', {'concept': 'Q15617994'}] ['Q624308', 'P17', {'concept': 'Q15617994'}] ['Q624618', 'P17', {'concept': 'Q15617994'}] ['Q274630', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?p WHERE { resource:Q175435 property:P17 ?p . ?p rdf:type ontology:Q15617994 }
Arnac-sur-Dourdou Rosis Saint-Pardoux-le-Neuf Courteix Murat-sur-Vèbre Saint-Étienne-aux-Clos Saint-Geniès-de-Varensal Saint-Fréjoux Lamazière-Haute Cambon-et-Salvergues
Did you mean Arnac-sur-Dourdou ?
Arnac-sur-Dourdou
['Arnac-sur-Dourdou', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Rosis', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Saint-Pardoux-le-Neuf', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Courteix', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Murat-sur-Vèbre', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Saint-Étienne-aux-Clos', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Saint-Geniès-de-Varensal', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Saint-Fréjoux', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Lamazière-Haute', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Cambon-et-Salvergues', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { resource:Courteix property:country ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
USER
No, I meant Courteix. Could you tell me the answer for that?
(Q175435,P17,c(Q15617994))
Q175435
['Q175435', 'P17', {'concept': 'Q15617994'}]
['Courteix', 'country', {'concept': 'designation for an administrative territorial entity'}]
[]
Q142
SYSTEM
France
Q142
(Q175435,P17,c(Q15617994))
action filter_type
action find
entity Q175435
relation P17
type Q15617994
That french administrative division is in [ANSWER]
['Q175435', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?p WHERE { resource:Q175435 property:P17 ?p . ?p rdf:type ontology:Q15617994 }
France
That french administrative division is in France
France
action filter_type
action find
entity Courteix
relation country
type designation for an administrative territorial entity
['Courteix', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { resource:Courteix property:country ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]