Simple Question (Direct)
Simple Question
Q1326736
P17
Q15617994
USER
Which administrative territory is Gignac a part of ?
(Q1326736,P17,c(Q15617994))
action filter_type
action find
entity Q1326736
relation P17
type Q15617994
['Q1326736', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?t WHERE { resource:Q1326736 property:P17 ?t . ?t rdf:type ontology:Q15617994 }
Gignac
action filter_type
action find
entity Gignac
relation country
type designation for an administrative territorial entity
['Gignac', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { resource:Gignac property:country ?t . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142
SYSTEM
France
Q142
(Q1326736,P17,c(Q15617994))
action filter_type
action find
entity Q1326736
relation P17
type Q15617994
Which administrative territory is Gignac a part of
['Q1326736', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?t WHERE { resource:Q1326736 property:P17 ?t . ?t rdf:type ontology:Q15617994 }
France
Which administrative territory is Gignac a part of
France
action filter_type
action find
entity Gignac
relation country
type designation for an administrative territorial entity
['Gignac', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { resource:Gignac property:country ?t . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1326736
P47
Q20667921
USER
Which french administrative divisions do that one share a border with ?
(c(Q20667921),P47,Q142)
action filter_type
action find
entity Q1326736
relation P47
type Q20667921
[{'concept': 'Q20667921'}, 'P47', 'Q142']
SELECT DISTINCT ?p WHERE { resource:Q1326736 property:P47 ?p . ?p rdf:type ontology:Q20667921 }
Gignac
action filter_type
action find
entity Gignac
relation shares border with
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'shares border with', 'France']
SELECT DISTINCT ?p WHERE { resource:Gignac property:shares_border_with ?p . ?p rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q726680 Q1321396 Q199148
SYSTEM
Souillac, Cuzance, Nespouls
Q1321396 Q191705 Q1016526 Q1077150 Q1596876 Q199148 Q660214 Q726680
(c(Q20667921),P47,Q142)
action filter_type
action find
entity Q1326736
relation P47
type Q20667921
[ANSWERS] that one share a border with
[{'concept': 'Q20667921'}, 'P47', 'Q142']
SELECT DISTINCT ?p WHERE { resource:Q1326736 property:P47 ?p . ?p rdf:type ontology:Q20667921 }
Cuzance Borrèze Estivals Nadaillac Cressensac Nespouls Lachapelle-Auzac Souillac
Souillac, Cuzance and Nespouls that one share a border with
Souillac Cuzance Nespouls
action filter_type
action find
entity Gignac
relation shares border with
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'shares border with', 'France']
SELECT DISTINCT ?p WHERE { resource:Gignac property:shares_border_with ?p . ?p rdf:type ontology:type_of_french_administrative_division }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q142 Q1326736
P47 P17
Q20667921
USER
Which french administrative divisions share border with Gignac and are present in France ?
AND((c(Q20667921),P47,Q1326736), (c(Q20667921),P17,Q142))
action filter_type
action intersection
action find_reverse
entity Q1326736
relation P47
action find_reverse
entity Q142
relation P17
type Q20667921
{'AND': [[{'concept': 'Q20667921'}, 'P47', 'Q1326736'], [{'concept': 'Q20667921'}, 'P17', 'Q142']]}
SELECT DISTINCT ?f WHERE { ?f property:P47 resource:Q1326736 . ?f property:P17 resource:Q142 . ?f rdf:type ontology:Q20667921 }
France Gignac
action filter_type
action intersection
action find_reverse
entity Gignac
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', 'Gignac'], [{'concept': 'type of french administrative division'}, 'country', 'France']]}
SELECT DISTINCT ?f WHERE { ?f property:shares_border_with resource:Gignac . ?f property:country resource:France . ?f rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1321396 Q191705 Q1016526 Q1077150 Q1596876 Q199148 Q660214 Q726680
SYSTEM
Cuzance, Borrèze, Estivals, Nadaillac, Cressensac, Nespouls, Lachapelle-Auzac, Souillac
Q1321396 Q191705 Q1016526 Q1077150 Q1596876 Q199148 Q660214 Q726680
AND((c(Q20667921),P47,Q1326736), (c(Q20667921),P17,Q142))
action filter_type
action intersection
action find_reverse
entity Q1326736
relation P47
action find_reverse
entity Q142
relation P17
type Q20667921
[ANSWERS] share border with Gignac and are present in France
{'AND': [[{'concept': 'Q20667921'}, 'P47', 'Q1326736'], [{'concept': 'Q20667921'}, 'P17', 'Q142']]}
SELECT DISTINCT ?f WHERE { ?f property:P47 resource:Q1326736 . ?f property:P17 resource:Q142 . ?f rdf:type ontology:Q20667921 }
Cuzance Borrèze Estivals Nadaillac Cressensac Nespouls Lachapelle-Auzac Souillac
Cuzance, Borrèze, Estivals, Nadaillac, Cressensac, Nespouls, Lachapelle-Auzac and Souillac share border with Gignac and are present in France
Cuzance Borrèze Estivals Nadaillac Cressensac Nespouls Lachapelle-Auzac Souillac
action filter_type
action intersection
action find_reverse
entity Gignac
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', 'Gignac'], [{'concept': 'type of french administrative division'}, 'country', 'France']]}
SELECT DISTINCT ?f WHERE { ?f property:shares_border_with resource:Gignac . ?f property:country resource:France . ?f rdf:type ontology:type_of_french_administrative_division }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q1683929 Q142
P530 P27
Q15617994
USER
Which administrative territories have diplomatic relationships with France and are the countries of citizenship of Almir Chediak ?
AND((Q142,P530,c(Q15617994)), (Q1683929,P27,c(Q15617994)))
action filter_type
action intersection
action find
entity Q142
relation P530
action find
entity Q1683929
relation P27
type Q15617994
{'AND': [['Q142', 'P530', {'concept': 'Q15617994'}], ['Q1683929', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?h WHERE { resource:Q142 property:P530 ?h . resource:Q1683929 property:P27 ?h . ?h rdf:type ontology:Q15617994 }
Almir Chediak France
action filter_type
action intersection
action find
entity France
relation diplomatic relation
action find
entity Almir Chediak
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['France', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Almir Chediak', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?h WHERE { resource:France property:diplomatic_relation ?h . resource:Almir_Chediak property:country_of_citizenship ?h . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q155
SYSTEM
Brazil
Q155
AND((Q142,P530,c(Q15617994)), (Q1683929,P27,c(Q15617994)))
action filter_type
action intersection
action find
entity Q142
relation P530
action find
entity Q1683929
relation P27
type Q15617994
[ANSWER] have diplomatic relationships with France and are the countries of citizenship of Almir Chediak
{'AND': [['Q142', 'P530', {'concept': 'Q15617994'}], ['Q1683929', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?h WHERE { resource:Q142 property:P530 ?h . resource:Q1683929 property:P27 ?h . ?h rdf:type ontology:Q15617994 }
Brazil
Brazil have diplomatic relationships with France and are the countries of citizenship of Almir Chediak
Brazil
action filter_type
action intersection
action find
entity France
relation diplomatic relation
action find
entity Almir Chediak
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['France', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Almir Chediak', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?h WHERE { resource:France property:diplomatic_relation ?h . resource:Almir_Chediak property:country_of_citizenship ?h . ?h 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
Q155 Q17268 Q419
P47
Q15617994
USER
Does that administrative territory have an adjacent border with Belforte Monferrato and Peru ?
(Q155,P47,Q17268) (Q155,P47,Q419)
action is_in
entity Q155
action intersection
action find_reverse
entity Q17268
relation P47
action find_reverse
entity Q419
relation P47
['Q155', 'P47', 'Q17268'] ['Q155', 'P47', 'Q419']
ASK WHERE { resource:Q155 property:P47 resource:Q17268 . resource:Q155 property:P47 resource:Q419 }
Brazil Belforte Monferrato Peru
action is_in
entity Brazil
action intersection
action find_reverse
entity Belforte Monferrato
relation shares border with
action find_reverse
entity Peru
relation shares border with
['Brazil', 'shares border with', 'Belforte Monferrato'] ['Brazil', 'shares border with', 'Peru']
ASK WHERE { resource:Brazil property:shares_border_with resource:Belforte_Monferrato . resource:Brazil property:shares_border_with resource:Peru }
[]
designation for an administrative territorial entity
SYSTEM
NO and YES respectively
(Q155,P47,Q17268) (Q155,P47,Q419)
action is_in
entity Q155
action intersection
action find_reverse
entity Q17268
relation P47
action find_reverse
entity Q419
relation P47
[ANSWER]
['Q155', 'P47', 'Q17268'] ['Q155', 'P47', 'Q419']
ASK WHERE { resource:Q155 property:P47 resource:Q17268 . resource:Q155 property:P47 resource:Q419 }
NO and YES respectively
action is_in
entity Brazil
action intersection
action find_reverse
entity Belforte Monferrato
relation shares border with
action find_reverse
entity Peru
relation shares border with
['Brazil', 'shares border with', 'Belforte Monferrato'] ['Brazil', 'shares border with', 'Peru']
ASK WHERE { resource:Brazil property:shares_border_with resource:Belforte_Monferrato . resource:Brazil property:shares_border_with resource:Peru }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q142 Q228
P47
Q15617994
USER
Is Andorra bordered by France ?
(Q142,P47,Q228)
action is_in
entity Q228
action find
entity Q142
relation P47
['Q142', 'P47', 'Q228']
ASK WHERE { resource:Q142 property:P47 resource:Q228 }
France Andorra
action is_in
entity Andorra
action find
entity France
relation shares border with
['France', 'shares border with', 'Andorra']
ASK WHERE { resource:France property:shares_border_with resource:Andorra }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q142,P47,Q228)
action is_in
entity Q228
action find
entity Q142
relation P47
[ANSWER]
['Q142', 'P47', 'Q228']
ASK WHERE { resource:Q142 property:P47 resource:Q228 }
Yes
action is_in
entity Andorra
action find
entity France
relation shares border with
['France', 'shares border with', 'Andorra']
ASK WHERE { resource:France property:shares_border_with resource:Andorra }
[]