Simple Question (Direct)
Simple Question
Q542030
P47
Q20667921
USER
Which french administrative divisions are adjacent to Précigné ?
(Q542030,P47,c(Q20667921))
action filter_type
action find
entity Q542030
relation P47
type Q20667921
['Q542030', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?w WHERE { resource:Q542030 property:P47 ?w . ?w rdf:type ontology:Q20667921 }
Précigné
action filter_type
action find
entity Précigné
relation shares border with
type type of french administrative division
['Précigné', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?w WHERE { resource:Précigné property:shares_border_with ?w . ?w rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1100702 Q21979912 Q1224064
SYSTEM
Saint-Denis-d'Anjou, Morannes-sur-Sarthe, La Chapelle-d'Aligné
Q768139 Q1100702 Q1224064 Q1225990 Q537682 Q780929 Q21979912 Q652192
(Q542030,P47,c(Q20667921))
action filter_type
action find
entity Q542030
relation P47
type Q20667921
[ANSWERS] are adjacent to Précigné
['Q542030', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?w WHERE { resource:Q542030 property:P47 ?w . ?w rdf:type ontology:Q20667921 }
Courtillers Saint-Denis-d'Anjou La Chapelle-d'Aligné Pincé Notre-Dame-du-Pé Vion, Sarthe Morannes-sur-Sarthe Louailles
Saint-Denis-d'Anjou, Morannes-sur-Sarthe and La Chapelle-d'Aligné are adjacent to Précigné
Saint-Denis-d'Anjou Morannes-sur-Sarthe La Chapelle-d'Aligné
action filter_type
action find
entity Précigné
relation shares border with
type type of french administrative division
['Précigné', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?w WHERE { resource:Précigné property:shares_border_with ?w . ?w rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q542030
P17
Q15617994
USER
Which administrative territory is Précigné present in ?
(Q542030,P17,c(Q15617994))
action filter_type
action find
entity Q542030
relation P17
type Q15617994
['Q542030', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q15617994 . resource:Q542030 property:P17 ?v }
Précigné
action filter_type
action find
entity Précigné
relation country
type designation for an administrative territorial entity
['Précigné', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Précigné property:country ?v }
[]
designation for an administrative territorial entity
Q142
SYSTEM
France
Q142
(Q542030,P17,c(Q15617994))
action filter_type
action find
entity Q542030
relation P17
type Q15617994
Which administrative territory is Précigné present in
['Q542030', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q15617994 . resource:Q542030 property:P17 ?v }
France
Which administrative territory is Précigné present in
France
action filter_type
action find
entity Précigné
relation country
type designation for an administrative territorial entity
['Précigné', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Précigné property:country ?v }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q7938058
Q15617994
USER
And also tell me about Viña del Mar University?
(Q7938058,P17,c(Q15617994))
action filter_type
action find
entity Q7938058
relation P17
type Q15617994
['Q7938058', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?w WHERE { resource:Q7938058 property:P17 ?w . ?w rdf:type ontology:Q15617994 }
Viña del Mar University
action filter_type
action find
entity Viña del Mar University
relation country
type designation for an administrative territorial entity
['Viña del Mar University', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?w WHERE { resource:Viña_del_Mar_University property:country ?w . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q298
SYSTEM
Chile
Q298
(Q7938058,P17,c(Q15617994))
action filter_type
action find
entity Q7938058
relation P17
type Q15617994
[ANSWER]
['Q7938058', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?w WHERE { resource:Q7938058 property:P17 ?w . ?w rdf:type ontology:Q15617994 }
Chile
Chile
action filter_type
action find
entity Viña del Mar University
relation country
type designation for an administrative territorial entity
['Viña del Mar University', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?w WHERE { resource:Viña_del_Mar_University property:country ?w . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q1092710 Q1100702
P47
Q20667921
USER
Which french administrative divisions are bordered by Saint-Denis-d'Anjou or Bernac-Dessus ?
OR((Q1100702,P47,c(Q20667921)), (Q1092710,P47,c(Q20667921)))
action filter_type
action union
action find
entity Q1100702
relation P47
action find
entity Q1092710
relation P47
type Q20667921
{'OR': [['Q1100702', 'P47', {'concept': 'Q20667921'}], ['Q1092710', 'P47', {'concept': 'Q20667921'}]]}
SELECT DISTINCT ?l WHERE { { ?g property:P47 ?l . VALUES ( ?g ) { ( resource:Q1100702 ) ( resource:Q1092710 ) } } . ?l rdf:type ontology:Q20667921 }
Bernac-Dessus Saint-Denis-d'Anjou
action filter_type
action union
action find
entity Saint-Denis-d'Anjou
relation shares border with
action find
entity Bernac-Dessus
relation shares border with
type type of french administrative division
{'OR': [["Saint-Denis-d'Anjou", 'shares border with', {'concept': 'type of french administrative division'}], ['Bernac-Dessus', 'shares border with', {'concept': 'type of french administrative division'}]]}
SELECT DISTINCT ?l WHERE { { ?g property:shares_border_with ?l . VALUES ( ?g ) { ( resource:Saint-Denis-d'Anjou ) ( resource:Bernac-Dessus ) } } . ?l rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q959175 Q828635 Q1225990 Q476575 Q606718 Q973252 Q613172 Q542030 Q1323959 Q1094468
SYSTEM
Some of them are Chemiré-sur-Sarthe, Sablé-sur-Sarthe, Pincé, Bouère, Hitte, Bernac-Debat, Arcizac-Adour, Précigné, Vielle-Adour, Barbazan-Dessus
Q1386896 Q1094468 Q606718 Q959175 Q1225990 Q1171625 Q613172 Q21979912 Q828635 Q973252 Q476575 Q1227646 Q542030 Q1323959
OR((Q1100702,P47,c(Q20667921)), (Q1092710,P47,c(Q20667921)))
action filter_type
action union
action find
entity Q1100702
relation P47
action find
entity Q1092710
relation P47
type Q20667921
[ANSWERS] are bordered by Saint-Denis-d'Anjou or Bernac-Dessus
{'OR': [['Q1100702', 'P47', {'concept': 'Q20667921'}], ['Q1092710', 'P47', {'concept': 'Q20667921'}]]}
SELECT DISTINCT ?l WHERE { { ?g property:P47 ?l . VALUES ( ?g ) { ( resource:Q1100702 ) ( resource:Q1092710 ) } } . ?l rdf:type ontology:Q20667921 }
Miré Barbazan-Dessus Hitte Chemiré-sur-Sarthe Pincé Bierné Arcizac-Adour Morannes-sur-Sarthe Sablé-sur-Sarthe Bernac-Debat Bouère Souvigné-sur-Sarthe Précigné Vielle-Adour
Chemiré-sur-Sarthe, Sablé-sur-Sarthe, Pincé, Bouère, Hitte, Bernac-Debat, Arcizac-Adour, Précigné, Vielle-Adour and Barbazan-Dessus are bordered by Saint-Denis-d'Anjou or Bernac-Dessus
Chemiré-sur-Sarthe Sablé-sur-Sarthe Pincé Bouère Hitte Bernac-Debat Arcizac-Adour Précigné Vielle-Adour Barbazan-Dessus
action filter_type
action union
action find
entity Saint-Denis-d'Anjou
relation shares border with
action find
entity Bernac-Dessus
relation shares border with
type type of french administrative division
{'OR': [["Saint-Denis-d'Anjou", 'shares border with', {'concept': 'type of french administrative division'}], ['Bernac-Dessus', 'shares border with', {'concept': 'type of french administrative division'}]]}
SELECT DISTINCT ?l WHERE { { ?g property:shares_border_with ?l . VALUES ( ?g ) { ( resource:Saint-Denis-d'Anjou ) ( resource:Bernac-Dessus ) } } . ?l rdf:type ontology:type_of_french_administrative_division }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q21746 Q1092710
P47
Q20667921
USER
Which french administrative divisions are bordered by Bernac-Dessus or Lemoncourt ?
OR((Q1092710,P47,c(Q20667921)), (Q21746,P47,c(Q20667921)))
action filter_type
action union
action find
entity Q1092710
relation P47
action find
entity Q21746
relation P47
type Q20667921
{'OR': [['Q1092710', 'P47', {'concept': 'Q20667921'}], ['Q21746', 'P47', {'concept': 'Q20667921'}]]}
SELECT DISTINCT ?j WHERE { { VALUES ( ?u ) { ( resource:Q1092710 ) ( resource:Q21746 ) } . ?u property:P47 ?j } . ?j rdf:type ontology:Q20667921 }
Lemoncourt Bernac-Dessus
action filter_type
action union
action find
entity Bernac-Dessus
relation shares border with
action find
entity Lemoncourt
relation shares border with
type type of french administrative division
{'OR': [['Bernac-Dessus', 'shares border with', {'concept': 'type of french administrative division'}], ['Lemoncourt', 'shares border with', {'concept': 'type of french administrative division'}]]}
SELECT DISTINCT ?j WHERE { { VALUES ( ?u ) { ( resource:Bernac-Dessus ) ( resource:Lemoncourt ) } . ?u property:shares_border_with ?j } . ?j rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q613172 Q21758 Q21969 Q1323959 Q21954 Q21667 Q1094468 Q606718 Q21656 Q973252
SYSTEM
Some of them are Arcizac-Adour, Craincourt, Jallaucourt, Vielle-Adour, Malaucourt-sur-Seille, Donjeux, Barbazan-Dessus, Hitte, Oriocourt, Bernac-Debat
Q21581 Q1094468 Q606718 Q613172 Q21656 Q21672 Q21667 Q973252 Q21969 Q21954 Q21758 Q1323959
OR((Q1092710,P47,c(Q20667921)), (Q21746,P47,c(Q20667921)))
action filter_type
action union
action find
entity Q1092710
relation P47
action find
entity Q21746
relation P47
type Q20667921
[ANSWERS] are bordered by Bernac-Dessus or Lemoncourt
{'OR': [['Q1092710', 'P47', {'concept': 'Q20667921'}], ['Q21746', 'P47', {'concept': 'Q20667921'}]]}
SELECT DISTINCT ?j WHERE { { VALUES ( ?u ) { ( resource:Q1092710 ) ( resource:Q21746 ) } . ?u property:P47 ?j } . ?j rdf:type ontology:Q20667921 }
Delme Barbazan-Dessus Hitte Arcizac-Adour Oriocourt Aulnois-sur-Seille Donjeux Bernac-Debat Jallaucourt Malaucourt-sur-Seille Craincourt Vielle-Adour
Arcizac-Adour, Craincourt, Jallaucourt, Vielle-Adour, Malaucourt-sur-Seille, Donjeux, Barbazan-Dessus, Hitte, Oriocourt and Bernac-Debat are bordered by Bernac-Dessus or Lemoncourt
Arcizac-Adour Craincourt Jallaucourt Vielle-Adour Malaucourt-sur-Seille Donjeux Barbazan-Dessus Hitte Oriocourt Bernac-Debat
action filter_type
action union
action find
entity Bernac-Dessus
relation shares border with
action find
entity Lemoncourt
relation shares border with
type type of french administrative division
{'OR': [['Bernac-Dessus', 'shares border with', {'concept': 'type of french administrative division'}], ['Lemoncourt', 'shares border with', {'concept': 'type of french administrative division'}]]}
SELECT DISTINCT ?j WHERE { { VALUES ( ?u ) { ( resource:Bernac-Dessus ) ( resource:Lemoncourt ) } . ?u property:shares_border_with ?j } . ?j rdf:type ontology:type_of_french_administrative_division }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q569751
P138
Q20667921 Q16521 Q376799
USER
How many french administrative divisions are namesakes of more number of taxons and transport infrastructures than Termignon ?
(c(Q16521)|c(Q376799),P138,c(Q20667921))
action count
action greater
action union
action find_reverse_tuple_counts
relation P138
type Q20667921
type Q16521
action find_reverse_tuple_counts
relation P138
type Q20667921
type Q376799
action count
action filter_multi_types
action find_reverse
entity Q569751
relation P138
type Q16521
type Q376799
[[{'concept': 'Q16521'}, {'concept': 'Q376799'}], 'P138', {'concept': 'Q20667921'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?f ) WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?o ) ?h WHERE { VALUES ( ?k ) { ( ontology:Q16521 ) ( ontology:Q376799 ) } . ?m rdf:type ?k } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?x ) WHERE { ?y property:P138 resource:Q569751 . { { ?y rdf:type ontology:Q16521 } UNION { ?y rdf:type ontology:Q376799 } } } } . FILTER ( ?o > ?x ) }
Termignon
action count
action greater
action union
action find_reverse_tuple_counts
relation named after
type type of french administrative division
type taxon
action find_reverse_tuple_counts
relation named after
type type of french administrative division
type transport infrastructure
action count
action filter_multi_types
action find_reverse
entity Termignon
relation named after
type taxon
type transport infrastructure
[[{'concept': 'taxon'}, {'concept': 'transport infrastructure'}], 'named after', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?f ) WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?o ) ?h WHERE { VALUES ( ?k ) { ( ontology:taxon ) ( ontology:transport_infrastructure ) } . ?m rdf:type ?k } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?x ) WHERE { ?y property:named_after resource:Termignon . { { ?y rdf:type ontology:taxon } UNION { ?y rdf:type ontology:transport_infrastructure } } } } . FILTER ( ?o > ?x ) }
[]
type of french administrative division taxon transport infrastructure
SYSTEM
5
Q163108 Q189153 Q14112 Q165090 Q212959
(c(Q16521)|c(Q376799),P138,c(Q20667921))
action count
action greater
action union
action find_reverse_tuple_counts
relation P138
type Q20667921
type Q16521
action find_reverse_tuple_counts
relation P138
type Q20667921
type Q376799
action count
action filter_multi_types
action find_reverse
entity Q569751
relation P138
type Q16521
type Q376799
[ANSWER]
[[{'concept': 'Q16521'}, {'concept': 'Q376799'}], 'P138', {'concept': 'Q20667921'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?f ) WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?o ) ?h WHERE { VALUES ( ?k ) { ( ontology:Q16521 ) ( ontology:Q376799 ) } . ?m rdf:type ?k } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?x ) WHERE { ?y property:P138 resource:Q569751 . { { ?y rdf:type ontology:Q16521 } UNION { ?y rdf:type ontology:Q376799 } } } } . FILTER ( ?o > ?x ) }
Saint-Malo Saint-Cloud Corsica Chambéry Denain
5
action count
action greater
action union
action find_reverse_tuple_counts
relation named after
type type of french administrative division
type taxon
action find_reverse_tuple_counts
relation named after
type type of french administrative division
type transport infrastructure
action count
action filter_multi_types
action find_reverse
entity Termignon
relation named after
type taxon
type transport infrastructure
[[{'concept': 'taxon'}, {'concept': 'transport infrastructure'}], 'named after', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?f ) WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?o ) ?h WHERE { VALUES ( ?k ) { ( ontology:taxon ) ( ontology:transport_infrastructure ) } . ?m rdf:type ?k } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?x ) WHERE { ?y property:named_after resource:Termignon . { { ?y rdf:type ontology:taxon } UNION { ?y rdf:type ontology:transport_infrastructure } } } } . FILTER ( ?o > ?x ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q7558908 Q973252
P17
Q15617994
USER
Which administrative territories are Bernac-Debat or Soltanabad a part of ?
OR((Q973252,P17,c(Q15617994)), (Q7558908,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q973252
relation P17
action find
entity Q7558908
relation P17
type Q15617994
{'OR': [['Q973252', 'P17', {'concept': 'Q15617994'}], ['Q7558908', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?e WHERE { { VALUES ( ?f ) { ( resource:Q973252 ) ( resource:Q7558908 ) } . ?f property:P17 ?e } . ?e rdf:type ontology:Q15617994 }
Soltanabad Bernac-Debat
action filter_type
action union
action find
entity Bernac-Debat
relation country
action find
entity Soltanabad
relation country
type designation for an administrative territorial entity
{'OR': [['Bernac-Debat', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Soltanabad', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?e WHERE { { VALUES ( ?f ) { ( resource:Bernac-Debat ) ( resource:Soltanabad ) } . ?f property:country ?e } . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142 Q794
SYSTEM
France, Iran
Q142 Q794
OR((Q973252,P17,c(Q15617994)), (Q7558908,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q973252
relation P17
action find
entity Q7558908
relation P17
type Q15617994
[ANSWERS] are Bernac-Debat or Soltanabad a part of
{'OR': [['Q973252', 'P17', {'concept': 'Q15617994'}], ['Q7558908', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?e WHERE { { VALUES ( ?f ) { ( resource:Q973252 ) ( resource:Q7558908 ) } . ?f property:P17 ?e } . ?e rdf:type ontology:Q15617994 }
France Iran
France and Iran are Bernac-Debat or Soltanabad a part of
France Iran
action filter_type
action union
action find
entity Bernac-Debat
relation country
action find
entity Soltanabad
relation country
type designation for an administrative territorial entity
{'OR': [['Bernac-Debat', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Soltanabad', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?e WHERE { { VALUES ( ?f ) { ( resource:Bernac-Debat ) ( resource:Soltanabad ) } . ?f property:country ?e } . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q11157151 Q606718
P27 P17
Q15617994
USER
Which administrative territories are Hitte located in or are the native countriesof Thomas Foster ?
OR((Q606718,P17,c(Q15617994)), (Q11157151,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q606718
relation P17
action find
entity Q11157151
relation P27
type Q15617994
{'OR': [['Q606718', 'P17', {'concept': 'Q15617994'}], ['Q11157151', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?g WHERE { { { resource:Q11157151 property:P27 ?g } UNION { resource:Q606718 property:P17 ?g } } . ?g rdf:type ontology:Q15617994 }
Thomas Foster Hitte
action filter_type
action union
action find
entity Hitte
relation country
action find
entity Thomas Foster
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Hitte', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Thomas Foster', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?g WHERE { { { resource:Thomas_Foster property:country_of_citizenship ?g } UNION { resource:Hitte property:country ?g } } . ?g rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142 Q145
SYSTEM
France, United Kingdom
Q142 Q145
OR((Q606718,P17,c(Q15617994)), (Q11157151,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q606718
relation P17
action find
entity Q11157151
relation P27
type Q15617994
Hitte are located in [ANSWERS] or are the native countriesof Thomas Foster
{'OR': [['Q606718', 'P17', {'concept': 'Q15617994'}], ['Q11157151', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?g WHERE { { { resource:Q11157151 property:P27 ?g } UNION { resource:Q606718 property:P17 ?g } } . ?g rdf:type ontology:Q15617994 }
France United Kingdom
Hitte are located in France and United Kingdom or are the native countriesof Thomas Foster
France United Kingdom
action filter_type
action union
action find
entity Hitte
relation country
action find
entity Thomas Foster
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Hitte', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Thomas Foster', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?g WHERE { { { resource:Thomas_Foster property:country_of_citizenship ?g } UNION { resource:Hitte property:country ?g } } . ?g rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q142 Q973252
P47 P17
Q20667921
USER
Which french administrative divisions are next to the border of Bernac-Debat and are present in France ?
AND((c(Q20667921),P47,Q973252), (c(Q20667921),P17,Q142))
action filter_type
action intersection
action find_reverse
entity Q973252
relation P47
action find_reverse
entity Q142
relation P17
type Q20667921
{'AND': [[{'concept': 'Q20667921'}, 'P47', 'Q973252'], [{'concept': 'Q20667921'}, 'P17', 'Q142']]}
SELECT DISTINCT ?g WHERE { ?g property:P47 resource:Q973252 . ?g property:P17 resource:Q142 . ?g rdf:type ontology:Q20667921 }
France Bernac-Debat
action filter_type
action intersection
action find_reverse
entity Bernac-Debat
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', 'Bernac-Debat'], [{'concept': 'type of french administrative division'}, 'country', 'France']]}
SELECT DISTINCT ?g WHERE { ?g property:shares_border_with resource:Bernac-Debat . ?g property:country resource:France . ?g rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1101903 Q1094468 Q1325934 Q1155463 Q1323222 Q613172 Q1092710
SYSTEM
Allier, Barbazan-Dessus, Momères, Saint-Martin, Salles-Adour, Arcizac-Adour, Bernac-Dessus
Q1101903 Q1094468 Q1325934 Q1155463 Q1323222 Q613172 Q1092710
AND((c(Q20667921),P47,Q973252), (c(Q20667921),P17,Q142))
action filter_type
action intersection
action find_reverse
entity Q973252
relation P47
action find_reverse
entity Q142
relation P17
type Q20667921
[ANSWERS] are next to the border of Bernac-Debat and are present in France
{'AND': [[{'concept': 'Q20667921'}, 'P47', 'Q973252'], [{'concept': 'Q20667921'}, 'P17', 'Q142']]}
SELECT DISTINCT ?g WHERE { ?g property:P47 resource:Q973252 . ?g property:P17 resource:Q142 . ?g rdf:type ontology:Q20667921 }
Allier Barbazan-Dessus Momères Saint-Martin Salles-Adour Arcizac-Adour Bernac-Dessus
Allier, Barbazan-Dessus, Momères, Saint-Martin, Salles-Adour, Arcizac-Adour and Bernac-Dessus are next to the border of Bernac-Debat and are present in France
Allier Barbazan-Dessus Momères Saint-Martin Salles-Adour Arcizac-Adour Bernac-Dessus
action filter_type
action intersection
action find_reverse
entity Bernac-Debat
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', 'Bernac-Debat'], [{'concept': 'type of french administrative division'}, 'country', 'France']]}
SELECT DISTINCT ?g WHERE { ?g property:shares_border_with resource:Bernac-Debat . ?g property:country resource:France . ?g rdf:type ontology:type_of_french_administrative_division }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q973252
P47
Q20667921
USER
Do those ones share a border with Bernac-Debat ?
(Q973252,P47,Q1101903) (Q973252,P47,Q1094468) (Q973252,P47,Q1325934) (Q973252,P47,Q1155463) (Q973252,P47,Q1323222) (Q973252,P47,Q613172) (Q973252,P47,Q1092710)
action is_in
entity prev_answer
action find
entity Q973252
relation P47
['Q973252', 'P47', 'Q1101903'] ['Q973252', 'P47', 'Q1094468'] ['Q973252', 'P47', 'Q1325934'] ['Q973252', 'P47', 'Q1155463'] ['Q973252', 'P47', 'Q1323222'] ['Q973252', 'P47', 'Q613172'] ['Q973252', 'P47', 'Q1092710']
ASK WHERE { resource:Q973252 property:P47 ?p . VALUES ( ?p ) { ( resource:Q1101903 ) ( resource:Q1094468 ) ( resource:Q1325934 ) } }
Bernac-Debat
action is_in
entity prev_answer
action find
entity Bernac-Debat
relation shares border with
['Bernac-Debat', 'shares border with', 'Allier'] ['Bernac-Debat', 'shares border with', 'Barbazan-Dessus'] ['Bernac-Debat', 'shares border with', 'Momères'] ['Bernac-Debat', 'shares border with', 'Saint-Martin'] ['Bernac-Debat', 'shares border with', 'Salles-Adour'] ['Bernac-Debat', 'shares border with', 'Arcizac-Adour'] ['Bernac-Debat', 'shares border with', 'Bernac-Dessus']
ASK WHERE { resource:Bernac-Debat property:shares_border_with ?p . VALUES ( ?p ) { ( resource:Allier ) ( resource:Barbazan-Dessus ) ( resource:Momères ) } }
[]
type of french administrative division
SYSTEM
YES
(Q973252,P47,Q1101903) (Q973252,P47,Q1094468) (Q973252,P47,Q1325934) (Q973252,P47,Q1155463) (Q973252,P47,Q1323222) (Q973252,P47,Q613172) (Q973252,P47,Q1092710)
action is_in
entity prev_answer
action find
entity Q973252
relation P47
[ANSWER]
['Q973252', 'P47', 'Q1101903'] ['Q973252', 'P47', 'Q1094468'] ['Q973252', 'P47', 'Q1325934'] ['Q973252', 'P47', 'Q1155463'] ['Q973252', 'P47', 'Q1323222'] ['Q973252', 'P47', 'Q613172'] ['Q973252', 'P47', 'Q1092710']
ASK WHERE { resource:Q973252 property:P47 ?p . VALUES ( ?p ) { ( resource:Q1101903 ) ( resource:Q1094468 ) ( resource:Q1325934 ) } }
Yes
action is_in
entity prev_answer
action find
entity Bernac-Debat
relation shares border with
['Bernac-Debat', 'shares border with', 'Allier'] ['Bernac-Debat', 'shares border with', 'Barbazan-Dessus'] ['Bernac-Debat', 'shares border with', 'Momères'] ['Bernac-Debat', 'shares border with', 'Saint-Martin'] ['Bernac-Debat', 'shares border with', 'Salles-Adour'] ['Bernac-Debat', 'shares border with', 'Arcizac-Adour'] ['Bernac-Debat', 'shares border with', 'Bernac-Dessus']
ASK WHERE { resource:Bernac-Debat property:shares_border_with ?p . VALUES ( ?p ) { ( resource:Allier ) ( resource:Barbazan-Dessus ) ( resource:Momères ) } }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P159
Q20667921 Q334453 Q895526
USER
Which french administrative divisions are the head office for approximately 1 divisions or authority organs located ?
(c(Q334453)|c(Q895526),P159,c(Q20667921))
action approx
action union
action find_reverse_tuple_counts
relation P159
type Q20667921
type Q334453
action find_reverse_tuple_counts
relation P159
type Q20667921
type Q895526
value 1
[[{'concept': 'Q334453'}, {'concept': 'Q895526'}], 'P159', {'concept': 'Q20667921'}]
SELECT DISTINCT ?p WHERE { FILTER ( ?b = 1 ) . { SELECT DISTINCT ( COUNT ( ?k ) AS ?b ) ?p WHERE { { ?k property:P159 ?p . ?p rdf:type ontology:Q20667921 . ?k rdf:type ontology:Q334453 } UNION { ?k property:P159 ?p . ?p rdf:type ontology:Q20667921 . ?k rdf:type ontology:Q895526 } } GROUP BY ?p } }
action approx
action union
action find_reverse_tuple_counts
relation headquarters location
type type of french administrative division
type division
action find_reverse_tuple_counts
relation headquarters location
type type of french administrative division
type authority organ
value 1
[[{'concept': 'division'}, {'concept': 'authority organ'}], 'headquarters location', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?p WHERE { FILTER ( ?b = 1 ) . { SELECT DISTINCT ( COUNT ( ?k ) AS ?b ) ?p WHERE { { ?k property:headquarters_location ?p . ?p rdf:type ontology:type_of_french_administrative_division . ?k rdf:type ontology:division } UNION { ?k property:headquarters_location ?p . ?p rdf:type ontology:type_of_french_administrative_division . ?k rdf:type ontology:authority_organ } } GROUP BY ?p } }
[]
type of french administrative division division authority organ
Q22690 Q207605 Q209086
SYSTEM
Metz, Noisy-le-Grand, Pantin
Q207605 Q22690 Q274774 Q37719 Q241021 Q189715 Q272906 Q209086 Q253721 Q48958
(c(Q334453)|c(Q895526),P159,c(Q20667921))
action approx
action union
action find_reverse_tuple_counts
relation P159
type Q20667921
type Q334453
action find_reverse_tuple_counts
relation P159
type Q20667921
type Q895526
value 1
[ANSWERS] are the head office for approximately 1 divisions or authority organs located
[[{'concept': 'Q334453'}, {'concept': 'Q895526'}], 'P159', {'concept': 'Q20667921'}]
SELECT DISTINCT ?p WHERE { FILTER ( ?b = 1 ) . { SELECT DISTINCT ( COUNT ( ?k ) AS ?b ) ?p WHERE { { ?k property:P159 ?p . ?p rdf:type ontology:Q20667921 . ?k rdf:type ontology:Q334453 } UNION { ?k property:P159 ?p . ?p rdf:type ontology:Q20667921 . ?k rdf:type ontology:Q895526 } } GROUP BY ?p } }
Noisy-le-Grand Metz Viviers Beaurainville Montrouge Courbevoie Le Bourget Pantin Malakoff Neuilly-sur-Seine
Metz, Noisy-le-Grand and Pantin are the head office for approximately 1 divisions or authority organs located
Metz Noisy-le-Grand Pantin
action approx
action union
action find_reverse_tuple_counts
relation headquarters location
type type of french administrative division
type division
action find_reverse_tuple_counts
relation headquarters location
type type of french administrative division
type authority organ
value 1
[[{'concept': 'division'}, {'concept': 'authority organ'}], 'headquarters location', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?p WHERE { FILTER ( ?b = 1 ) . { SELECT DISTINCT ( COUNT ( ?k ) AS ?b ) ?p WHERE { { ?k property:headquarters_location ?p . ?p rdf:type ontology:type_of_french_administrative_division . ?k rdf:type ontology:division } UNION { ?k property:headquarters_location ?p . ?p rdf:type ontology:type_of_french_administrative_division . ?k rdf:type ontology:authority_organ } } GROUP BY ?p } }
[]