Simple Question (Direct)
Simple Question
Q1097695
P17
Q15617994
USER
Which administrative territory is La Chapelle-sur-Oreuse present in ?
(Q1097695,P17,c(Q15617994))
action filter_type
action find
entity Q1097695
relation P17
type Q15617994
['Q1097695', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q15617994 . resource:Q1097695 property:P17 ?r }
La Chapelle-sur-Oreuse
action filter_type
action find
entity La Chapelle-sur-Oreuse
relation country
type designation for an administrative territorial entity
['La Chapelle-sur-Oreuse', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:La_Chapelle-sur-Oreuse property:country ?r }
[]
designation for an administrative territorial entity
Q142
SYSTEM
France
Q142
(Q1097695,P17,c(Q15617994))
action filter_type
action find
entity Q1097695
relation P17
type Q15617994
La Chapelle -sur-Oreuse is in [ANSWER]
['Q1097695', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q15617994 . resource:Q1097695 property:P17 ?r }
France
La Chapelle -sur-Oreuse is in France
France
action filter_type
action find
entity La Chapelle-sur-Oreuse
relation country
type designation for an administrative territorial entity
['La Chapelle-sur-Oreuse', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:La_Chapelle-sur-Oreuse property:country ?r }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1097695
P47
Q20667921
USER
Which french administrative divisions do that one share a border with ?
(c(Q20667921),P47,Q142)
action filter_type
action find
entity Q1097695
relation P47
type Q20667921
[{'concept': 'Q20667921'}, 'P47', 'Q142']
SELECT DISTINCT ?x WHERE { resource:Q1097695 property:P47 ?x . ?x rdf:type ontology:Q20667921 }
La Chapelle-sur-Oreuse
action filter_type
action find
entity La Chapelle-sur-Oreuse
relation shares border with
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'shares border with', 'France']
SELECT DISTINCT ?x WHERE { resource:La_Chapelle-sur-Oreuse property:shares_border_with ?x . ?x rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1173077 Q117480 Q208733
SYSTEM
Michery, Cuy, Soucy
Q1173077 Q222919 Q117480 Q208733 Q1373751 Q196350 Q226348
(c(Q20667921),P47,Q142)
action filter_type
action find
entity Q1097695
relation P47
type Q20667921
[ANSWERS] that one share a border with
[{'concept': 'Q20667921'}, 'P47', 'Q142']
SELECT DISTINCT ?x WHERE { resource:Q1097695 property:P47 ?x . ?x rdf:type ontology:Q20667921 }
Michery Évry Cuy Soucy Thorigny-sur-Oreuse Gisy-les-Nobles Plessis-Saint-Jean
Michery, Cuy and Soucy that one share a border with
Michery Cuy Soucy
action filter_type
action find
entity La Chapelle-sur-Oreuse
relation shares border with
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'shares border with', 'France']
SELECT DISTINCT ?x WHERE { resource:La_Chapelle-sur-Oreuse property:shares_border_with ?x . ?x rdf:type ontology:type_of_french_administrative_division }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q1097695
P47
Q20667921
USER
Do those ones share a border with La Chapelle-sur-Oreuse ?
(Q1097695,P47,Q1173077) (Q1097695,P47,Q117480) (Q1097695,P47,Q208733)
action is_in
entity prev_answer
action find
entity Q1097695
relation P47
['Q1097695', 'P47', 'Q1173077'] ['Q1097695', 'P47', 'Q117480'] ['Q1097695', 'P47', 'Q208733']
ASK WHERE { VALUES ( ?d ) { ( resource:Q1173077 ) ( resource:Q222919 ) ( resource:Q117480 ) } . resource:Q1097695 property:P47 ?d }
La Chapelle-sur-Oreuse
action is_in
entity prev_answer
action find
entity La Chapelle-sur-Oreuse
relation shares border with
['La Chapelle-sur-Oreuse', 'shares border with', 'Michery'] ['La Chapelle-sur-Oreuse', 'shares border with', 'Cuy'] ['La Chapelle-sur-Oreuse', 'shares border with', 'Soucy']
ASK WHERE { VALUES ( ?d ) { ( resource:Michery ) ( resource:Évry ) ( resource:Cuy ) } . resource:La_Chapelle-sur-Oreuse property:shares_border_with ?d }
[]
type of french administrative division
SYSTEM
YES
(Q1097695,P47,Q1173077) (Q1097695,P47,Q117480) (Q1097695,P47,Q208733)
action is_in
entity prev_answer
action find
entity Q1097695
relation P47
[ANSWER]
['Q1097695', 'P47', 'Q1173077'] ['Q1097695', 'P47', 'Q117480'] ['Q1097695', 'P47', 'Q208733']
ASK WHERE { VALUES ( ?d ) { ( resource:Q1173077 ) ( resource:Q222919 ) ( resource:Q117480 ) } . resource:Q1097695 property:P47 ?d }
Yes
action is_in
entity prev_answer
action find
entity La Chapelle-sur-Oreuse
relation shares border with
['La Chapelle-sur-Oreuse', 'shares border with', 'Michery'] ['La Chapelle-sur-Oreuse', 'shares border with', 'Cuy'] ['La Chapelle-sur-Oreuse', 'shares border with', 'Soucy']
ASK WHERE { VALUES ( ?d ) { ( resource:Michery ) ( resource:Évry ) ( resource:Cuy ) } . resource:La_Chapelle-sur-Oreuse property:shares_border_with ?d }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1173077 Q7987006
P17
Q15617994
USER
Is Michery located in West Windsor-Plainsboro Regional School District ?
(Q1173077,P17,Q7987006)
action is_in
entity Q7987006
action find
entity Q1173077
relation P17
['Q1173077', 'P17', 'Q7987006']
ASK WHERE { resource:Q1173077 property:P17 resource:Q7987006 }
Michery West Windsor-Plainsboro Regional School District
action is_in
entity West Windsor-Plainsboro Regional School District
action find
entity Michery
relation country
['Michery', 'country', 'West Windsor-Plainsboro Regional School District']
ASK WHERE { resource:Michery property:country resource:West_Windsor-Plainsboro_Regional_School_District }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q1173077,P17,Q7987006)
action is_in
entity Q7987006
action find
entity Q1173077
relation P17
[ANSWER]
['Q1173077', 'P17', 'Q7987006']
ASK WHERE { resource:Q1173077 property:P17 resource:Q7987006 }
No
action is_in
entity West Windsor-Plainsboro Regional School District
action find
entity Michery
relation country
['Michery', 'country', 'West Windsor-Plainsboro Regional School District']
ASK WHERE { resource:Michery property:country resource:West_Windsor-Plainsboro_Regional_School_District }
[]
Logical Reasoning (All)
Logical|Difference|Multiple_Relation
Q5771151 Q142
P530 P27
Q15617994
USER
Which administrative territories have diplomatic relationships with France and are not the countries of citizenship of Hiroshi Yoshikawa ?
AND((Q142,P530,c(Q15617994)), NOT((Q5771151,P27,c(Q15617994))))
action filter_type
action difference
action find
entity Q142
relation P530
action find
entity Q5771151
relation P27
type Q15617994
{'AND': [['Q142', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q5771151', 'P27', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?r WHERE { resource:Q142 property:P530 ?r . FILTER NOT EXISTS { resource:Q5771151 property:P27 ?r } . ?r rdf:type ontology:Q15617994 }
Hiroshi Yoshikawa France
action filter_type
action difference
action find
entity France
relation diplomatic relation
action find
entity Hiroshi Yoshikawa
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['France', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Hiroshi Yoshikawa', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?r WHERE { resource:France property:diplomatic_relation ?r . FILTER NOT EXISTS { resource:Hiroshi_Yoshikawa property:country_of_citizenship ?r } . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q27 Q1011 Q399 Q155 Q228 Q38 Q801 Q145 Q30 Q403
SYSTEM
Some of them are Ireland, Cape Verde, Armenia, Brazil, Andorra, Italy, Israel, United Kingdom, United States of America, Serbia
Q711 Q159 Q222 Q801 Q145 Q155 Q1011 Q228 Q32 Q30 Q399 Q27 Q403 Q38
AND((Q142,P530,c(Q15617994)), NOT((Q5771151,P27,c(Q15617994))))
action filter_type
action difference
action find
entity Q142
relation P530
action find
entity Q5771151
relation P27
type Q15617994
[ANSWERS] have diplomatic relationships with France and are not the countries of citizenship of Hiroshi Yoshikawa
{'AND': [['Q142', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q5771151', 'P27', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?r WHERE { resource:Q142 property:P530 ?r . FILTER NOT EXISTS { resource:Q5771151 property:P27 ?r } . ?r rdf:type ontology:Q15617994 }
Mongolia Russia Albania Israel United Kingdom Brazil Cape Verde Andorra Luxembourg United States of America Armenia Ireland Serbia Italy
Ireland, Cape Verde, Armenia, Brazil, Andorra, Italy, Israel, United Kingdom, United States of America and Serbia have diplomatic relationships with France and are not the countries of citizenship of Hiroshi Yoshikawa
Ireland Cape Verde Armenia Brazil Andorra Italy Israel United Kingdom United States of America Serbia
action filter_type
action difference
action find
entity France
relation diplomatic relation
action find
entity Hiroshi Yoshikawa
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['France', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Hiroshi Yoshikawa', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?r WHERE { resource:France property:diplomatic_relation ?r . FILTER NOT EXISTS { resource:Hiroshi_Yoshikawa property:country_of_citizenship ?r } . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q155
P27
Q11410 Q334453
USER
How many games or divisions are civilians of Brazil ?
(c(Q11410),P27,Q155) (c(Q334453),P27,Q155)
action count
action union
action filter_type
action find_reverse
entity Q155
relation P27
type Q11410
action filter_type
action find_reverse
entity Q155
relation P27
type Q334453
[{'concept': 'Q11410'}, 'P27', 'Q155'] [{'concept': 'Q334453'}, 'P27', 'Q155']
SELECT DISTINCT ( COUNT ( ?f ) AS ?m ) WHERE { { ?f property:P27 resource:Q155 . ?f rdf:type ontology:Q11410 } UNION { ?f property:P27 resource:Q155 . ?f rdf:type ontology:Q334453 } }
Brazil
action count
action union
action filter_type
action find_reverse
entity Brazil
relation country of citizenship
type game
action filter_type
action find_reverse
entity Brazil
relation country of citizenship
type division
[{'concept': 'game'}, 'country of citizenship', 'Brazil'] [{'concept': 'division'}, 'country of citizenship', 'Brazil']
SELECT DISTINCT ( COUNT ( ?f ) AS ?m ) WHERE { { ?f property:country_of_citizenship resource:Brazil . ?f rdf:type ontology:game } UNION { ?f property:country_of_citizenship resource:Brazil . ?f rdf:type ontology:division } }
[]
game division
SYSTEM
2
Q5065421 Q373659
(c(Q11410),P27,Q155) (c(Q334453),P27,Q155)
action count
action union
action filter_type
action find_reverse
entity Q155
relation P27
type Q11410
action filter_type
action find_reverse
entity Q155
relation P27
type Q334453
[ANSWER]
[{'concept': 'Q11410'}, 'P27', 'Q155'] [{'concept': 'Q334453'}, 'P27', 'Q155']
SELECT DISTINCT ( COUNT ( ?f ) AS ?m ) WHERE { { ?f property:P27 resource:Q155 . ?f rdf:type ontology:Q11410 } UNION { ?f property:P27 resource:Q155 . ?f rdf:type ontology:Q334453 } }
Cesar Camargo Mariano Jogo do Bicho
2
action count
action union
action filter_type
action find_reverse
entity Brazil
relation country of citizenship
type game
action filter_type
action find_reverse
entity Brazil
relation country of citizenship
type division
[{'concept': 'game'}, 'country of citizenship', 'Brazil'] [{'concept': 'division'}, 'country of citizenship', 'Brazil']
SELECT DISTINCT ( COUNT ( ?f ) AS ?m ) WHERE { { ?f property:country_of_citizenship resource:Brazil . ?f rdf:type ontology:game } UNION { ?f property:country_of_citizenship resource:Brazil . ?f rdf:type ontology:division } }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q573176 Q208733
P47
Q20667921
USER
Which french administrative divisions share the border with Soucy and Les Clérimois ?
AND((Q208733,P47,c(Q20667921)), (Q573176,P47,c(Q20667921)))
action filter_type
action intersection
action find
entity Q208733
relation P47
action find
entity Q573176
relation P47
type Q20667921
{'AND': [['Q208733', 'P47', {'concept': 'Q20667921'}], ['Q573176', 'P47', {'concept': 'Q20667921'}]]}
SELECT DISTINCT ?u WHERE { resource:Q573176 property:P47 ?u . resource:Q208733 property:P47 ?u . ?u rdf:type ontology:Q20667921 }
Les Clérimois Soucy
action filter_type
action intersection
action find
entity Soucy
relation shares border with
action find
entity Les Clérimois
relation shares border with
type type of french administrative division
{'AND': [['Soucy', 'shares border with', {'concept': 'type of french administrative division'}], ['Les Clérimois', 'shares border with', {'concept': 'type of french administrative division'}]]}
SELECT DISTINCT ?u WHERE { resource:Les_Clérimois property:shares_border_with ?u . resource:Soucy property:shares_border_with ?u . ?u rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1373741
SYSTEM
Voisines
Q1373741
AND((Q208733,P47,c(Q20667921)), (Q573176,P47,c(Q20667921)))
action filter_type
action intersection
action find
entity Q208733
relation P47
action find
entity Q573176
relation P47
type Q20667921
[ANSWER] share the border with Soucy and Les Clérimois
{'AND': [['Q208733', 'P47', {'concept': 'Q20667921'}], ['Q573176', 'P47', {'concept': 'Q20667921'}]]}
SELECT DISTINCT ?u WHERE { resource:Q573176 property:P47 ?u . resource:Q208733 property:P47 ?u . ?u rdf:type ontology:Q20667921 }
Voisines
Voisines share the border with Soucy and Les Clérimois
Voisines
action filter_type
action intersection
action find
entity Soucy
relation shares border with
action find
entity Les Clérimois
relation shares border with
type type of french administrative division
{'AND': [['Soucy', 'shares border with', {'concept': 'type of french administrative division'}], ['Les Clérimois', 'shares border with', {'concept': 'type of french administrative division'}]]}
SELECT DISTINCT ?u WHERE { resource:Les_Clérimois property:shares_border_with ?u . resource:Soucy property:shares_border_with ?u . ?u rdf:type ontology:type_of_french_administrative_division }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1373741 Q142
P17
Q15617994
USER
Is Voisines present in France ?
(Q1373741,P17,Q142)
action is_in
entity Q142
action find
entity Q1373741
relation P17
['Q1373741', 'P17', 'Q142']
ASK WHERE { resource:Q1373741 property:P17 resource:Q142 }
Voisines France
action is_in
entity France
action find
entity Voisines
relation country
['Voisines', 'country', 'France']
ASK WHERE { resource:Voisines property:country resource:France }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q1373741,P17,Q142)
action is_in
entity Q142
action find
entity Q1373741
relation P17
[ANSWER]
['Q1373741', 'P17', 'Q142']
ASK WHERE { resource:Q1373741 property:P17 resource:Q142 }
Yes
action is_in
entity France
action find
entity Voisines
relation country
['Voisines', 'country', 'France']
ASK WHERE { resource:Voisines property:country resource:France }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q399 Q38
P530
Q15617994
USER
Does Italy have a diplomatic relationship with Armenia ?
(Q399,P530,Q38)
action is_in
entity Q38
action find
entity Q399
relation P530
['Q399', 'P530', 'Q38']
ASK WHERE { resource:Q399 property:P530 resource:Q38 }
Armenia Italy
action is_in
entity Italy
action find
entity Armenia
relation diplomatic relation
['Armenia', 'diplomatic relation', 'Italy']
ASK WHERE { resource:Armenia property:diplomatic_relation resource:Italy }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q399,P530,Q38)
action is_in
entity Q38
action find
entity Q399
relation P530
[ANSWER]
['Q399', 'P530', 'Q38']
ASK WHERE { resource:Q399 property:P530 resource:Q38 }
Yes
action is_in
entity Italy
action find
entity Armenia
relation diplomatic relation
['Armenia', 'diplomatic relation', 'Italy']
ASK WHERE { resource:Armenia property:diplomatic_relation resource:Italy }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q228 Q38
P530
Q15617994
USER
Does Italy hold diplomatic relationship with Andorra ?
(Q228,P530,Q38)
action is_in
entity Q38
action find
entity Q228
relation P530
['Q228', 'P530', 'Q38']
ASK WHERE { resource:Q228 property:P530 resource:Q38 }
Andorra Italy
action is_in
entity Italy
action find
entity Andorra
relation diplomatic relation
['Andorra', 'diplomatic relation', 'Italy']
ASK WHERE { resource:Andorra property:diplomatic_relation resource:Italy }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q228,P530,Q38)
action is_in
entity Q38
action find
entity Q228
relation P530
[ANSWER]
['Q228', 'P530', 'Q38']
ASK WHERE { resource:Q228 property:P530 resource:Q38 }
Yes
action is_in
entity Italy
action find
entity Andorra
relation diplomatic relation
['Andorra', 'diplomatic relation', 'Italy']
ASK WHERE { resource:Andorra property:diplomatic_relation resource:Italy }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q30 Q8612 Q12306
P6
Q502895
USER
Does United States of America have Andrew Johnson and Millard Fillmore as its administrative leader ?
(Q30,P6,Q8612) (Q30,P6,Q12306)
action is_in
entity Q30
action intersection
action find_reverse
entity Q8612
relation P6
action find_reverse
entity Q12306
relation P6
['Q30', 'P6', 'Q8612'] ['Q30', 'P6', 'Q12306']
ASK WHERE { resource:Q30 property:P6 resource:Q8612 . resource:Q30 property:P6 resource:Q12306 }
United States of America Andrew Johnson Millard Fillmore
action is_in
entity United States of America
action intersection
action find_reverse
entity Andrew Johnson
relation head of government
action find_reverse
entity Millard Fillmore
relation head of government
['United States of America', 'head of government', 'Andrew Johnson'] ['United States of America', 'head of government', 'Millard Fillmore']
ASK WHERE { resource:United_States_of_America property:head_of_government resource:Andrew_Johnson . resource:United_States_of_America property:head_of_government resource:Millard_Fillmore }
[]
common name
SYSTEM
YES
(Q30,P6,Q8612) (Q30,P6,Q12306)
action is_in
entity Q30
action intersection
action find_reverse
entity Q8612
relation P6
action find_reverse
entity Q12306
relation P6
[ANSWER]
['Q30', 'P6', 'Q8612'] ['Q30', 'P6', 'Q12306']
ASK WHERE { resource:Q30 property:P6 resource:Q8612 . resource:Q30 property:P6 resource:Q12306 }
Yes
action is_in
entity United States of America
action intersection
action find_reverse
entity Andrew Johnson
relation head of government
action find_reverse
entity Millard Fillmore
relation head of government
['United States of America', 'head of government', 'Andrew Johnson'] ['United States of America', 'head of government', 'Millard Fillmore']
ASK WHERE { resource:United_States_of_America property:head_of_government resource:Andrew_Johnson . resource:United_States_of_America property:head_of_government resource:Millard_Fillmore }
[]