Simple Question (Direct)
Simple Question
Q1336815
P937
Q56061
USER
What are the work locations of Emil Schmid ?
(Q1336815,P937,c(Q56061))
action filter_type
action find
entity Q1336815
relation P937
type Q56061
['Q1336815', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?u WHERE { resource:Q1336815 property:P937 ?u . ?u rdf:type ontology:Q56061 }
Emil Schmid
action filter_type
action find
entity Emil Schmid
relation work location
type administrative territorial entity
['Emil Schmid', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Emil_Schmid property:work_location ?u . ?u rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q1726 Q72
SYSTEM
Munich, Zürich
Q1726 Q72
(Q1336815,P937,c(Q56061))
action filter_type
action find
entity Q1336815
relation P937
type Q56061
The work locations of Emil Schmid are in [ANSWERS]
['Q1336815', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?u WHERE { resource:Q1336815 property:P937 ?u . ?u rdf:type ontology:Q56061 }
Munich Zürich
The work locations of Emil Schmid are in Munich and Zürich
Munich Zürich
action filter_type
action find
entity Emil Schmid
relation work location
type administrative territorial entity
['Emil Schmid', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Emil_Schmid property:work_location ?u . ?u rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Mult. Entity
Q1726 Q72
P190
Q515
USER
Which cities are partner towns of those administrative territories ?
(Q1726,P190,c(Q515)) (Q72,P190,c(Q515))
action filter_type
action find
entity prev_answer
relation P190
type Q515
['Q1726', 'P190', {'concept': 'Q515'}] ['Q72', 'P190', {'concept': 'Q515'}]
SELECT DISTINCT ?p WHERE { ?n property:P190 ?p . ?p rdf:type ontology:Q515 . VALUES ( ?n ) { ( resource:Q1726 ) ( resource:Q72 ) } }
Munich Zürich
action filter_type
action find
entity prev_answer
relation sister city
type city
['Munich', 'sister city', {'concept': 'city'}] ['Zürich', 'sister city', {'concept': 'city'}]
SELECT DISTINCT ?p WHERE { ?n property:sister_city ?p . ?p rdf:type ontology:city . VALUES ( ?n ) { ( resource:Munich ) ( resource:Zürich ) } }
[]
city
Q43196 Q1899 Q182852
SYSTEM
Cincinnati, Kyiv, Kunming
Q43196 Q1899 Q182852
(Q1726,P190,c(Q515)) (Q72,P190,c(Q515))
action filter_type
action find
entity prev_answer
relation P190
type Q515
[ANSWERS] are partner towns of those administrative territories
['Q1726', 'P190', {'concept': 'Q515'}] ['Q72', 'P190', {'concept': 'Q515'}]
SELECT DISTINCT ?p WHERE { ?n property:P190 ?p . ?p rdf:type ontology:Q515 . VALUES ( ?n ) { ( resource:Q1726 ) ( resource:Q72 ) } }
Cincinnati Kyiv Kunming
Cincinnati, Kyiv and Kunming are partner towns of those administrative territories
Cincinnati Kyiv Kunming
action filter_type
action find
entity prev_answer
relation sister city
type city
['Munich', 'sister city', {'concept': 'city'}] ['Zürich', 'sister city', {'concept': 'city'}]
SELECT DISTINCT ?p WHERE { ?n property:sister_city ?p . ?p rdf:type ontology:city . VALUES ( ?n ) { ( resource:Munich ) ( resource:Zürich ) } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1899
P47
Q1048835
USER
Which political territory shares border with Kyiv ?
(Q1899,P47,c(Q1048835))
action filter_type
action find
entity Q1899
relation P47
type Q1048835
['Q1899', 'P47', {'concept': 'Q1048835'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q1048835 . resource:Q1899 property:P47 ?c }
Kyiv
action filter_type
action find
entity Kyiv
relation shares border with
type political territorial entity
['Kyiv', 'shares border with', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:political_territorial_entity . resource:Kyiv property:shares_border_with ?c }
[]
political territorial entity
Q170036
SYSTEM
Kiev Oblast
Q170036
(Q1899,P47,c(Q1048835))
action filter_type
action find
entity Q1899
relation P47
type Q1048835
Of [ANSWER] shares border with Kyiv
['Q1899', 'P47', {'concept': 'Q1048835'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q1048835 . resource:Q1899 property:P47 ?c }
Kiev Oblast
Of Kiev Oblast shares border with Kyiv
Kiev Oblast
action filter_type
action find
entity Kyiv
relation shares border with
type political territorial entity
['Kyiv', 'shares border with', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:political_territorial_entity . resource:Kyiv property:shares_border_with ?c }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q170036 Q26791399 Q166709
P47
Q1048835
USER
Does Pangan‑an and Vinnytsia Oblast share a border with Q170036 ?
(Q170036,P47,Q26791399) (Q170036,P47,Q166709)
action is_in
entity Q170036
action intersection
action find_reverse
entity Q26791399
relation P47
action find_reverse
entity Q166709
relation P47
['Q170036', 'P47', 'Q26791399'] ['Q170036', 'P47', 'Q166709']
ASK WHERE { resource:Q170036 property:P47 resource:Q26791399 . resource:Q170036 property:P47 resource:Q166709 }
Kiev Oblast Pangan‑an Vinnytsia Oblast
action is_in
entity Kiev Oblast
action intersection
action find_reverse
entity Pangan‑an
relation shares border with
action find_reverse
entity Vinnytsia Oblast
relation shares border with
['Kiev Oblast', 'shares border with', 'Pangan‑an'] ['Kiev Oblast', 'shares border with', 'Vinnytsia Oblast']
ASK WHERE { resource:Kiev_Oblast property:shares_border_with resource:Pangan‑an . resource:Kiev_Oblast property:shares_border_with resource:Vinnytsia_Oblast }
[]
political territorial entity
SYSTEM
NO and YES respectively
(Q170036,P47,Q26791399) (Q170036,P47,Q166709)
action is_in
entity Q170036
action intersection
action find_reverse
entity Q26791399
relation P47
action find_reverse
entity Q166709
relation P47
[ANSWER]
['Q170036', 'P47', 'Q26791399'] ['Q170036', 'P47', 'Q166709']
ASK WHERE { resource:Q170036 property:P47 resource:Q26791399 . resource:Q170036 property:P47 resource:Q166709 }
NO and YES respectively
action is_in
entity Kiev Oblast
action intersection
action find_reverse
entity Pangan‑an
relation shares border with
action find_reverse
entity Vinnytsia Oblast
relation shares border with
['Kiev Oblast', 'shares border with', 'Pangan‑an'] ['Kiev Oblast', 'shares border with', 'Vinnytsia Oblast']
ASK WHERE { resource:Kiev_Oblast property:shares_border_with resource:Pangan‑an . resource:Kiev_Oblast property:shares_border_with resource:Vinnytsia_Oblast }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q93347 Q1899
P190
Q56061
USER
Which administrative territories are twin city of Kyiv and Mostar ?
AND((c(Q56061),P190,Q1899), (c(Q56061),P190,Q93347))
action filter_type
action intersection
action find_reverse
entity Q1899
relation P190
action find_reverse
entity Q93347
relation P190
type Q56061
{'AND': [[{'concept': 'Q56061'}, 'P190', 'Q1899'], [{'concept': 'Q56061'}, 'P190', 'Q93347']]}
SELECT DISTINCT ?q WHERE { ?q property:P190 resource:Q1899 . ?q property:P190 resource:Q93347 . ?q rdf:type ontology:Q56061 }
Mostar Kyiv
action filter_type
action intersection
action find_reverse
entity Kyiv
relation sister city
action find_reverse
entity Mostar
relation sister city
type administrative territorial entity
{'AND': [[{'concept': 'administrative territorial entity'}, 'sister city', 'Kyiv'], [{'concept': 'administrative territorial entity'}, 'sister city', 'Mostar']]}
SELECT DISTINCT ?q WHERE { ?q property:sister_city resource:Kyiv . ?q property:sister_city resource:Mostar . ?q rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q2044
SYSTEM
Florence
Q2044
AND((c(Q56061),P190,Q1899), (c(Q56061),P190,Q93347))
action filter_type
action intersection
action find_reverse
entity Q1899
relation P190
action find_reverse
entity Q93347
relation P190
type Q56061
[ANSWER] is twin city of Kyiv and Mostar
{'AND': [[{'concept': 'Q56061'}, 'P190', 'Q1899'], [{'concept': 'Q56061'}, 'P190', 'Q93347']]}
SELECT DISTINCT ?q WHERE { ?q property:P190 resource:Q1899 . ?q property:P190 resource:Q93347 . ?q rdf:type ontology:Q56061 }
Florence
Florence is twin city of Kyiv and Mostar
Florence
action filter_type
action intersection
action find_reverse
entity Kyiv
relation sister city
action find_reverse
entity Mostar
relation sister city
type administrative territorial entity
{'AND': [[{'concept': 'administrative territorial entity'}, 'sister city', 'Kyiv'], [{'concept': 'administrative territorial entity'}, 'sister city', 'Mostar']]}
SELECT DISTINCT ?q WHERE { ?q property:sister_city resource:Kyiv . ?q property:sister_city resource:Mostar . ?q rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2044
P6
Q502895
USER
Which people are the head of government of that administrative territory ?
(Q2044,P6,c(Q502895))
action filter_type
action find
entity Q2044
relation P6
type Q502895
['Q2044', 'P6', {'concept': 'Q502895'}]
SELECT DISTINCT ?f WHERE { resource:Q2044 property:P6 ?f . ?f rdf:type ontology:Q502895 }
Florence
action filter_type
action find
entity Florence
relation head of government
type common name
['Florence', 'head of government', {'concept': 'common name'}]
SELECT DISTINCT ?f WHERE { resource:Florence property:head_of_government ?f . ?f rdf:type ontology:common_name }
[]
common name
Q47563 Q15976266
SYSTEM
Matteo Renzi, Dario Nardella
Q47563 Q15976266
(Q2044,P6,c(Q502895))
action filter_type
action find
entity Q2044
relation P6
type Q502895
[ANSWERS] are the head of government of that administrative territory
['Q2044', 'P6', {'concept': 'Q502895'}]
SELECT DISTINCT ?f WHERE { resource:Q2044 property:P6 ?f . ?f rdf:type ontology:Q502895 }
Matteo Renzi Dario Nardella
Matteo Renzi and Dario Nardella are the head of government of that administrative territory
Matteo Renzi Dario Nardella
action filter_type
action find
entity Florence
relation head of government
type common name
['Florence', 'head of government', {'concept': 'common name'}]
SELECT DISTINCT ?f WHERE { resource:Florence property:head_of_government ?f . ?f rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q44823 Q170036
P36
Q515
USER
Which cities are the capitals of Kiev Oblast or Santa Fe Province ?
OR((Q170036,P36,c(Q515)), (Q44823,P36,c(Q515)))
action filter_type
action union
action find
entity Q170036
relation P36
action find
entity Q44823
relation P36
type Q515
{'OR': [['Q170036', 'P36', {'concept': 'Q515'}], ['Q44823', 'P36', {'concept': 'Q515'}]]}
SELECT DISTINCT ?x WHERE { { VALUES ( ?u ) { ( resource:Q170036 ) ( resource:Q44823 ) } . ?u property:P36 ?x } . ?x rdf:type ontology:Q515 }
Santa Fe Province Kiev Oblast
action filter_type
action union
action find
entity Kiev Oblast
relation capital
action find
entity Santa Fe Province
relation capital
type city
{'OR': [['Kiev Oblast', 'capital', {'concept': 'city'}], ['Santa Fe Province', 'capital', {'concept': 'city'}]]}
SELECT DISTINCT ?x WHERE { { VALUES ( ?u ) { ( resource:Kiev_Oblast ) ( resource:Santa_Fe_Province ) } . ?u property:capital ?x } . ?x rdf:type ontology:city }
[]
city
Q1899 Q44244
SYSTEM
Kyiv, Santa Fe
Q1899 Q44244
OR((Q170036,P36,c(Q515)), (Q44823,P36,c(Q515)))
action filter_type
action union
action find
entity Q170036
relation P36
action find
entity Q44823
relation P36
type Q515
The capitals of Kiev Oblast or Santa Fe Province are in [ANSWERS]
{'OR': [['Q170036', 'P36', {'concept': 'Q515'}], ['Q44823', 'P36', {'concept': 'Q515'}]]}
SELECT DISTINCT ?x WHERE { { VALUES ( ?u ) { ( resource:Q170036 ) ( resource:Q44823 ) } . ?u property:P36 ?x } . ?x rdf:type ontology:Q515 }
Kyiv Santa Fe
The capitals of Kiev Oblast or Santa Fe Province are in Kyiv and Santa Fe
Kyiv Santa Fe
action filter_type
action union
action find
entity Kiev Oblast
relation capital
action find
entity Santa Fe Province
relation capital
type city
{'OR': [['Kiev Oblast', 'capital', {'concept': 'city'}], ['Santa Fe Province', 'capital', {'concept': 'city'}]]}
SELECT DISTINCT ?x WHERE { { VALUES ( ?u ) { ( resource:Kiev_Oblast ) ( resource:Santa_Fe_Province ) } . ?u property:capital ?x } . ?x rdf:type ontology:city }
[]