Simple Question (Direct)
Simple Question
Q6223411
P21
Q290
USER
Which sex does John Broussard have ?
(Q6223411,P21,c(Q290))
action filter_type
action find
entity Q6223411
relation P21
type Q290
['Q6223411', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?j WHERE { resource:Q6223411 property:P21 ?j . ?j rdf:type ontology:Q290 }
John Broussard
action filter_type
action find
entity John Broussard
relation gender
type sex
['John Broussard', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?j WHERE { resource:John_Broussard property:gender ?j . ?j rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q6223411,P21,c(Q290))
action filter_type
action find
entity Q6223411
relation P21
type Q290
John Broussard has a [ANSWER]
['Q6223411', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?j WHERE { resource:Q6223411 property:P21 ?j . ?j rdf:type ontology:Q290 }
male
John Broussard has a male
male
action filter_type
action find
entity John Broussard
relation gender
type sex
['John Broussard', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?j WHERE { resource:John_Broussard property:gender ?j . ?j rdf:type ontology:sex }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q6223411
P106
Q12737077
USER
Which occupation is the profession of John Broussard ?
(Q6223411,P106,c(Q12737077))
action filter_type
action find
entity Q6223411
relation P106
type Q12737077
['Q6223411', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?q WHERE { resource:Q6223411 property:P106 ?q . ?q rdf:type ontology:Q12737077 }
John Broussard
action filter_type
action find
entity John Broussard
relation occupation
type occupation
['John Broussard', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?q WHERE { resource:John_Broussard property:occupation ?q . ?q rdf:type ontology:occupation }
[]
occupation
Q19204627
SYSTEM
American football player
Q19204627
(Q6223411,P106,c(Q12737077))
action filter_type
action find
entity Q6223411
relation P106
type Q12737077
[ANSWER] is the profession of John Broussard
['Q6223411', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?q WHERE { resource:Q6223411 property:P106 ?q . ?q rdf:type ontology:Q12737077 }
American football player
American football player is the profession of John Broussard
American football player
action filter_type
action find
entity John Broussard
relation occupation
type occupation
['John Broussard', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?q WHERE { resource:John_Broussard property:occupation ?q . ?q rdf:type ontology:occupation }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q6223411
P27
Q15617994
USER
Which administrative territory is the native country of John Broussard ?
(Q6223411,P27,c(Q15617994))
action filter_type
action find
entity Q6223411
relation P27
type Q15617994
['Q6223411', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?r WHERE { resource:Q6223411 property:P27 ?r . ?r rdf:type ontology:Q15617994 }
John Broussard
action filter_type
action find
entity John Broussard
relation country of citizenship
type designation for an administrative territorial entity
['John Broussard', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?r WHERE { resource:John_Broussard property:country_of_citizenship ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q30
SYSTEM
United States of America
Q30
(Q6223411,P27,c(Q15617994))
action filter_type
action find
entity Q6223411
relation P27
type Q15617994
The [ANSWER] is the native country of John Broussard
['Q6223411', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?r WHERE { resource:Q6223411 property:P27 ?r . ?r rdf:type ontology:Q15617994 }
United States of America
The United States of America is the native country of John Broussard
United States of America
action filter_type
action find
entity John Broussard
relation country of citizenship
type designation for an administrative territorial entity
['John Broussard', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?r WHERE { resource:John_Broussard property:country_of_citizenship ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q30 Q9582 Q20177439
P6
Q502895
USER
Does that administrative territory have its government headed by Gerald Ford and Francis Munthali ?
(Q30,P6,Q9582) (Q30,P6,Q20177439)
action is_in
entity Q30
action intersection
action find_reverse
entity Q9582
relation P6
action find_reverse
entity Q20177439
relation P6
['Q30', 'P6', 'Q9582'] ['Q30', 'P6', 'Q20177439']
ASK WHERE { resource:Q30 property:P6 resource:Q20177439 . resource:Q30 property:P6 resource:Q9582 }
United States of America Gerald Ford Francis Munthali
action is_in
entity United States of America
action intersection
action find_reverse
entity Gerald Ford
relation head of government
action find_reverse
entity Francis Munthali
relation head of government
['United States of America', 'head of government', 'Gerald Ford'] ['United States of America', 'head of government', 'Francis Munthali']
ASK WHERE { resource:United_States_of_America property:head_of_government resource:Francis_Munthali . resource:United_States_of_America property:head_of_government resource:Gerald_Ford }
[]
common name
SYSTEM
YES and NO respectively
(Q30,P6,Q9582) (Q30,P6,Q20177439)
action is_in
entity Q30
action intersection
action find_reverse
entity Q9582
relation P6
action find_reverse
entity Q20177439
relation P6
[ANSWER]
['Q30', 'P6', 'Q9582'] ['Q30', 'P6', 'Q20177439']
ASK WHERE { resource:Q30 property:P6 resource:Q20177439 . resource:Q30 property:P6 resource:Q9582 }
YES and NO respectively
action is_in
entity United States of America
action intersection
action find_reverse
entity Gerald Ford
relation head of government
action find_reverse
entity Francis Munthali
relation head of government
['United States of America', 'head of government', 'Gerald Ford'] ['United States of America', 'head of government', 'Francis Munthali']
ASK WHERE { resource:United_States_of_America property:head_of_government resource:Francis_Munthali . resource:United_States_of_America property:head_of_government resource:Gerald_Ford }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P206
Q1267889 Q15324 Q15617994
USER
Which administrative territories are located in the neighbourhood of exactly 4 waterways or bodies of water ?
(c(Q15617994),P206,c(Q1267889)|c(Q15324))
action equal
action union
action find_tuple_counts
relation P206
type Q15617994
type Q1267889
action find_tuple_counts
relation P206
type Q15617994
type Q15324
value 4
[{'concept': 'Q15617994'}, 'P206', [{'concept': 'Q1267889'}, {'concept': 'Q15324'}]]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?h ) ?r WHERE { { ?r property:P206 ?m . ?r rdf:type ontology:Q15617994 . ?m rdf:type ontology:Q1267889 } UNION { ?r property:P206 ?m . ?r rdf:type ontology:Q15617994 . ?m rdf:type ontology:Q15324 } } GROUP BY ?r } . FILTER ( ?h = 4 ) }
action equal
action union
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type waterway
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type body of water
value 4
[{'concept': 'designation for an administrative territorial entity'}, 'located next to body of water', [{'concept': 'waterway'}, {'concept': 'body of water'}]]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?h ) ?r WHERE { { ?r property:located_next_to_body_of_water ?m . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?m rdf:type ontology:waterway } UNION { ?r property:located_next_to_body_of_water ?m . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?m rdf:type ontology:body_of_water } } GROUP BY ?r } . FILTER ( ?h = 4 ) }
[]
waterway body of water designation for an administrative territorial entity
Q884
SYSTEM
South Korea
Q884
(c(Q15617994),P206,c(Q1267889)|c(Q15324))
action equal
action union
action find_tuple_counts
relation P206
type Q15617994
type Q1267889
action find_tuple_counts
relation P206
type Q15617994
type Q15324
value 4
[ANSWER] is located in the neighbourhood of exactly 4 waterways or bodies of water
[{'concept': 'Q15617994'}, 'P206', [{'concept': 'Q1267889'}, {'concept': 'Q15324'}]]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?h ) ?r WHERE { { ?r property:P206 ?m . ?r rdf:type ontology:Q15617994 . ?m rdf:type ontology:Q1267889 } UNION { ?r property:P206 ?m . ?r rdf:type ontology:Q15617994 . ?m rdf:type ontology:Q15324 } } GROUP BY ?r } . FILTER ( ?h = 4 ) }
South Korea
South Korea is located in the neighbourhood of exactly 4 waterways or bodies of water
South Korea
action equal
action union
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type waterway
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type body of water
value 4
[{'concept': 'designation for an administrative territorial entity'}, 'located next to body of water', [{'concept': 'waterway'}, {'concept': 'body of water'}]]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?h ) ?r WHERE { { ?r property:located_next_to_body_of_water ?m . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?m rdf:type ontology:waterway } UNION { ?r property:located_next_to_body_of_water ?m . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?m rdf:type ontology:body_of_water } } GROUP BY ?r } . FILTER ( ?h = 4 ) }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q884
P530
Q1048835
USER
What political territories have diplomatic relationships with that administrative territory ?
(Q884,P530,c(Q1048835))
action filter_type
action find
entity Q884
relation P530
type Q1048835
['Q884', 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?n WHERE { resource:Q884 property:P530 ?n . ?n rdf:type ontology:Q1048835 }
South Korea
action filter_type
action find
entity South Korea
relation diplomatic relation
type political territorial entity
['South Korea', 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?n WHERE { resource:South_Korea property:diplomatic_relation ?n . ?n rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q16 Q408 Q183
SYSTEM
Canada, Australia, Germany
Q16 Q408 Q183
(Q884,P530,c(Q1048835))
action filter_type
action find
entity Q884
relation P530
type Q1048835
[ANSWERS] have diplomatic relationships with that administrative territory
['Q884', 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?n WHERE { resource:Q884 property:P530 ?n . ?n rdf:type ontology:Q1048835 }
Canada Australia Germany
Canada, Australia and Germany have diplomatic relationships with that administrative territory
Canada Australia Germany
action filter_type
action find
entity South Korea
relation diplomatic relation
type political territorial entity
['South Korea', 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?n WHERE { resource:South_Korea property:diplomatic_relation ?n . ?n rdf:type ontology:political_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q29
P530
Q15617994 Q1048835 Q15617994
USER
Which administrative territories have diplomatic associations with more number of administrative territories or political territories than Spain ?
(c(Q15617994),P530,c(Q15617994)|c(Q1048835))
action greater
action union
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
action find_tuple_counts
relation P530
type Q15617994
type Q1048835
action count
action filter_multi_types
action find
entity Q29
relation P530
type Q15617994
type Q1048835
[{'concept': 'Q15617994'}, 'P530', [{'concept': 'Q15617994'}, {'concept': 'Q1048835'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?u ) ?p WHERE { VALUES ( ?t ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } . ?x rdf:type ?t } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?d ) WHERE { resource:Q29 property:P530 ?s . { ?s rdf:type ?e . VALUES ( ?e ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } } } } . FILTER ( ?u > ?d ) }
Spain
action greater
action union
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
action count
action filter_multi_types
action find
entity Spain
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', [{'concept': 'designation for an administrative territorial entity'}, {'concept': 'political territorial entity'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?u ) ?p WHERE { VALUES ( ?t ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } . ?x rdf:type ?t } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?d ) WHERE { resource:Spain property:diplomatic_relation ?s . { ?s rdf:type ?e . VALUES ( ?e ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } } } } . FILTER ( ?u > ?d ) }
[]
designation for an administrative territorial entity political territorial entity designation for an administrative territorial entity
Q38 Q155 Q30
SYSTEM
Italy, Brazil, United States of America
Q801 Q805 Q668 Q414 Q142 Q145 Q148 Q711 Q252 Q403 Q258 Q45 Q159 Q43 Q41 Q155 Q796 Q794 Q889 Q884 Q31 Q30 Q36 Q34 Q928 Q929 Q39 Q38 Q739 Q423 Q230 Q27 Q843 Q184 Q225 Q222 Q347 Q17 Q902 Q114 Q212 Q213 Q218 Q79 Q77 Q858 Q948 Q1011 Q953
(c(Q15617994),P530,c(Q15617994)|c(Q1048835))
action greater
action union
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
action find_tuple_counts
relation P530
type Q15617994
type Q1048835
action count
action filter_multi_types
action find
entity Q29
relation P530
type Q15617994
type Q1048835
[ANSWERS] have diplomatic associations with more number of administrative territories or political territories than Spain
[{'concept': 'Q15617994'}, 'P530', [{'concept': 'Q15617994'}, {'concept': 'Q1048835'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?u ) ?p WHERE { VALUES ( ?t ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } . ?x rdf:type ?t } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?d ) WHERE { resource:Q29 property:P530 ?s . { ?s rdf:type ?e . VALUES ( ?e ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } } } } . FILTER ( ?u > ?d ) }
Israel Yemen India Argentina France United Kingdom People's Republic of China Mongolia Indonesia Serbia South Africa Portugal Russia Turkey Greece Brazil Iraq Iran Afghanistan South Korea Belgium United States of America Poland Sweden Philippines Central African Republic Switzerland Italy Colombia North Korea Georgia Ireland Pakistan Belarus Bosnia and Herzegovina Albania Liechtenstein Japan Bangladesh Kenya Ukraine Czech Republic Romania Egypt Uruguay Syria Tunisia Cape Verde Zambia
Italy, Brazil and United States of America have diplomatic associations with more number of administrative territories or political territories than Spain
Italy Brazil United States of America
action greater
action union
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
action count
action filter_multi_types
action find
entity Spain
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', [{'concept': 'designation for an administrative territorial entity'}, {'concept': 'political territorial entity'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?u ) ?p WHERE { VALUES ( ?t ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } . ?x rdf:type ?t } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?d ) WHERE { resource:Spain property:diplomatic_relation ?s . { ?s rdf:type ?e . VALUES ( ?e ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } } } } . FILTER ( ?u > ?d ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q1008
P530
Q15617994 Q1048835 Q15617994
USER
And also tell me about Côte d'Ivoire?
(c(Q15617994),P530,c(Q15617994)|c(Q1048835))
action greater
action union
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
action find_tuple_counts
relation P530
type Q15617994
type Q1048835
action count
action filter_multi_types
action find
entity Q1008
relation P530
type Q15617994
type Q1048835
[{'concept': 'Q15617994'}, 'P530', [{'concept': 'Q15617994'}, {'concept': 'Q1048835'}]]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?a ) AS ?j ) WHERE { { ?n property:P530 ?a . ?n rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q15617994 } UNION { ?n property:P530 ?a . ?n rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q1048835 } } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?h ) WHERE { resource:Q1008 property:P530 ?k . { { ?k rdf:type ontology:Q1048835 } UNION { ?k rdf:type ontology:Q15617994 } } } } . FILTER ( ?j > ?h ) }
Côte d'Ivoire
action greater
action union
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
action count
action filter_multi_types
action find
entity Côte d'Ivoire
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', [{'concept': 'designation for an administrative territorial entity'}, {'concept': 'political territorial entity'}]]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?a ) AS ?j ) WHERE { { ?n property:diplomatic_relation ?a . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?n property:diplomatic_relation ?a . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:political_territorial_entity } } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?h ) WHERE { resource:Côte_d'Ivoire property:diplomatic_relation ?k . { { ?k rdf:type ontology:political_territorial_entity } UNION { ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } } } } . FILTER ( ?j > ?h ) }
[]
designation for an administrative territorial entity political territorial entity designation for an administrative territorial entity
Q38 Q155 Q30
SYSTEM
Italy, Brazil, United States of America
Q804 Q801 Q800 Q805 Q419 Q668 Q414 Q142 Q55 Q145 Q148 Q783 Q37 Q711 Q717 Q252 Q399 Q403 Q258 Q45 Q159 Q43 Q41 Q155 Q796 Q794 Q954 Q889 Q884 Q958 Q881 Q822 Q241 Q244 Q811 Q33 Q32 Q31 Q30 Q924 Q36 Q34 Q928 Q929 Q39 Q38 Q739 Q423 Q983 Q851 Q733 Q734 Q736 Q230 Q233 Q238 Q20 Q1045 Q1041 Q27 Q28 Q1049 Q189 Q843 Q184 Q1029 Q1028 Q786 Q228 Q227 Q225 Q224 Q222 Q221 Q96 Q229 Q347 Q17 Q902 Q1036 Q1033 Q1030 Q191 Q962 Q963 Q298 Q115 Q114 Q117 Q750 Q212 Q213 Q211 Q217 Q214 Q215 Q218 Q219 Q917 Q916 Q833 Q977 Q1009 Q34020 Q574 Q79 Q77 Q858 Q878 Q774 Q948 Q810 Q1016 Q1011 Q29 Q869 Q953
(c(Q15617994),P530,c(Q15617994)|c(Q1048835))
action greater
action union
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
action find_tuple_counts
relation P530
type Q15617994
type Q1048835
action count
action filter_multi_types
action find
entity Q1008
relation P530
type Q15617994
type Q1048835
[ANSWERS]
[{'concept': 'Q15617994'}, 'P530', [{'concept': 'Q15617994'}, {'concept': 'Q1048835'}]]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?a ) AS ?j ) WHERE { { ?n property:P530 ?a . ?n rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q15617994 } UNION { ?n property:P530 ?a . ?n rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q1048835 } } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?h ) WHERE { resource:Q1008 property:P530 ?k . { { ?k rdf:type ontology:Q1048835 } UNION { ?k rdf:type ontology:Q15617994 } } } } . FILTER ( ?j > ?h ) }
Panama Israel Costa Rica Yemen Peru India Argentina France Netherlands United Kingdom People's Republic of China Honduras Lithuania Mongolia Venezuela Indonesia Armenia Serbia South Africa Portugal Russia Turkey Greece Brazil Iraq Iran Zimbabwe Afghanistan South Korea South Sudan Vietnam Lebanon Cuba Barbados Nicaragua Finland Luxembourg Belgium United States of America Tanzania Poland Sweden Philippines Central African Republic Switzerland Italy Colombia North Korea Equatorial Guinea Saudi Arabia Paraguay Guyana Ecuador Georgia Malta San Marino Norway Somalia Senegal Ireland Hungary Sudan Iceland Pakistan Belarus Mozambique Morocco Dominican Republic Andorra Azerbaijan Bosnia and Herzegovina Croatia Albania Republic of Macedonia Mexico Cyprus Liechtenstein Japan Bangladesh Uganda Nigeria Namibia Estonia Benin Botswana Chile Ethiopia Kenya Ghana Bolivia Ukraine Czech Republic Latvia Republic of Moldova Slovakia Slovenia Romania Bulgaria Bhutan Angola Malaysia Djibouti Cameroon Niue East Timor Egypt Uruguay Syria United Arab Emirates Guatemala Tunisia Jordan Libya Cape Verde Spain Thailand Zambia
Italy Brazil United States of America
action greater
action union
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
action count
action filter_multi_types
action find
entity Côte d'Ivoire
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', [{'concept': 'designation for an administrative territorial entity'}, {'concept': 'political territorial entity'}]]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?a ) AS ?j ) WHERE { { ?n property:diplomatic_relation ?a . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?n property:diplomatic_relation ?a . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:political_territorial_entity } } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?h ) WHERE { resource:Côte_d'Ivoire property:diplomatic_relation ?k . { { ?k rdf:type ontology:political_territorial_entity } UNION { ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } } } } . FILTER ( ?j > ?h ) }
[]
Logical Reasoning (All)
Logical|Difference|Multiple_Relation
Q839830 Q155
P530 P17
Q15617994
USER
Which administrative territories holds diplomatic relationship with Brazil and are not Basseneville present in ?
AND((Q155,P530,c(Q15617994)), NOT((Q839830,P17,c(Q15617994))))
action filter_type
action difference
action find
entity Q155
relation P530
action find
entity Q839830
relation P17
type Q15617994
{'AND': [['Q155', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q839830', 'P17', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?e WHERE { resource:Q155 property:P530 ?e . FILTER NOT EXISTS { resource:Q839830 property:P17 ?e } . ?e rdf:type ontology:Q15617994 }
Basseneville Brazil
action filter_type
action difference
action find
entity Brazil
relation diplomatic relation
action find
entity Basseneville
relation country
type designation for an administrative territorial entity
{'AND': [['Brazil', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Basseneville', 'country', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?e WHERE { resource:Brazil property:diplomatic_relation ?e . FILTER NOT EXISTS { resource:Basseneville property:country ?e } . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q1033 Q148 Q750 Q917 Q733 Q668 Q17 Q916 Q77 Q958
SYSTEM
Some of them are Nigeria, People's Republic of China, Bolivia, Bhutan, Paraguay, India, Japan, Angola, Uruguay, South Sudan
Q783 Q801 Q800 Q843 Q1029 Q822 Q241 Q419 Q244 Q668 Q414 Q574 Q145 Q148 Q96 Q17 Q30 Q36 Q79 Q77 Q38 Q1016 Q739 Q423 Q717 Q983 Q733 Q1011 Q962 Q736 Q298 Q252 Q399 Q403 Q258 Q750 Q212 Q213 Q45 Q159 Q43 Q41 Q734 Q790 Q796 Q794 Q917 Q1033 Q29 Q958 Q1049 Q916
AND((Q155,P530,c(Q15617994)), NOT((Q839830,P17,c(Q15617994))))
action filter_type
action difference
action find
entity Q155
relation P530
action find
entity Q839830
relation P17
type Q15617994
[ANSWERS] hold diplomatic relationship with Brazil and are not Basseneville present in
{'AND': [['Q155', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q839830', 'P17', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?e WHERE { resource:Q155 property:P530 ?e . FILTER NOT EXISTS { resource:Q839830 property:P17 ?e } . ?e rdf:type ontology:Q15617994 }
Honduras Israel Costa Rica Pakistan Mozambique Lebanon Cuba Peru Barbados India Argentina East Timor United Kingdom People's Republic of China Mexico Japan United States of America Poland Egypt Uruguay Italy Libya Colombia North Korea Venezuela Equatorial Guinea Paraguay Cape Verde Benin Ecuador Chile Indonesia Armenia Serbia South Africa Bolivia Ukraine Czech Republic Portugal Russia Turkey Greece Guyana Haiti Iraq Iran Bhutan Nigeria Spain South Sudan Sudan Angola
Nigeria, People's Republic of China, Bolivia, Bhutan, Paraguay, India, Japan, Angola, Uruguay and South Sudan hold diplomatic relationship with Brazil and are not Basseneville present in
Nigeria People's Republic of China Bolivia Bhutan Paraguay India Japan Angola Uruguay South Sudan
action filter_type
action difference
action find
entity Brazil
relation diplomatic relation
action find
entity Basseneville
relation country
type designation for an administrative territorial entity
{'AND': [['Brazil', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Basseneville', 'country', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?e WHERE { resource:Brazil property:diplomatic_relation ?e . FILTER NOT EXISTS { resource:Basseneville property:country ?e } . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q183
P530
Q1048835
USER
Do Germany have diplomatic relations with those administrative territories ?
(Q183,P530,Q1033) (Q183,P530,Q148) (Q183,P530,Q750) (Q183,P530,Q917) (Q183,P530,Q733) (Q183,P530,Q668) (Q183,P530,Q17) (Q183,P530,Q916) (Q183,P530,Q77) (Q183,P530,Q958)
action is_in
entity prev_answer
action find
entity Q183
relation P530
['Q183', 'P530', 'Q1033'] ['Q183', 'P530', 'Q148'] ['Q183', 'P530', 'Q750'] ['Q183', 'P530', 'Q917'] ['Q183', 'P530', 'Q733'] ['Q183', 'P530', 'Q668'] ['Q183', 'P530', 'Q17'] ['Q183', 'P530', 'Q916'] ['Q183', 'P530', 'Q77'] ['Q183', 'P530', 'Q958']
ASK WHERE { resource:Q183 property:P530 ?v . VALUES ( ?v ) { ( resource:Q783 ) ( resource:Q801 ) ( resource:Q800 ) } }
Germany
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Nigeria'] ['Germany', 'diplomatic relation', "People's Republic of China"] ['Germany', 'diplomatic relation', 'Bolivia'] ['Germany', 'diplomatic relation', 'Bhutan'] ['Germany', 'diplomatic relation', 'Paraguay'] ['Germany', 'diplomatic relation', 'India'] ['Germany', 'diplomatic relation', 'Japan'] ['Germany', 'diplomatic relation', 'Angola'] ['Germany', 'diplomatic relation', 'Uruguay'] ['Germany', 'diplomatic relation', 'South Sudan']
ASK WHERE { resource:Germany property:diplomatic_relation ?v . VALUES ( ?v ) { ( resource:Honduras ) ( resource:Israel ) ( resource:Costa_Rica ) } }
[]
political territorial entity
SYSTEM
YES
(Q183,P530,Q1033) (Q183,P530,Q148) (Q183,P530,Q750) (Q183,P530,Q917) (Q183,P530,Q733) (Q183,P530,Q668) (Q183,P530,Q17) (Q183,P530,Q916) (Q183,P530,Q77) (Q183,P530,Q958)
action is_in
entity prev_answer
action find
entity Q183
relation P530
[ANSWER]
['Q183', 'P530', 'Q1033'] ['Q183', 'P530', 'Q148'] ['Q183', 'P530', 'Q750'] ['Q183', 'P530', 'Q917'] ['Q183', 'P530', 'Q733'] ['Q183', 'P530', 'Q668'] ['Q183', 'P530', 'Q17'] ['Q183', 'P530', 'Q916'] ['Q183', 'P530', 'Q77'] ['Q183', 'P530', 'Q958']
ASK WHERE { resource:Q183 property:P530 ?v . VALUES ( ?v ) { ( resource:Q783 ) ( resource:Q801 ) ( resource:Q800 ) } }
Yes
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Nigeria'] ['Germany', 'diplomatic relation', "People's Republic of China"] ['Germany', 'diplomatic relation', 'Bolivia'] ['Germany', 'diplomatic relation', 'Bhutan'] ['Germany', 'diplomatic relation', 'Paraguay'] ['Germany', 'diplomatic relation', 'India'] ['Germany', 'diplomatic relation', 'Japan'] ['Germany', 'diplomatic relation', 'Angola'] ['Germany', 'diplomatic relation', 'Uruguay'] ['Germany', 'diplomatic relation', 'South Sudan']
ASK WHERE { resource:Germany property:diplomatic_relation ?v . VALUES ( ?v ) { ( resource:Honduras ) ( resource:Israel ) ( resource:Costa_Rica ) } }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q958 Q155
P530
Q15617994
USER
Does Brazil have diplomatic relationships with that one ?
(Q958,P530,Q155)
action is_in
entity Q155
action find
entity Q958
relation P530
['Q958', 'P530', 'Q155']
ASK WHERE { resource:Q958 property:P530 resource:Q155 }
South Sudan Brazil
action is_in
entity Brazil
action find
entity South Sudan
relation diplomatic relation
['South Sudan', 'diplomatic relation', 'Brazil']
ASK WHERE { resource:South_Sudan property:diplomatic_relation resource:Brazil }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q958,P530,Q155)
action is_in
entity Q155
action find
entity Q958
relation P530
[ANSWER]
['Q958', 'P530', 'Q155']
ASK WHERE { resource:Q958 property:P530 resource:Q155 }
Yes
action is_in
entity Brazil
action find
entity South Sudan
relation diplomatic relation
['South Sudan', 'diplomatic relation', 'Brazil']
ASK WHERE { resource:South_Sudan property:diplomatic_relation resource:Brazil }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q884 Q1043527 Q1320869
P463
Q484652
USER
Is South Korea a member of Multilateral Investment Guarantee Agency and Tiele ?
(Q884,P463,Q1043527) (Q884,P463,Q1320869)
action is_in
entity Q884
action intersection
action find_reverse
entity Q1043527
relation P463
action find_reverse
entity Q1320869
relation P463
['Q884', 'P463', 'Q1043527'] ['Q884', 'P463', 'Q1320869']
ASK WHERE { resource:Q884 property:P463 resource:Q1043527 . resource:Q884 property:P463 resource:Q1320869 }
South Korea Multilateral Investment Guarantee Agency Tiele
action is_in
entity South Korea
action intersection
action find_reverse
entity Multilateral Investment Guarantee Agency
relation member of
action find_reverse
entity Tiele
relation member of
['South Korea', 'member of', 'Multilateral Investment Guarantee Agency'] ['South Korea', 'member of', 'Tiele']
ASK WHERE { resource:South_Korea property:member_of resource:Multilateral_Investment_Guarantee_Agency . resource:South_Korea property:member_of resource:Tiele }
[]
international organization
SYSTEM
YES and NO respectively
(Q884,P463,Q1043527) (Q884,P463,Q1320869)
action is_in
entity Q884
action intersection
action find_reverse
entity Q1043527
relation P463
action find_reverse
entity Q1320869
relation P463
[ANSWER]
['Q884', 'P463', 'Q1043527'] ['Q884', 'P463', 'Q1320869']
ASK WHERE { resource:Q884 property:P463 resource:Q1043527 . resource:Q884 property:P463 resource:Q1320869 }
YES and NO respectively
action is_in
entity South Korea
action intersection
action find_reverse
entity Multilateral Investment Guarantee Agency
relation member of
action find_reverse
entity Tiele
relation member of
['South Korea', 'member of', 'Multilateral Investment Guarantee Agency'] ['South Korea', 'member of', 'Tiele']
ASK WHERE { resource:South_Korea property:member_of resource:Multilateral_Investment_Guarantee_Agency . resource:South_Korea property:member_of resource:Tiele }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q16 Q1979
P47
Q15617994
USER
Does Prince Edward Island share the border with Canada ?
(Q16,P47,Q1979)
action is_in
entity Q1979
action find
entity Q16
relation P47
['Q16', 'P47', 'Q1979']
ASK WHERE { resource:Q16 property:P47 resource:Q1979 }
Canada Prince Edward Island
action is_in
entity Prince Edward Island
action find
entity Canada
relation shares border with
['Canada', 'shares border with', 'Prince Edward Island']
ASK WHERE { resource:Canada property:shares_border_with resource:Prince_Edward_Island }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q16,P47,Q1979)
action is_in
entity Q1979
action find
entity Q16
relation P47
[ANSWER]
['Q16', 'P47', 'Q1979']
ASK WHERE { resource:Q16 property:P47 resource:Q1979 }
Yes
action is_in
entity Prince Edward Island
action find
entity Canada
relation shares border with
['Canada', 'shares border with', 'Prince Edward Island']
ASK WHERE { resource:Canada property:shares_border_with resource:Prince_Edward_Island }
[]