Simple Question (Direct)
Simple Question
Q224346
P47
Q20667921
USER
Which french administrative divisions are adjacent to Gerbéviller ?
(Q224346,P47,c(Q20667921))
action filter_type
action find
entity Q224346
relation P47
type Q20667921
['Q224346', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?e WHERE { resource:Q224346 property:P47 ?e . ?e rdf:type ontology:Q20667921 }
Gerbéviller
action filter_type
action find
entity Gerbéviller
relation shares border with
type type of french administrative division
['Gerbéviller', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?e WHERE { resource:Gerbéviller property:shares_border_with ?e . ?e rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1062198 Q1047476 Q193281
SYSTEM
Lamath, Moyen, Fraimbois
Q1097173 Q777210 Q1046738 Q193281 Q1062198 Q1064035 Q1000248 Q1047335 Q1047476 Q668721
(Q224346,P47,c(Q20667921))
action filter_type
action find
entity Q224346
relation P47
type Q20667921
[ANSWERS] are adjacent to Gerbéviller
['Q224346', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?e WHERE { resource:Q224346 property:P47 ?e . ?e rdf:type ontology:Q20667921 }
Vallois Remenoville Seranville Fraimbois Lamath Hériménil Haudonville Moriviller Moyen Xermaménil
Lamath, Moyen and Fraimbois are adjacent to Gerbéviller
Lamath Moyen Fraimbois
action filter_type
action find
entity Gerbéviller
relation shares border with
type type of french administrative division
['Gerbéviller', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?e WHERE { resource:Gerbéviller property:shares_border_with ?e . ?e rdf:type ontology:type_of_french_administrative_division }
[]
Clarification
Simple Question|Single Entity|Indirect
Q1047476
P166
Q618779
USER
What was awarded to that french administrative division ?
(Q1047476,P166,c(Q618779))
action filter_type
action find
entity Q1047476
relation P166
type Q618779
['Q1047476', 'P166', {'concept': 'Q618779'}]
SELECT DISTINCT ?b WHERE { resource:Q1047476 property:P166 ?b . ?b rdf:type ontology:Q618779 }
Moyen
action filter_type
action find
entity Moyen
relation award received
type award
['Moyen', 'award received', {'concept': 'award'}]
SELECT DISTINCT ?b WHERE { resource:Moyen property:award_received ?b . ?b rdf:type ontology:award }
[]
award
Clarification for simple ques.
Q1047476
SYSTEM
Did you mean Moyen ?
Q1062198 Q1047476 Q193281
(Q1062198,P166,c(Q618779)) (Q1047476,P166,c(Q618779)) (Q193281,P166,c(Q618779))
[ANSWER]
['Q1062198', 'P166', {'concept': 'Q618779'}] ['Q1047476', 'P166', {'concept': 'Q618779'}] ['Q193281', 'P166', {'concept': 'Q618779'}]
SELECT DISTINCT ?b WHERE { resource:Q1047476 property:P166 ?b . ?b rdf:type ontology:Q618779 }
Lamath Moyen Fraimbois
Did you mean Moyen ?
Moyen
['Lamath', 'award received', {'concept': 'award'}] ['Moyen', 'award received', {'concept': 'award'}] ['Fraimbois', 'award received', {'concept': 'award'}]
SELECT DISTINCT ?b WHERE { resource:Moyen property:award_received ?b . ?b rdf:type ontology:award }
[]
Simple Question (Coreferenced)
USER
Yes
(Q1047476,P166,c(Q618779))
['Q1047476', 'P166', {'concept': 'Q618779'}]
['Moyen', 'award received', {'concept': 'award'}]
[]
Q2727598
SYSTEM
Croix de guerre 1914–1918
Q2727598
(Q1047476,P166,c(Q618779))
action filter_type
action find
entity Q1047476
relation P166
type Q618779
[ANSWER] was awarded to that french administrative division
['Q1047476', 'P166', {'concept': 'Q618779'}]
SELECT DISTINCT ?b WHERE { resource:Q1047476 property:P166 ?b . ?b rdf:type ontology:Q618779 }
Croix de guerre 1914–1918
Croix de guerre 1914–1918 was awarded to that french administrative division
Croix de guerre 1914–1918
action filter_type
action find
entity Moyen
relation award received
type award
['Moyen', 'award received', {'concept': 'award'}]
SELECT DISTINCT ?b WHERE { resource:Moyen property:award_received ?b . ?b rdf:type ontology:award }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q22437 Q1062198
P47
Q20667921
USER
Which french administrative divisions are next to the border of Lamath or Soufflenheim ?
OR((c(Q20667921),P47,Q1062198), (c(Q20667921),P47,Q22437))
action filter_type
action union
action find_reverse
entity Q1062198
relation P47
action find_reverse
entity Q22437
relation P47
type Q20667921
{'OR': [[{'concept': 'Q20667921'}, 'P47', 'Q1062198'], [{'concept': 'Q20667921'}, 'P47', 'Q22437']]}
SELECT DISTINCT ?v WHERE { { VALUES ( ?r ) { ( resource:Q1062198 ) ( resource:Q22437 ) } . ?v property:P47 ?r } . ?v rdf:type ontology:Q20667921 }
Soufflenheim Lamath
action filter_type
action union
action find_reverse
entity Lamath
relation shares border with
action find_reverse
entity Soufflenheim
relation shares border with
type type of french administrative division
{'OR': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Lamath'], [{'concept': 'type of french administrative division'}, 'shares border with', 'Soufflenheim']]}
SELECT DISTINCT ?v WHERE { { VALUES ( ?r ) { ( resource:Lamath ) ( resource:Soufflenheim ) } . ?v property:shares_border_with ?r } . ?v rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1062337 Q21305 Q1060408 Q668721 Q21484 Q22778 Q1000248 Q21457 Q1085877 Q208276
SYSTEM
Some of them are Méhoncourt, Sessenheim, Landécourt, Xermaménil, Schirrhein, Drusenheim, Haudonville, Rountzenheim, Blainville-sur-l'Eau, Mont-sur-Meurthe
Q224346 Q1062227 Q21484 Q22730 Q1000248 Q21305 Q22778 Q1060408 Q21457 Q1060518 Q1062337 Q1085877 Q208276 Q668721
OR((c(Q20667921),P47,Q1062198), (c(Q20667921),P47,Q22437))
action filter_type
action union
action find_reverse
entity Q1062198
relation P47
action find_reverse
entity Q22437
relation P47
type Q20667921
[ANSWERS] are next to the border of Lamath or Soufflenheim
{'OR': [[{'concept': 'Q20667921'}, 'P47', 'Q1062198'], [{'concept': 'Q20667921'}, 'P47', 'Q22437']]}
SELECT DISTINCT ?v WHERE { { VALUES ( ?r ) { ( resource:Q1062198 ) ( resource:Q22437 ) } . ?v property:P47 ?r } . ?v rdf:type ontology:Q20667921 }
Gerbéviller Franconville Schirrhein Haguenau Haudonville Sessenheim Drusenheim Landécourt Rountzenheim Einvaux Méhoncourt Blainville-sur-l'Eau Mont-sur-Meurthe Xermaménil
Méhoncourt, Sessenheim, Landécourt, Xermaménil, Schirrhein, Drusenheim, Haudonville, Rountzenheim, Blainville-sur-l'Eau and Mont-sur-Meurthe are next to the border of Lamath or Soufflenheim
Méhoncourt Sessenheim Landécourt Xermaménil Schirrhein Drusenheim Haudonville Rountzenheim Blainville-sur-l'Eau Mont-sur-Meurthe
action filter_type
action union
action find_reverse
entity Lamath
relation shares border with
action find_reverse
entity Soufflenheim
relation shares border with
type type of french administrative division
{'OR': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Lamath'], [{'concept': 'type of french administrative division'}, 'shares border with', 'Soufflenheim']]}
SELECT DISTINCT ?v WHERE { { VALUES ( ?r ) { ( resource:Lamath ) ( resource:Soufflenheim ) } . ?v property:shares_border_with ?r } . ?v rdf:type ontology:type_of_french_administrative_division }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q6403848 Q1062337
P17
Q15617994
USER
Which administrative territories do Méhoncourt or Kianyaga belong to ?
OR((Q1062337,P17,c(Q15617994)), (Q6403848,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q1062337
relation P17
action find
entity Q6403848
relation P17
type Q15617994
{'OR': [['Q1062337', 'P17', {'concept': 'Q15617994'}], ['Q6403848', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q15617994 . { VALUES ( ?h ) { ( resource:Q1062337 ) ( resource:Q6403848 ) } . ?h property:P17 ?f } }
Kianyaga Méhoncourt
action filter_type
action union
action find
entity Méhoncourt
relation country
action find
entity Kianyaga
relation country
type designation for an administrative territorial entity
{'OR': [['Méhoncourt', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Kianyaga', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:designation_for_an_administrative_territorial_entity . { VALUES ( ?h ) { ( resource:Méhoncourt ) ( resource:Kianyaga ) } . ?h property:country ?f } }
[]
designation for an administrative territorial entity
Q142 Q114
SYSTEM
France, Kenya
Q142 Q114
OR((Q1062337,P17,c(Q15617994)), (Q6403848,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q1062337
relation P17
action find
entity Q6403848
relation P17
type Q15617994
Méhoncourt or Kianyaga belong to the [ANSWERS]
{'OR': [['Q1062337', 'P17', {'concept': 'Q15617994'}], ['Q6403848', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q15617994 . { VALUES ( ?h ) { ( resource:Q1062337 ) ( resource:Q6403848 ) } . ?h property:P17 ?f } }
France Kenya
Méhoncourt or Kianyaga belong to the France and Kenya
France Kenya
action filter_type
action union
action find
entity Méhoncourt
relation country
action find
entity Kianyaga
relation country
type designation for an administrative territorial entity
{'OR': [['Méhoncourt', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Kianyaga', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:designation_for_an_administrative_territorial_entity . { VALUES ( ?h ) { ( resource:Méhoncourt ) ( resource:Kianyaga ) } . ?h property:country ?f } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q183
P530
Q1048835
USER
Do Germany have tactful political relations with those administrative territories ?
(Q183,P530,Q142) (Q183,P530,Q114)
action is_in
entity prev_answer
action find
entity Q183
relation P530
['Q183', 'P530', 'Q142'] ['Q183', 'P530', 'Q114']
ASK WHERE { VALUES ( ?g ) { ( resource:Q142 ) ( resource:Q114 ) } . resource:Q183 property:P530 ?g }
Germany
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'France'] ['Germany', 'diplomatic relation', 'Kenya']
ASK WHERE { VALUES ( ?g ) { ( resource:France ) ( resource:Kenya ) } . resource:Germany property:diplomatic_relation ?g }
[]
political territorial entity
SYSTEM
YES
(Q183,P530,Q142) (Q183,P530,Q114)
action is_in
entity prev_answer
action find
entity Q183
relation P530
[ANSWER]
['Q183', 'P530', 'Q142'] ['Q183', 'P530', 'Q114']
ASK WHERE { VALUES ( ?g ) { ( resource:Q142 ) ( resource:Q114 ) } . resource:Q183 property:P530 ?g }
Yes
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'France'] ['Germany', 'diplomatic relation', 'Kenya']
ASK WHERE { VALUES ( ?g ) { ( resource:France ) ( resource:Kenya ) } . resource:Germany property:diplomatic_relation ?g }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q142 Q7711
P6
Q502895
USER
Does France serve as the head of government for Jean-Marc Ayrault ?
(Q142,P6,Q7711)
action is_in
entity Q7711
action find
entity Q142
relation P6
['Q142', 'P6', 'Q7711']
ASK WHERE { resource:Q142 property:P6 resource:Q7711 }
France Jean-Marc Ayrault
action is_in
entity Jean-Marc Ayrault
action find
entity France
relation head of government
['France', 'head of government', 'Jean-Marc Ayrault']
ASK WHERE { resource:France property:head_of_government resource:Jean-Marc_Ayrault }
[]
common name
SYSTEM
YES
(Q142,P6,Q7711)
action is_in
entity Q7711
action find
entity Q142
relation P6
[ANSWER]
['Q142', 'P6', 'Q7711']
ASK WHERE { resource:Q142 property:P6 resource:Q7711 }
Yes
action is_in
entity Jean-Marc Ayrault
action find
entity France
relation head of government
['France', 'head of government', 'Jean-Marc Ayrault']
ASK WHERE { resource:France property:head_of_government resource:Jean-Marc_Ayrault }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1085877 Q2727598
P166
Q618779
USER
Was Blainville-sur-l'Eau awarded with Croix de guerre 1914–1918 ?
(Q1085877,P166,Q2727598)
action is_in
entity Q2727598
action find
entity Q1085877
relation P166
['Q1085877', 'P166', 'Q2727598']
ASK WHERE { resource:Q1085877 property:P166 resource:Q2727598 }
Blainville-sur-l'Eau Croix de guerre 1914–1918
action is_in
entity Croix de guerre 1914–1918
action find
entity Blainville-sur-l'Eau
relation award received
["Blainville-sur-l'Eau", 'award received', 'Croix de guerre 1914–1918']
ASK WHERE { resource:Blainville-sur-l'Eau property:award_received resource:Croix_de_guerre_1914–1918 }
[]
award
SYSTEM
YES
(Q1085877,P166,Q2727598)
action is_in
entity Q2727598
action find
entity Q1085877
relation P166
[ANSWER]
['Q1085877', 'P166', 'Q2727598']
ASK WHERE { resource:Q1085877 property:P166 resource:Q2727598 }
Yes
action is_in
entity Croix de guerre 1914–1918
action find
entity Blainville-sur-l'Eau
relation award received
["Blainville-sur-l'Eau", 'award received', 'Croix de guerre 1914–1918']
ASK WHERE { resource:Blainville-sur-l'Eau property:award_received resource:Croix_de_guerre_1914–1918 }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q142 Q2185 Q1329371
P35
Q502895
USER
Does France have Georges Pompidou and Ēliyyāhû Qapsalî as its head of state ?
(Q142,P35,Q2185) (Q142,P35,Q1329371)
action is_in
entity Q142
action intersection
action find_reverse
entity Q2185
relation P35
action find_reverse
entity Q1329371
relation P35
['Q142', 'P35', 'Q2185'] ['Q142', 'P35', 'Q1329371']
ASK WHERE { resource:Q142 property:P35 resource:Q2185 . resource:Q142 property:P35 resource:Q1329371 }
France Georges Pompidou Ēliyyāhû Qapsalî
action is_in
entity France
action intersection
action find_reverse
entity Georges Pompidou
relation head of state
action find_reverse
entity Ēliyyāhû Qapsalî
relation head of state
['France', 'head of state', 'Georges Pompidou'] ['France', 'head of state', 'Ēliyyāhû Qapsalî']
ASK WHERE { resource:France property:head_of_state resource:Georges_Pompidou . resource:France property:head_of_state resource:Ēliyyāhû_Qapsalî }
[]
common name
SYSTEM
YES and NO respectively
(Q142,P35,Q2185) (Q142,P35,Q1329371)
action is_in
entity Q142
action intersection
action find_reverse
entity Q2185
relation P35
action find_reverse
entity Q1329371
relation P35
[ANSWER]
['Q142', 'P35', 'Q2185'] ['Q142', 'P35', 'Q1329371']
ASK WHERE { resource:Q142 property:P35 resource:Q2185 . resource:Q142 property:P35 resource:Q1329371 }
YES and NO respectively
action is_in
entity France
action intersection
action find_reverse
entity Georges Pompidou
relation head of state
action find_reverse
entity Ēliyyāhû Qapsalî
relation head of state
['France', 'head of state', 'Georges Pompidou'] ['France', 'head of state', 'Ēliyyāhû Qapsalî']
ASK WHERE { resource:France property:head_of_state resource:Georges_Pompidou . resource:France property:head_of_state resource:Ēliyyāhû_Qapsalî }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q22778 Q142
P17
Q15617994
USER
Does Drusenheim belong to France ?
(Q22778,P17,Q142)
action is_in
entity Q142
action find
entity Q22778
relation P17
['Q22778', 'P17', 'Q142']
ASK WHERE { resource:Q22778 property:P17 resource:Q142 }
Drusenheim France
action is_in
entity France
action find
entity Drusenheim
relation country
['Drusenheim', 'country', 'France']
ASK WHERE { resource:Drusenheim property:country resource:France }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q22778,P17,Q142)
action is_in
entity Q142
action find
entity Q22778
relation P17
[ANSWER]
['Q22778', 'P17', 'Q142']
ASK WHERE { resource:Q22778 property:P17 resource:Q142 }
Yes
action is_in
entity France
action find
entity Drusenheim
relation country
['Drusenheim', 'country', 'France']
ASK WHERE { resource:Drusenheim property:country resource:France }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q114 Q40
P530
Q1048835
USER
Does Austria have diplomatic relationships with Kenya ?
(Q114,P530,Q40)
action is_in
entity Q40
action find
entity Q114
relation P530
['Q114', 'P530', 'Q40']
ASK WHERE { resource:Q114 property:P530 resource:Q40 }
Kenya Austria
action is_in
entity Austria
action find
entity Kenya
relation diplomatic relation
['Kenya', 'diplomatic relation', 'Austria']
ASK WHERE { resource:Kenya property:diplomatic_relation resource:Austria }
[]
political territorial entity
SYSTEM
YES
(Q114,P530,Q40)
action is_in
entity Q40
action find
entity Q114
relation P530
[ANSWER]
['Q114', 'P530', 'Q40']
ASK WHERE { resource:Q114 property:P530 resource:Q40 }
Yes
action is_in
entity Austria
action find
entity Kenya
relation diplomatic relation
['Kenya', 'diplomatic relation', 'Austria']
ASK WHERE { resource:Kenya property:diplomatic_relation resource:Austria }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q114
P30
Q2221906
USER
Where is that administrative territory situated ?
action filter_type
action find
entity Q114
relation P30
type Q2221906
SELECT DISTINCT ?d WHERE { resource:Q114 property:P30 ?d . ?d rdf:type ontology:Q2221906 }
Kenya
action filter_type
action find
entity Kenya
relation continent
type geographic location
SELECT DISTINCT ?d WHERE { resource:Kenya property:continent ?d . ?d rdf:type ontology:geographic_location }
[]
geographic location
Q15
SYSTEM
Africa
Q15
action filter_type
action find
entity Q114
relation P30
type Q2221906
That administrative territory is situated in [ANSWER]
SELECT DISTINCT ?d WHERE { resource:Q114 property:P30 ?d . ?d rdf:type ontology:Q2221906 }
Africa
That administrative territory is situated in Africa
Africa
action filter_type
action find
entity Kenya
relation continent
type geographic location
SELECT DISTINCT ?d WHERE { resource:Kenya property:continent ?d . ?d rdf:type ontology:geographic_location }
[]