Simple Question (Direct)
Simple Question
Q845709
P36
Q56061
USER
Which administrative territory is called the capital of Haut-Sassandra ?
(Q845709,P36,c(Q56061))
action filter_type
action find
entity Q845709
relation P36
type Q56061
['Q845709', 'P36', {'concept': 'Q56061'}]
SELECT DISTINCT ?j WHERE { resource:Q845709 property:P36 ?j . ?j rdf:type ontology:Q56061 }
Haut-Sassandra
action filter_type
action find
entity Haut-Sassandra
relation capital
type administrative territorial entity
['Haut-Sassandra', 'capital', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?j WHERE { resource:Haut-Sassandra property:capital ?j . ?j rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q860304
SYSTEM
Daloa
Q860304
(Q845709,P36,c(Q56061))
action filter_type
action find
entity Q845709
relation P36
type Q56061
[ANSWER] is called the capital of Haut-Sassandra
['Q845709', 'P36', {'concept': 'Q56061'}]
SELECT DISTINCT ?j WHERE { resource:Q845709 property:P36 ?j . ?j rdf:type ontology:Q56061 }
Daloa
Daloa is called the capital of Haut-Sassandra
Daloa
action filter_type
action find
entity Haut-Sassandra
relation capital
type administrative territorial entity
['Haut-Sassandra', 'capital', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?j WHERE { resource:Haut-Sassandra property:capital ?j . ?j rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q845709
P17
Q15617994
USER
Which administrative territory is Haut-Sassandra present in ?
(Q845709,P17,c(Q15617994))
action filter_type
action find
entity Q845709
relation P17
type Q15617994
['Q845709', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?b WHERE { resource:Q845709 property:P17 ?b . ?b rdf:type ontology:Q15617994 }
Haut-Sassandra
action filter_type
action find
entity Haut-Sassandra
relation country
type designation for an administrative territorial entity
['Haut-Sassandra', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { resource:Haut-Sassandra property:country ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q1008
SYSTEM
Côte d'Ivoire
Q1008
(Q845709,P17,c(Q15617994))
action filter_type
action find
entity Q845709
relation P17
type Q15617994
Haut-Sassandra is in [ANSWER]
['Q845709', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?b WHERE { resource:Q845709 property:P17 ?b . ?b rdf:type ontology:Q15617994 }
Côte d'Ivoire
Haut-Sassandra is in Côte d'Ivoire
Côte d'Ivoire
action filter_type
action find
entity Haut-Sassandra
relation country
type designation for an administrative territorial entity
['Haut-Sassandra', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { resource:Haut-Sassandra property:country ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q845709
P1376
Q56061
USER
Which administrative territory is center of administration for that administrative country subdivision ?
(c(Q56061),P1376,Q1008)
action filter_type
action find_reverse
entity Q845709
relation P1376
type Q56061
[{'concept': 'Q56061'}, 'P1376', 'Q1008']
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q56061 . ?b property:P1376 resource:Q845709 }
Haut-Sassandra
action filter_type
action find_reverse
entity Haut-Sassandra
relation capital of
type administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'capital of', "Côte d'Ivoire"]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:administrative_territorial_entity . ?b property:capital_of resource:Haut-Sassandra }
[]
administrative territorial entity
Q860304
SYSTEM
Daloa
Q860304
(c(Q56061),P1376,Q1008)
action filter_type
action find_reverse
entity Q845709
relation P1376
type Q56061
[ANSWER] is center of administration for that administrative country subdivision
[{'concept': 'Q56061'}, 'P1376', 'Q1008']
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q56061 . ?b property:P1376 resource:Q845709 }
Daloa
Daloa is center of administration for that administrative country subdivision
Daloa
action filter_type
action find_reverse
entity Haut-Sassandra
relation capital of
type administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'capital of', "Côte d'Ivoire"]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:administrative_territorial_entity . ?b property:capital_of resource:Haut-Sassandra }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q853460 Q845709
P47
Q13220204
USER
Which administrative country subdivisions share border with Haut-Sassandra and Savanes Region ?
AND((c(Q13220204),P47,Q845709), (c(Q13220204),P47,Q853460))
action filter_type
action intersection
action find_reverse
entity Q845709
relation P47
action find_reverse
entity Q853460
relation P47
type Q13220204
{'AND': [[{'concept': 'Q13220204'}, 'P47', 'Q845709'], [{'concept': 'Q13220204'}, 'P47', 'Q853460']]}
SELECT DISTINCT ?z WHERE { ?z property:P47 resource:Q845709 . ?z property:P47 resource:Q853460 . ?z rdf:type ontology:Q13220204 }
Savanes Region Haut-Sassandra
action filter_type
action intersection
action find_reverse
entity Haut-Sassandra
relation shares border with
action find_reverse
entity Savanes Region
relation shares border with
type second-level administrative country subdivision
{'AND': [[{'concept': 'second-level administrative country subdivision'}, 'shares border with', 'Haut-Sassandra'], [{'concept': 'second-level administrative country subdivision'}, 'shares border with', 'Savanes Region']]}
SELECT DISTINCT ?z WHERE { ?z property:shares_border_with resource:Haut-Sassandra . ?z property:shares_border_with resource:Savanes_Region . ?z rdf:type ontology:second-level_administrative_country_subdivision }
[]
second-level administrative country subdivision
Q846056
SYSTEM
Worodougou
Q846056
AND((c(Q13220204),P47,Q845709), (c(Q13220204),P47,Q853460))
action filter_type
action intersection
action find_reverse
entity Q845709
relation P47
action find_reverse
entity Q853460
relation P47
type Q13220204
[ANSWER] share border with Haut-Sassandra and Savanes Region
{'AND': [[{'concept': 'Q13220204'}, 'P47', 'Q845709'], [{'concept': 'Q13220204'}, 'P47', 'Q853460']]}
SELECT DISTINCT ?z WHERE { ?z property:P47 resource:Q845709 . ?z property:P47 resource:Q853460 . ?z rdf:type ontology:Q13220204 }
Worodougou
Worodougou share border with Haut-Sassandra and Savanes Region
Worodougou
action filter_type
action intersection
action find_reverse
entity Haut-Sassandra
relation shares border with
action find_reverse
entity Savanes Region
relation shares border with
type second-level administrative country subdivision
{'AND': [[{'concept': 'second-level administrative country subdivision'}, 'shares border with', 'Haut-Sassandra'], [{'concept': 'second-level administrative country subdivision'}, 'shares border with', 'Savanes Region']]}
SELECT DISTINCT ?z WHERE { ?z property:shares_border_with resource:Haut-Sassandra . ?z property:shares_border_with resource:Savanes_Region . ?z rdf:type ontology:second-level_administrative_country_subdivision }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q846056 Q845709 Q25843
P47
Q13220204
USER
Does that administrative country subdivision shares border with Haut-Sassandra and Remaufens ?
(Q846056,P47,Q845709) (Q846056,P47,Q25843)
action is_in
entity Q846056
action intersection
action find_reverse
entity Q845709
relation P47
action find_reverse
entity Q25843
relation P47
['Q846056', 'P47', 'Q845709'] ['Q846056', 'P47', 'Q25843']
ASK WHERE { resource:Q846056 property:P47 resource:Q845709 . resource:Q846056 property:P47 resource:Q25843 }
Worodougou Haut-Sassandra Remaufens
action is_in
entity Worodougou
action intersection
action find_reverse
entity Haut-Sassandra
relation shares border with
action find_reverse
entity Remaufens
relation shares border with
['Worodougou', 'shares border with', 'Haut-Sassandra'] ['Worodougou', 'shares border with', 'Remaufens']
ASK WHERE { resource:Worodougou property:shares_border_with resource:Haut-Sassandra . resource:Worodougou property:shares_border_with resource:Remaufens }
[]
second-level administrative country subdivision
SYSTEM
YES and NO respectively
(Q846056,P47,Q845709) (Q846056,P47,Q25843)
action is_in
entity Q846056
action intersection
action find_reverse
entity Q845709
relation P47
action find_reverse
entity Q25843
relation P47
[ANSWER]
['Q846056', 'P47', 'Q845709'] ['Q846056', 'P47', 'Q25843']
ASK WHERE { resource:Q846056 property:P47 resource:Q845709 . resource:Q846056 property:P47 resource:Q25843 }
YES and NO respectively
action is_in
entity Worodougou
action intersection
action find_reverse
entity Haut-Sassandra
relation shares border with
action find_reverse
entity Remaufens
relation shares border with
['Worodougou', 'shares border with', 'Haut-Sassandra'] ['Worodougou', 'shares border with', 'Remaufens']
ASK WHERE { resource:Worodougou property:shares_border_with resource:Haut-Sassandra . resource:Worodougou property:shares_border_with resource:Remaufens }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q860304 Q1008
P17
Q15617994
USER
Is Daloa situated in Côte d'Ivoire ?
(Q860304,P17,Q1008)
action is_in
entity Q1008
action find
entity Q860304
relation P17
['Q860304', 'P17', 'Q1008']
ASK WHERE { resource:Q860304 property:P17 resource:Q1008 }
Daloa Côte d'Ivoire
action is_in
entity Côte d'Ivoire
action find
entity Daloa
relation country
['Daloa', 'country', "Côte d'Ivoire"]
ASK WHERE { resource:Daloa property:country resource:Côte_d'Ivoire }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q860304,P17,Q1008)
action is_in
entity Q1008
action find
entity Q860304
relation P17
[ANSWER]
['Q860304', 'P17', 'Q1008']
ASK WHERE { resource:Q860304 property:P17 resource:Q1008 }
Yes
action is_in
entity Côte d'Ivoire
action find
entity Daloa
relation country
['Daloa', 'country', "Côte d'Ivoire"]
ASK WHERE { resource:Daloa property:country resource:Côte_d'Ivoire }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q210776 Q860304
P1376
Q13220204
USER
Which administrative country subdivisions have Daloa or Saint-Girons have their first city ?
OR((Q860304,P1376,c(Q13220204)), (Q210776,P1376,c(Q13220204)))
action filter_type
action union
action find
entity Q860304
relation P1376
action find
entity Q210776
relation P1376
type Q13220204
{'OR': [['Q860304', 'P1376', {'concept': 'Q13220204'}], ['Q210776', 'P1376', {'concept': 'Q13220204'}]]}
SELECT DISTINCT ?s WHERE { { ?h property:P1376 ?s . VALUES ( ?h ) { ( resource:Q860304 ) ( resource:Q210776 ) } } . ?s rdf:type ontology:Q13220204 }
Saint-Girons Daloa
action filter_type
action union
action find
entity Daloa
relation capital of
action find
entity Saint-Girons
relation capital of
type second-level administrative country subdivision
{'OR': [['Daloa', 'capital of', {'concept': 'second-level administrative country subdivision'}], ['Saint-Girons', 'capital of', {'concept': 'second-level administrative country subdivision'}]]}
SELECT DISTINCT ?s WHERE { { ?h property:capital_of ?s . VALUES ( ?h ) { ( resource:Daloa ) ( resource:Saint-Girons ) } } . ?s rdf:type ontology:second-level_administrative_country_subdivision }
[]
second-level administrative country subdivision
Q702350 Q845709
SYSTEM
arrondissement of Saint-Girons, Haut-Sassandra
Q702350 Q845709
OR((Q860304,P1376,c(Q13220204)), (Q210776,P1376,c(Q13220204)))
action filter_type
action union
action find
entity Q860304
relation P1376
action find
entity Q210776
relation P1376
type Q13220204
[ANSWERS] have Daloa or Saint-Girons have their first city
{'OR': [['Q860304', 'P1376', {'concept': 'Q13220204'}], ['Q210776', 'P1376', {'concept': 'Q13220204'}]]}
SELECT DISTINCT ?s WHERE { { ?h property:P1376 ?s . VALUES ( ?h ) { ( resource:Q860304 ) ( resource:Q210776 ) } } . ?s rdf:type ontology:Q13220204 }
arrondissement of Saint-Girons Haut-Sassandra
Arrondissement of Saint-Girons and Haut-Sassandra have Daloa or Saint-Girons have their first city
arrondissement of Saint-Girons Haut-Sassandra
action filter_type
action union
action find
entity Daloa
relation capital of
action find
entity Saint-Girons
relation capital of
type second-level administrative country subdivision
{'OR': [['Daloa', 'capital of', {'concept': 'second-level administrative country subdivision'}], ['Saint-Girons', 'capital of', {'concept': 'second-level administrative country subdivision'}]]}
SELECT DISTINCT ?s WHERE { { ?h property:capital_of ?s . VALUES ( ?h ) { ( resource:Daloa ) ( resource:Saint-Girons ) } } . ?s rdf:type ontology:second-level_administrative_country_subdivision }
[]