Simple Question (Direct)
Simple Question
Q1385645
P47
Q20667921
USER
Which french administrative divisions are bordered by Sarrazac ?
(Q1385645,P47,c(Q20667921))
action filter_type
action find
entity Q1385645
relation P47
type Q20667921
['Q1385645', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?v WHERE { resource:Q1385645 property:P47 ?v . ?v rdf:type ontology:Q20667921 }
Sarrazac
action filter_type
action find
entity Sarrazac
relation shares border with
type type of french administrative division
['Sarrazac', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?v WHERE { resource:Sarrazac property:shares_border_with ?v . ?v rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1321396 Q194569 Q1326488
SYSTEM
Cuzance, Turenne, Cavagnac
Q1321396 Q194569 Q624293 Q1596876 Q1326488 Q186562
(Q1385645,P47,c(Q20667921))
action filter_type
action find
entity Q1385645
relation P47
type Q20667921
[ANSWERS] are bordered by Sarrazac
['Q1385645', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?v WHERE { resource:Q1385645 property:P47 ?v . ?v rdf:type ontology:Q20667921 }
Cuzance Turenne Ligneyrac Cressensac Cavagnac Cazillac
Cuzance, Turenne and Cavagnac are bordered by Sarrazac
Cuzance Turenne Cavagnac
action filter_type
action find
entity Sarrazac
relation shares border with
type type of french administrative division
['Sarrazac', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?v WHERE { resource:Sarrazac property:shares_border_with ?v . ?v rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Coreferenced)
Simple Question|Mult. Entity
Q1321396 Q194569 Q1326488
P47
Q20667921
USER
Which french administrative divisions do those ones share a border with ?
(c(Q20667921),P47,Q1321396) (c(Q20667921),P47,Q194569) (c(Q20667921),P47,Q1326488)
action filter_type
action find
entity prev_answer
relation P47
type Q20667921
[{'concept': 'Q20667921'}, 'P47', 'Q1321396'] [{'concept': 'Q20667921'}, 'P47', 'Q194569'] [{'concept': 'Q20667921'}, 'P47', 'Q1326488']
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q20667921 . ?u property:P47 ?b . VALUES ( ?u ) { ( resource:Q1321396 ) ( resource:Q194569 ) ( resource:Q624293 ) } }
Cuzance Turenne Cavagnac
action filter_type
action find
entity prev_answer
relation shares border with
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'shares border with', 'Cuzance'] [{'concept': 'type of french administrative division'}, 'shares border with', 'Turenne'] [{'concept': 'type of french administrative division'}, 'shares border with', 'Cavagnac']
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:type_of_french_administrative_division . ?u property:shares_border_with ?b . VALUES ( ?u ) { ( resource:Cuzance ) ( resource:Turenne ) ( resource:Ligneyrac ) } }
[]
type of french administrative division
Q732788 Q1326736 Q1082507
SYSTEM
Martel, Gignac, Lanteuil
Q732788 Q660214 Q1596876 Q1326736 Q1327600 Q1385645 Q186562 Q672599 Q1082507 Q1596876 Q624293 Q783844 Q199047 Q1385645 Q199148 Q873141 Q1381440 Q1157705 Q179267 Q624293 Q1385645 Q186562
(c(Q20667921),P47,Q1321396) (c(Q20667921),P47,Q194569) (c(Q20667921),P47,Q1326488)
action filter_type
action find
entity prev_answer
relation P47
type Q20667921
[ANSWERS] those ones share a border with
[{'concept': 'Q20667921'}, 'P47', 'Q1321396'] [{'concept': 'Q20667921'}, 'P47', 'Q194569'] [{'concept': 'Q20667921'}, 'P47', 'Q1326488']
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q20667921 . ?u property:P47 ?b . VALUES ( ?u ) { ( resource:Q1321396 ) ( resource:Q194569 ) ( resource:Q624293 ) } }
Martel Lachapelle-Auzac Cressensac Gignac Baladou Sarrazac Cazillac Cosnac Lanteuil Cressensac Ligneyrac Jugeals-Nazareth Noailhac Sarrazac Nespouls Chauffour-sur-Vell Condat Les Quatre-Routes-du-Lot Saillac Ligneyrac Sarrazac Cazillac
Martel, Gignac and Lanteuil those ones share a border with
Martel Gignac Lanteuil
action filter_type
action find
entity prev_answer
relation shares border with
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'shares border with', 'Cuzance'] [{'concept': 'type of french administrative division'}, 'shares border with', 'Turenne'] [{'concept': 'type of french administrative division'}, 'shares border with', 'Cavagnac']
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:type_of_french_administrative_division . ?u property:shares_border_with ?b . VALUES ( ?u ) { ( resource:Cuzance ) ( resource:Turenne ) ( resource:Ligneyrac ) } }
[]
Clarification
Simple Question|Single Entity|Indirect
Q1082507
P17
Q15617994
USER
Which administrative territory is that french administrative division located in ?
(Q1082507,P17,c(Q15617994))
action filter_type
action find
entity Q1082507
relation P17
type Q15617994
['Q1082507', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?v WHERE { resource:Q1082507 property:P17 ?v . ?v rdf:type ontology:Q15617994 }
Lanteuil
action filter_type
action find
entity Lanteuil
relation country
type designation for an administrative territorial entity
['Lanteuil', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { resource:Lanteuil property:country ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Clarification for simple ques.
Q1326736
SYSTEM
Did you mean Gignac ?
Q732788 Q1326736 Q1082507
(Q732788,P17,c(Q15617994)) (Q1326736,P17,c(Q15617994)) (Q1082507,P17,c(Q15617994))
[ANSWER]
['Q732788', 'P17', {'concept': 'Q15617994'}] ['Q1326736', 'P17', {'concept': 'Q15617994'}] ['Q1082507', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?v WHERE { resource:Q1082507 property:P17 ?v . ?v rdf:type ontology:Q15617994 }
Martel Gignac Lanteuil
Did you mean Gignac ?
Gignac
['Martel', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Gignac', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Lanteuil', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { resource:Lanteuil property:country ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
USER
No, I meant Lanteuil. Could you tell me the answer for that?
(Q1082507,P17,c(Q15617994))
Q1082507
['Q1082507', 'P17', {'concept': 'Q15617994'}]
['Lanteuil', 'country', {'concept': 'designation for an administrative territorial entity'}]
[]
Q142
SYSTEM
France
Q142
(Q1082507,P17,c(Q15617994))
action filter_type
action find
entity Q1082507
relation P17
type Q15617994
That french administrative division is located in [ANSWER]
['Q1082507', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?v WHERE { resource:Q1082507 property:P17 ?v . ?v rdf:type ontology:Q15617994 }
France
That french administrative division is located in France
France
action filter_type
action find
entity Lanteuil
relation country
type designation for an administrative territorial entity
['Lanteuil', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { resource:Lanteuil property:country ?v . ?v 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
Q142 Q711 Q636514
P530
Q15617994
USER
Does that administrative territory have tactful political relations with Mongolia and Bönebüttel ?
(Q142,P530,Q711) (Q142,P530,Q636514)
action is_in
entity Q142
action intersection
action find_reverse
entity Q711
relation P530
action find_reverse
entity Q636514
relation P530
['Q142', 'P530', 'Q711'] ['Q142', 'P530', 'Q636514']
ASK WHERE { resource:Q142 property:P530 resource:Q711 . resource:Q142 property:P530 resource:Q636514 }
France Mongolia Bönebüttel
action is_in
entity France
action intersection
action find_reverse
entity Mongolia
relation diplomatic relation
action find_reverse
entity Bönebüttel
relation diplomatic relation
['France', 'diplomatic relation', 'Mongolia'] ['France', 'diplomatic relation', 'Bönebüttel']
ASK WHERE { resource:France property:diplomatic_relation resource:Mongolia . resource:France property:diplomatic_relation resource:Bönebüttel }
[]
designation for an administrative territorial entity
SYSTEM
YES and NO respectively
(Q142,P530,Q711) (Q142,P530,Q636514)
action is_in
entity Q142
action intersection
action find_reverse
entity Q711
relation P530
action find_reverse
entity Q636514
relation P530
[ANSWER]
['Q142', 'P530', 'Q711'] ['Q142', 'P530', 'Q636514']
ASK WHERE { resource:Q142 property:P530 resource:Q711 . resource:Q142 property:P530 resource:Q636514 }
YES and NO respectively
action is_in
entity France
action intersection
action find_reverse
entity Mongolia
relation diplomatic relation
action find_reverse
entity Bönebüttel
relation diplomatic relation
['France', 'diplomatic relation', 'Mongolia'] ['France', 'diplomatic relation', 'Bönebüttel']
ASK WHERE { resource:France property:diplomatic_relation resource:Mongolia . resource:France property:diplomatic_relation resource:Bönebüttel }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q142 Q1082507
P47 P17
Q20667921
USER
Which french administrative divisions are next to the border of Lanteuil and are located in France ?
AND((c(Q20667921),P47,Q1082507), (c(Q20667921),P17,Q142))
action filter_type
action intersection
action find_reverse
entity Q1082507
relation P47
action find_reverse
entity Q142
relation P17
type Q20667921
{'AND': [[{'concept': 'Q20667921'}, 'P47', 'Q1082507'], [{'concept': 'Q20667921'}, 'P17', 'Q142']]}
SELECT DISTINCT ?i WHERE { ?i property:P47 resource:Q1082507 . ?i property:P17 resource:Q142 . ?i rdf:type ontology:Q20667921 }
France Lanteuil
action filter_type
action intersection
action find_reverse
entity Lanteuil
relation shares border with
action find_reverse
entity France
relation country
type type of french administrative division
{'AND': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Lanteuil'], [{'concept': 'type of french administrative division'}, 'country', 'France']]}
SELECT DISTINCT ?i WHERE { ?i property:shares_border_with resource:Lanteuil . ?i property:country resource:France . ?i rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q604197 Q672599 Q194569 Q63079 Q199047 Q176067 Q471644 Q196519
SYSTEM
Beynat, Cosnac, Turenne, La Chapelle-aux-Brocs, Noailhac, Dampniat, Albignac, Lagleygeolle
Q604197 Q672599 Q194569 Q63079 Q199047 Q176067 Q471644 Q196519
AND((c(Q20667921),P47,Q1082507), (c(Q20667921),P17,Q142))
action filter_type
action intersection
action find_reverse
entity Q1082507
relation P47
action find_reverse
entity Q142
relation P17
type Q20667921
[ANSWERS] are next to the border of Lanteuil and are located in France
{'AND': [[{'concept': 'Q20667921'}, 'P47', 'Q1082507'], [{'concept': 'Q20667921'}, 'P17', 'Q142']]}
SELECT DISTINCT ?i WHERE { ?i property:P47 resource:Q1082507 . ?i property:P17 resource:Q142 . ?i rdf:type ontology:Q20667921 }
Beynat Cosnac Turenne La Chapelle-aux-Brocs Noailhac Dampniat Albignac Lagleygeolle
Beynat, Cosnac, Turenne, La Chapelle-aux-Brocs, Noailhac, Dampniat, Albignac and Lagleygeolle are next to the border of Lanteuil and are located in France
Beynat Cosnac Turenne La Chapelle-aux-Brocs Noailhac Dampniat Albignac Lagleygeolle
action filter_type
action intersection
action find_reverse
entity Lanteuil
relation shares border with
action find_reverse
entity France
relation country
type type of french administrative division
{'AND': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Lanteuil'], [{'concept': 'type of french administrative division'}, 'country', 'France']]}
SELECT DISTINCT ?i WHERE { ?i property:shares_border_with resource:Lanteuil . ?i property:country resource:France . ?i rdf:type ontology:type_of_french_administrative_division }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q1082507
P47
Q20667921
USER
Do those ones share a border with Lanteuil ?
(Q1082507,P47,Q604197) (Q1082507,P47,Q672599) (Q1082507,P47,Q194569) (Q1082507,P47,Q63079) (Q1082507,P47,Q199047) (Q1082507,P47,Q176067) (Q1082507,P47,Q471644) (Q1082507,P47,Q196519)
action is_in
entity prev_answer
action find
entity Q1082507
relation P47
['Q1082507', 'P47', 'Q604197'] ['Q1082507', 'P47', 'Q672599'] ['Q1082507', 'P47', 'Q194569'] ['Q1082507', 'P47', 'Q63079'] ['Q1082507', 'P47', 'Q199047'] ['Q1082507', 'P47', 'Q176067'] ['Q1082507', 'P47', 'Q471644'] ['Q1082507', 'P47', 'Q196519']
ASK WHERE { resource:Q1082507 property:P47 ?j . VALUES ( ?j ) { ( resource:Q604197 ) ( resource:Q672599 ) ( resource:Q194569 ) } }
Lanteuil
action is_in
entity prev_answer
action find
entity Lanteuil
relation shares border with
['Lanteuil', 'shares border with', 'Beynat'] ['Lanteuil', 'shares border with', 'Cosnac'] ['Lanteuil', 'shares border with', 'Turenne'] ['Lanteuil', 'shares border with', 'La Chapelle-aux-Brocs'] ['Lanteuil', 'shares border with', 'Noailhac'] ['Lanteuil', 'shares border with', 'Dampniat'] ['Lanteuil', 'shares border with', 'Albignac'] ['Lanteuil', 'shares border with', 'Lagleygeolle']
ASK WHERE { resource:Lanteuil property:shares_border_with ?j . VALUES ( ?j ) { ( resource:Beynat ) ( resource:Cosnac ) ( resource:Turenne ) } }
[]
type of french administrative division
SYSTEM
YES
(Q1082507,P47,Q604197) (Q1082507,P47,Q672599) (Q1082507,P47,Q194569) (Q1082507,P47,Q63079) (Q1082507,P47,Q199047) (Q1082507,P47,Q176067) (Q1082507,P47,Q471644) (Q1082507,P47,Q196519)
action is_in
entity prev_answer
action find
entity Q1082507
relation P47
[ANSWER]
['Q1082507', 'P47', 'Q604197'] ['Q1082507', 'P47', 'Q672599'] ['Q1082507', 'P47', 'Q194569'] ['Q1082507', 'P47', 'Q63079'] ['Q1082507', 'P47', 'Q199047'] ['Q1082507', 'P47', 'Q176067'] ['Q1082507', 'P47', 'Q471644'] ['Q1082507', 'P47', 'Q196519']
ASK WHERE { resource:Q1082507 property:P47 ?j . VALUES ( ?j ) { ( resource:Q604197 ) ( resource:Q672599 ) ( resource:Q194569 ) } }
Yes
action is_in
entity prev_answer
action find
entity Lanteuil
relation shares border with
['Lanteuil', 'shares border with', 'Beynat'] ['Lanteuil', 'shares border with', 'Cosnac'] ['Lanteuil', 'shares border with', 'Turenne'] ['Lanteuil', 'shares border with', 'La Chapelle-aux-Brocs'] ['Lanteuil', 'shares border with', 'Noailhac'] ['Lanteuil', 'shares border with', 'Dampniat'] ['Lanteuil', 'shares border with', 'Albignac'] ['Lanteuil', 'shares border with', 'Lagleygeolle']
ASK WHERE { resource:Lanteuil property:shares_border_with ?j . VALUES ( ?j ) { ( resource:Beynat ) ( resource:Cosnac ) ( resource:Turenne ) } }
[]