Simple Question (Direct)
Simple Question
Q1231210
P47
Q20667921
USER
Which french administrative divisions are bordered by Bramans ?
(Q1231210,P47,c(Q20667921))
action filter_type
action find
entity Q1231210
relation P47
type Q20667921
['Q1231210', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?v WHERE { resource:Q1231210 property:P47 ?v . ?v rdf:type ontology:Q20667921 }
Bramans
action filter_type
action find
entity Bramans
relation shares border with
type type of french administrative division
['Bramans', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?v WHERE { resource:Bramans property:shares_border_with ?v . ?v rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q752477 Q731486 Q567783
SYSTEM
Lanslebourg-Mont-Cenis, Avrieux, Aussois
Q731486 Q567783 Q752477 Q682027
(Q1231210,P47,c(Q20667921))
action filter_type
action find
entity Q1231210
relation P47
type Q20667921
[ANSWERS] are bordered by Bramans
['Q1231210', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?v WHERE { resource:Q1231210 property:P47 ?v . ?v rdf:type ontology:Q20667921 }
Avrieux Aussois Lanslebourg-Mont-Cenis Sollières-Sardières
Lanslebourg-Mont-Cenis, Avrieux and Aussois are bordered by Bramans
Lanslebourg-Mont-Cenis Avrieux Aussois
action filter_type
action find
entity Bramans
relation shares border with
type type of french administrative division
['Bramans', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?v WHERE { resource:Bramans property:shares_border_with ?v . ?v rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q731486
P17
Q15617994
USER
Which administrative territory is Avrieux situated in ?
(Q731486,P17,c(Q15617994))
action filter_type
action find
entity Q731486
relation P17
type Q15617994
['Q731486', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?v WHERE { resource:Q731486 property:P17 ?v . ?v rdf:type ontology:Q15617994 }
Avrieux
action filter_type
action find
entity Avrieux
relation country
type designation for an administrative territorial entity
['Avrieux', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { resource:Avrieux property:country ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142
SYSTEM
France
Q142
(Q731486,P17,c(Q15617994))
action filter_type
action find
entity Q731486
relation P17
type Q15617994
Avrieux is situated en [ANSWER]
['Q731486', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?v WHERE { resource:Q731486 property:P17 ?v . ?v rdf:type ontology:Q15617994 }
France
Avrieux is situated en France
France
action filter_type
action find
entity Avrieux
relation country
type designation for an administrative territorial entity
['Avrieux', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { resource:Avrieux property:country ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q731486
P190
Q15617994
USER
Which administrative territory is twin town of Avrieux ?
(Q731486,P190,c(Q15617994))
action filter_type
action find
entity Q731486
relation P190
type Q15617994
['Q731486', 'P190', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { resource:Q731486 property:P190 ?u . ?u rdf:type ontology:Q15617994 }
Avrieux
action filter_type
action find
entity Avrieux
relation sister city
type designation for an administrative territorial entity
['Avrieux', 'sister city', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Avrieux property:sister_city ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q18141
SYSTEM
Piedicavallo
Q18141
(Q731486,P190,c(Q15617994))
action filter_type
action find
entity Q731486
relation P190
type Q15617994
[ANSWER] is twin town of Avrieux
['Q731486', 'P190', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { resource:Q731486 property:P190 ?u . ?u rdf:type ontology:Q15617994 }
Piedicavallo
Piedicavallo is twin town of Avrieux
Piedicavallo
action filter_type
action find
entity Avrieux
relation sister city
type designation for an administrative territorial entity
['Avrieux', 'sister city', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Avrieux property:sister_city ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q142 Q1005
P35
Q502895
USER
How many people are elected as the head of state of France or Gambia ?
(Q142,P35,c(Q502895)) (Q1005,P35,c(Q502895))
action count
action union
action filter_type
action find
entity Q142
relation P35
type Q502895
action filter_type
action find
entity Q1005
relation P35
type Q502895
['Q142', 'P35', {'concept': 'Q502895'}] ['Q1005', 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?f ) AS ?t ) WHERE { { resource:Q142 property:P35 ?f . ?f rdf:type ontology:Q502895 } UNION { resource:Q1005 property:P35 ?f . ?f rdf:type ontology:Q502895 } }
France Gambia
action count
action union
action filter_type
action find
entity France
relation head of state
type common name
action filter_type
action find
entity Gambia
relation head of state
type common name
['France', 'head of state', {'concept': 'common name'}] ['Gambia', 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?f ) AS ?t ) WHERE { { resource:France property:head_of_state ?f . ?f rdf:type ontology:common_name } UNION { resource:Gambia property:head_of_state ?f . ?f rdf:type ontology:common_name } }
[]
common name
SYSTEM
9
Q2105 Q2038 Q157 Q329 Q2042 Q57356 Q12950 Q2185 Q2124
(Q142,P35,c(Q502895)) (Q1005,P35,c(Q502895))
action count
action union
action filter_type
action find
entity Q142
relation P35
type Q502895
action filter_type
action find
entity Q1005
relation P35
type Q502895
[ANSWER]
['Q142', 'P35', {'concept': 'Q502895'}] ['Q1005', 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?f ) AS ?t ) WHERE { { resource:Q142 property:P35 ?f . ?f rdf:type ontology:Q502895 } UNION { resource:Q1005 property:P35 ?f . ?f rdf:type ontology:Q502895 } }
Jacques Chirac François Mitterrand François Hollande Nicolas Sarkozy Charles de Gaulle Yahya Jammeh Alain Poher Georges Pompidou Valéry Giscard d'Estaing
9
action count
action union
action filter_type
action find
entity France
relation head of state
type common name
action filter_type
action find
entity Gambia
relation head of state
type common name
['France', 'head of state', {'concept': 'common name'}] ['Gambia', 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?f ) AS ?t ) WHERE { { resource:France property:head_of_state ?f . ?f rdf:type ontology:common_name } UNION { resource:Gambia property:head_of_state ?f . ?f rdf:type ontology:common_name } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q752477
P1376
Q20667921
USER
What has Lanslebourg-Mont-Cenis as its capital ?
(Q752477,P1376,c(Q20667921))
action filter_type
action find
entity Q752477
relation P1376
type Q20667921
['Q752477', 'P1376', {'concept': 'Q20667921'}]
SELECT DISTINCT ?e WHERE { resource:Q752477 property:P1376 ?e . ?e rdf:type ontology:Q20667921 }
Lanslebourg-Mont-Cenis
action filter_type
action find
entity Lanslebourg-Mont-Cenis
relation capital of
type type of french administrative division
['Lanslebourg-Mont-Cenis', 'capital of', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?e WHERE { resource:Lanslebourg-Mont-Cenis property:capital_of ?e . ?e rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1122399
SYSTEM
canton of Lanslebourg-Mont-Cenis
Q1122399
(Q752477,P1376,c(Q20667921))
action filter_type
action find
entity Q752477
relation P1376
type Q20667921
The [ANSWER] has Lanslebourg-Mont-Cenis as its capital
['Q752477', 'P1376', {'concept': 'Q20667921'}]
SELECT DISTINCT ?e WHERE { resource:Q752477 property:P1376 ?e . ?e rdf:type ontology:Q20667921 }
canton of Lanslebourg-Mont-Cenis
The canton of Lanslebourg-Mont-Cenis has Lanslebourg-Mont-Cenis as its capital
canton of Lanslebourg-Mont-Cenis
action filter_type
action find
entity Lanslebourg-Mont-Cenis
relation capital of
type type of french administrative division
['Lanslebourg-Mont-Cenis', 'capital of', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?e WHERE { resource:Lanslebourg-Mont-Cenis property:capital_of ?e . ?e rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q696020
Q20667921
USER
And what about Sari-d'Orcino?
(Q696020,P1376,c(Q20667921))
action filter_type
action find
entity Q696020
relation P1376
type Q20667921
['Q696020', 'P1376', {'concept': 'Q20667921'}]
SELECT DISTINCT ?q WHERE { resource:Q696020 property:P1376 ?q . ?q rdf:type ontology:Q20667921 }
Sari-d'Orcino
action filter_type
action find
entity Sari-d'Orcino
relation capital of
type type of french administrative division
["Sari-d'Orcino", 'capital of', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?q WHERE { resource:Sari-d'Orcino property:capital_of ?q . ?q rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1411702
SYSTEM
canton of Cruzini-Cinarca
Q1411702
(Q696020,P1376,c(Q20667921))
action filter_type
action find
entity Q696020
relation P1376
type Q20667921
[ANSWER]
['Q696020', 'P1376', {'concept': 'Q20667921'}]
SELECT DISTINCT ?q WHERE { resource:Q696020 property:P1376 ?q . ?q rdf:type ontology:Q20667921 }
canton of Cruzini-Cinarca
canton of Cruzini-Cinarca
action filter_type
action find
entity Sari-d'Orcino
relation capital of
type type of french administrative division
["Sari-d'Orcino", 'capital of', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?q WHERE { resource:Sari-d'Orcino property:capital_of ?q . ?q rdf:type ontology:type_of_french_administrative_division }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q1411702 Q933323 Q1368158
P36
Q20667921
USER
Does that french administrative division contains Parigné-le-Pôlin and Saint-Victor-Rouzaud as its capital ?
(Q1411702,P36,Q933323) (Q1411702,P36,Q1368158)
action is_in
entity Q1411702
action intersection
action find_reverse
entity Q933323
relation P36
action find_reverse
entity Q1368158
relation P36
['Q1411702', 'P36', 'Q933323'] ['Q1411702', 'P36', 'Q1368158']
ASK WHERE { resource:Q1411702 property:P36 resource:Q933323 . resource:Q1411702 property:P36 resource:Q1368158 }
canton of Cruzini-Cinarca Parigné-le-Pôlin Saint-Victor-Rouzaud
action is_in
entity canton of Cruzini-Cinarca
action intersection
action find_reverse
entity Parigné-le-Pôlin
relation capital
action find_reverse
entity Saint-Victor-Rouzaud
relation capital
['canton of Cruzini-Cinarca', 'capital', 'Parigné-le-Pôlin'] ['canton of Cruzini-Cinarca', 'capital', 'Saint-Victor-Rouzaud']
ASK WHERE { resource:canton_of_Cruzini-Cinarca property:capital resource:Parigné-le-Pôlin . resource:canton_of_Cruzini-Cinarca property:capital resource:Saint-Victor-Rouzaud }
[]
type of french administrative division
SYSTEM
NO
(Q1411702,P36,Q933323) (Q1411702,P36,Q1368158)
action is_in
entity Q1411702
action intersection
action find_reverse
entity Q933323
relation P36
action find_reverse
entity Q1368158
relation P36
[ANSWER]
['Q1411702', 'P36', 'Q933323'] ['Q1411702', 'P36', 'Q1368158']
ASK WHERE { resource:Q1411702 property:P36 resource:Q933323 . resource:Q1411702 property:P36 resource:Q1368158 }
No
action is_in
entity canton of Cruzini-Cinarca
action intersection
action find_reverse
entity Parigné-le-Pôlin
relation capital
action find_reverse
entity Saint-Victor-Rouzaud
relation capital
['canton of Cruzini-Cinarca', 'capital', 'Parigné-le-Pôlin'] ['canton of Cruzini-Cinarca', 'capital', 'Saint-Victor-Rouzaud']
ASK WHERE { resource:canton_of_Cruzini-Cinarca property:capital resource:Parigné-le-Pôlin . resource:canton_of_Cruzini-Cinarca property:capital resource:Saint-Victor-Rouzaud }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q1231210 Q5244192 Q6731422
P47
Q15617994
USER
Is Bramans next to the border of DeWitt Public Schools and Magnet Cove School District ?
(Q1231210,P47,Q5244192) (Q1231210,P47,Q6731422)
action is_in
entity Q1231210
action intersection
action find_reverse
entity Q5244192
relation P47
action find_reverse
entity Q6731422
relation P47
['Q1231210', 'P47', 'Q5244192'] ['Q1231210', 'P47', 'Q6731422']
ASK WHERE { resource:Q1231210 property:P47 resource:Q6731422 . resource:Q1231210 property:P47 resource:Q5244192 }
Bramans DeWitt Public Schools Magnet Cove School District
action is_in
entity Bramans
action intersection
action find_reverse
entity DeWitt Public Schools
relation shares border with
action find_reverse
entity Magnet Cove School District
relation shares border with
['Bramans', 'shares border with', 'DeWitt Public Schools'] ['Bramans', 'shares border with', 'Magnet Cove School District']
ASK WHERE { resource:Bramans property:shares_border_with resource:Magnet_Cove_School_District . resource:Bramans property:shares_border_with resource:DeWitt_Public_Schools }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q1231210,P47,Q5244192) (Q1231210,P47,Q6731422)
action is_in
entity Q1231210
action intersection
action find_reverse
entity Q5244192
relation P47
action find_reverse
entity Q6731422
relation P47
[ANSWER]
['Q1231210', 'P47', 'Q5244192'] ['Q1231210', 'P47', 'Q6731422']
ASK WHERE { resource:Q1231210 property:P47 resource:Q6731422 . resource:Q1231210 property:P47 resource:Q5244192 }
No
action is_in
entity Bramans
action intersection
action find_reverse
entity DeWitt Public Schools
relation shares border with
action find_reverse
entity Magnet Cove School District
relation shares border with
['Bramans', 'shares border with', 'DeWitt Public Schools'] ['Bramans', 'shares border with', 'Magnet Cove School District']
ASK WHERE { resource:Bramans property:shares_border_with resource:Magnet_Cove_School_District . resource:Bramans property:shares_border_with resource:DeWitt_Public_Schools }
[]
Simple Question (Ellipsis)
Incomplete|object parent is changed, subject and predicate remain same
Q1231210
Q20667921
USER
And which french administrative division?
(Q1231210,P47,c(Q20667921))
action filter_type
action find
entity Q1231210
relation P47
type Q20667921
['Q1231210', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?g WHERE { ?g rdf:type ontology:Q20667921 . resource:Q1231210 property:P47 ?g }
Bramans
action filter_type
action find
entity Bramans
relation shares border with
type type of french administrative division
['Bramans', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?g WHERE { ?g rdf:type ontology:type_of_french_administrative_division . resource:Bramans property:shares_border_with ?g }
[]
type of french administrative division
Q752477 Q731486 Q567783
SYSTEM
Lanslebourg-Mont-Cenis, Avrieux, Aussois
Q731486 Q567783 Q682027 Q752477
(Q1231210,P47,c(Q20667921))
action filter_type
action find
entity Q1231210
relation P47
type Q20667921
[ANSWERS]
['Q1231210', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?g WHERE { ?g rdf:type ontology:Q20667921 . resource:Q1231210 property:P47 ?g }
Avrieux Aussois Sollières-Sardières Lanslebourg-Mont-Cenis
Lanslebourg-Mont-Cenis Avrieux Aussois
action filter_type
action find
entity Bramans
relation shares border with
type type of french administrative division
['Bramans', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?g WHERE { ?g rdf:type ontology:type_of_french_administrative_division . resource:Bramans property:shares_border_with ?g }
[]