Simple Question (Direct)
Simple Question
Q639592
P17
Q15617994
USER
Which administrative territory does Letia belong to ?
(Q639592,P17,c(Q15617994))
action filter_type
action find
entity Q639592
relation P17
type Q15617994
['Q639592', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?e WHERE { resource:Q639592 property:P17 ?e . ?e rdf:type ontology:Q15617994 }
Letia
action filter_type
action find
entity Letia
relation country
type designation for an administrative territorial entity
['Letia', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:Letia property:country ?e . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142
SYSTEM
France
Q142
(Q639592,P17,c(Q15617994))
action filter_type
action find
entity Q639592
relation P17
type Q15617994
Letia belongs to [ANSWER]
['Q639592', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?e WHERE { resource:Q639592 property:P17 ?e . ?e rdf:type ontology:Q15617994 }
France
Letia belongs to France
France
action filter_type
action find
entity Letia
relation country
type designation for an administrative territorial entity
['Letia', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:Letia property:country ?e . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q639592
P47
Q20667921
USER
Which french administrative divisions share border with Letia ?
(Q639592,P47,c(Q20667921))
action filter_type
action find
entity Q639592
relation P47
type Q20667921
['Q639592', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q20667921 . resource:Q639592 property:P47 ?u }
Letia
action filter_type
action find
entity Letia
relation shares border with
type type of french administrative division
['Letia', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:type_of_french_administrative_division . resource:Letia property:shares_border_with ?u }
[]
type of french administrative division
Q213555 Q685988 Q1109689
SYSTEM
Corte, Vico, Poggiolo
Q1109860 Q213555 Q259908 Q1109689 Q658410 Q685988 Q1059498 Q734443
(Q639592,P47,c(Q20667921))
action filter_type
action find
entity Q639592
relation P47
type Q20667921
[ANSWERS] share border with Letia
['Q639592', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q20667921 . resource:Q639592 property:P47 ?u }
Soccia Corte Murzo Poggiolo Renno Vico Albertacce Cristinacce
Corte, Vico and Poggiolo share border with Letia
Corte Vico Poggiolo
action filter_type
action find
entity Letia
relation shares border with
type type of french administrative division
['Letia', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:type_of_french_administrative_division . resource:Letia property:shares_border_with ?u }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q1106600
Q20667921
USER
And what about Bonlier?
(Q1106600,P47,c(Q20667921))
action filter_type
action find
entity Q1106600
relation P47
type Q20667921
['Q1106600', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:Q20667921 . resource:Q1106600 property:P47 ?i }
Bonlier
action filter_type
action find
entity Bonlier
relation shares border with
type type of french administrative division
['Bonlier', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:type_of_french_administrative_division . resource:Bonlier property:shares_border_with ?i }
[]
type of french administrative division
Q1336702 Q1335428 Q1335346
SYSTEM
Nivillers, Tillé, Velennes
Q1335346 Q1336702 Q1335428 Q1337291 Q1113608 Q1336947
(Q1106600,P47,c(Q20667921))
action filter_type
action find
entity Q1106600
relation P47
type Q20667921
[ANSWERS]
['Q1106600', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:Q20667921 . resource:Q1106600 property:P47 ?i }
Velennes Nivillers Tillé Fontaine-Saint-Lucien Guignecourt Oroër
Nivillers Tillé Velennes
action filter_type
action find
entity Bonlier
relation shares border with
type type of french administrative division
['Bonlier', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:type_of_french_administrative_division . resource:Bonlier property:shares_border_with ?i }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q1106600
P47
Q20667921
USER
Are Bonlier next to the border of those ones ?
(Q1106600,P47,Q1336702) (Q1106600,P47,Q1335428) (Q1106600,P47,Q1335346)
action is_in
entity prev_answer
action find
entity Q1106600
relation P47
['Q1106600', 'P47', 'Q1336702'] ['Q1106600', 'P47', 'Q1335428'] ['Q1106600', 'P47', 'Q1335346']
ASK WHERE { resource:Q1106600 property:P47 ?d . VALUES ( ?d ) { ( resource:Q1335346 ) ( resource:Q1336702 ) ( resource:Q1335428 ) } }
Bonlier
action is_in
entity prev_answer
action find
entity Bonlier
relation shares border with
['Bonlier', 'shares border with', 'Nivillers'] ['Bonlier', 'shares border with', 'Tillé'] ['Bonlier', 'shares border with', 'Velennes']
ASK WHERE { resource:Bonlier property:shares_border_with ?d . VALUES ( ?d ) { ( resource:Velennes ) ( resource:Nivillers ) ( resource:Tillé ) } }
[]
type of french administrative division
SYSTEM
YES
(Q1106600,P47,Q1336702) (Q1106600,P47,Q1335428) (Q1106600,P47,Q1335346)
action is_in
entity prev_answer
action find
entity Q1106600
relation P47
[ANSWER]
['Q1106600', 'P47', 'Q1336702'] ['Q1106600', 'P47', 'Q1335428'] ['Q1106600', 'P47', 'Q1335346']
ASK WHERE { resource:Q1106600 property:P47 ?d . VALUES ( ?d ) { ( resource:Q1335346 ) ( resource:Q1336702 ) ( resource:Q1335428 ) } }
Yes
action is_in
entity prev_answer
action find
entity Bonlier
relation shares border with
['Bonlier', 'shares border with', 'Nivillers'] ['Bonlier', 'shares border with', 'Tillé'] ['Bonlier', 'shares border with', 'Velennes']
ASK WHERE { resource:Bonlier property:shares_border_with ?d . VALUES ( ?d ) { ( resource:Velennes ) ( resource:Nivillers ) ( resource:Tillé ) } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q213555
P36
Q13220204
USER
Which administrative country subdivision is Corte the capital of ?
(c(Q13220204),P36,Q213555)
action filter_type
action find_reverse
entity Q213555
relation P36
type Q13220204
[{'concept': 'Q13220204'}, 'P36', 'Q213555']
SELECT DISTINCT ?j WHERE { ?j property:P36 resource:Q213555 . ?j rdf:type ontology:Q13220204 }
Corte
action filter_type
action find_reverse
entity Corte
relation capital
type second-level administrative country subdivision
[{'concept': 'second-level administrative country subdivision'}, 'capital', 'Corte']
SELECT DISTINCT ?j WHERE { ?j property:capital resource:Corte . ?j rdf:type ontology:second-level_administrative_country_subdivision }
[]
second-level administrative country subdivision
Q667555
SYSTEM
arrondissement of Corte
Q667555
(c(Q13220204),P36,Q213555)
action filter_type
action find_reverse
entity Q213555
relation P36
type Q13220204
[ANSWER] is Corte the capital of
[{'concept': 'Q13220204'}, 'P36', 'Q213555']
SELECT DISTINCT ?j WHERE { ?j property:P36 resource:Q213555 . ?j rdf:type ontology:Q13220204 }
arrondissement of Corte
Arrondissement of Corte is Corte the capital of
arrondissement of Corte
action filter_type
action find_reverse
entity Corte
relation capital
type second-level administrative country subdivision
[{'concept': 'second-level administrative country subdivision'}, 'capital', 'Corte']
SELECT DISTINCT ?j WHERE { ?j property:capital resource:Corte . ?j rdf:type ontology:second-level_administrative_country_subdivision }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q213555
P190
Q15617994
USER
Which administrative territory is sister town of Corte ?
(Q213555,P190,c(Q15617994))
action filter_type
action find
entity Q213555
relation P190
type Q15617994
['Q213555', 'P190', {'concept': 'Q15617994'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q15617994 . resource:Q213555 property:P190 ?q }
Corte
action filter_type
action find
entity Corte
relation sister city
type designation for an administrative territorial entity
['Corte', 'sister city', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Corte property:sister_city ?q }
[]
designation for an administrative territorial entity
Q13649
SYSTEM
Nuoro
Q13649
(Q213555,P190,c(Q15617994))
action filter_type
action find
entity Q213555
relation P190
type Q15617994
[ANSWER] is sister town of Corte
['Q213555', 'P190', {'concept': 'Q15617994'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q15617994 . resource:Q213555 property:P190 ?q }
Nuoro
Nuoro is sister town of Corte
Nuoro
action filter_type
action find
entity Corte
relation sister city
type designation for an administrative territorial entity
['Corte', 'sister city', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Corte property:sister_city ?q }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q13649 Q390187 Q46194
P47
Q15617994
USER
Does Benetutti and Mussolente share a border with Q13649 ?
(Q13649,P47,Q390187) (Q13649,P47,Q46194)
action is_in
entity Q13649
action intersection
action find_reverse
entity Q390187
relation P47
action find_reverse
entity Q46194
relation P47
['Q13649', 'P47', 'Q390187'] ['Q13649', 'P47', 'Q46194']
ASK WHERE { resource:Q13649 property:P47 resource:Q390187 . resource:Q13649 property:P47 resource:Q46194 }
Nuoro Benetutti Mussolente
action is_in
entity Nuoro
action intersection
action find_reverse
entity Benetutti
relation shares border with
action find_reverse
entity Mussolente
relation shares border with
['Nuoro', 'shares border with', 'Benetutti'] ['Nuoro', 'shares border with', 'Mussolente']
ASK WHERE { resource:Nuoro property:shares_border_with resource:Benetutti . resource:Nuoro property:shares_border_with resource:Mussolente }
[]
designation for an administrative territorial entity
SYSTEM
YES and NO respectively
(Q13649,P47,Q390187) (Q13649,P47,Q46194)
action is_in
entity Q13649
action intersection
action find_reverse
entity Q390187
relation P47
action find_reverse
entity Q46194
relation P47
[ANSWER]
['Q13649', 'P47', 'Q390187'] ['Q13649', 'P47', 'Q46194']
ASK WHERE { resource:Q13649 property:P47 resource:Q390187 . resource:Q13649 property:P47 resource:Q46194 }
YES and NO respectively
action is_in
entity Nuoro
action intersection
action find_reverse
entity Benetutti
relation shares border with
action find_reverse
entity Mussolente
relation shares border with
['Nuoro', 'shares border with', 'Benetutti'] ['Nuoro', 'shares border with', 'Mussolente']
ASK WHERE { resource:Nuoro property:shares_border_with resource:Benetutti . resource:Nuoro property:shares_border_with resource:Mussolente }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q142 Q2273254 Q7801258
P35
Q502895
USER
Did France elect Mary Macmaster and Tiffany Travis as its head of state ?
(Q142,P35,Q2273254) (Q142,P35,Q7801258)
action is_in
entity Q142
action intersection
action find_reverse
entity Q2273254
relation P35
action find_reverse
entity Q7801258
relation P35
['Q142', 'P35', 'Q2273254'] ['Q142', 'P35', 'Q7801258']
ASK WHERE { resource:Q142 property:P35 resource:Q2273254 . resource:Q142 property:P35 resource:Q7801258 }
France Mary Macmaster Tiffany Travis
action is_in
entity France
action intersection
action find_reverse
entity Mary Macmaster
relation head of state
action find_reverse
entity Tiffany Travis
relation head of state
['France', 'head of state', 'Mary Macmaster'] ['France', 'head of state', 'Tiffany Travis']
ASK WHERE { resource:France property:head_of_state resource:Mary_Macmaster . resource:France property:head_of_state resource:Tiffany_Travis }
[]
common name
SYSTEM
NO
(Q142,P35,Q2273254) (Q142,P35,Q7801258)
action is_in
entity Q142
action intersection
action find_reverse
entity Q2273254
relation P35
action find_reverse
entity Q7801258
relation P35
[ANSWER]
['Q142', 'P35', 'Q2273254'] ['Q142', 'P35', 'Q7801258']
ASK WHERE { resource:Q142 property:P35 resource:Q2273254 . resource:Q142 property:P35 resource:Q7801258 }
No
action is_in
entity France
action intersection
action find_reverse
entity Mary Macmaster
relation head of state
action find_reverse
entity Tiffany Travis
relation head of state
['France', 'head of state', 'Mary Macmaster'] ['France', 'head of state', 'Tiffany Travis']
ASK WHERE { resource:France property:head_of_state resource:Mary_Macmaster . resource:France property:head_of_state resource:Tiffany_Travis }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1336702 Q142
P17
Q15617994
USER
Is Nivillers situated in France ?
(Q1336702,P17,Q142)
action is_in
entity Q142
action find
entity Q1336702
relation P17
['Q1336702', 'P17', 'Q142']
ASK WHERE { resource:Q1336702 property:P17 resource:Q142 }
Nivillers France
action is_in
entity France
action find
entity Nivillers
relation country
['Nivillers', 'country', 'France']
ASK WHERE { resource:Nivillers property:country resource:France }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q1336702,P17,Q142)
action is_in
entity Q142
action find
entity Q1336702
relation P17
[ANSWER]
['Q1336702', 'P17', 'Q142']
ASK WHERE { resource:Q1336702 property:P17 resource:Q142 }
Yes
action is_in
entity France
action find
entity Nivillers
relation country
['Nivillers', 'country', 'France']
ASK WHERE { resource:Nivillers property:country resource:France }
[]