Simple Question (Direct)
Simple Question
Q6221416
P1412
Q34770
USER
Which language is spoken by John Bell ?
(Q6221416,P1412,c(Q34770))
action filter_type
action find
entity Q6221416
relation P1412
type Q34770
['Q6221416', 'P1412', {'concept': 'Q34770'}]
SELECT DISTINCT ?z WHERE { resource:Q6221416 property:P1412 ?z . ?z rdf:type ontology:Q34770 }
John Bell
action filter_type
action find
entity John Bell
relation languages spoken, written or signed
type language
['John Bell', 'languages spoken, written or signed', {'concept': 'language'}]
SELECT DISTINCT ?z WHERE { resource:John_Bell property:languages_spoken,_written_or_signed ?z . ?z rdf:type ontology:language }
[]
language
Q1860
SYSTEM
English
Q1860
(Q6221416,P1412,c(Q34770))
action filter_type
action find
entity Q6221416
relation P1412
type Q34770
[ANSWER] is spoken by John Bell
['Q6221416', 'P1412', {'concept': 'Q34770'}]
SELECT DISTINCT ?z WHERE { resource:Q6221416 property:P1412 ?z . ?z rdf:type ontology:Q34770 }
English
English is spoken by John Bell
English
action filter_type
action find
entity John Bell
relation languages spoken, written or signed
type language
['John Bell', 'languages spoken, written or signed', {'concept': 'language'}]
SELECT DISTINCT ?z WHERE { resource:John_Bell property:languages_spoken,_written_or_signed ?z . ?z rdf:type ontology:language }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q6221416
P39
Q12737077
USER
Which occupation was a position held by John Bell ?
(Q6221416,P39,c(Q12737077))
action filter_type
action find
entity Q6221416
relation P39
type Q12737077
['Q6221416', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:Q12737077 . resource:Q6221416 property:P39 ?n }
John Bell
action filter_type
action find
entity John Bell
relation position held
type occupation
['John Bell', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:occupation . resource:John_Bell property:position_held ?n }
[]
occupation
Q16707842
SYSTEM
Member of Parliament in the United Kingdom
Q16707842
(Q6221416,P39,c(Q12737077))
action filter_type
action find
entity Q6221416
relation P39
type Q12737077
The [ANSWER] was a position held by John Bell
['Q6221416', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:Q12737077 . resource:Q6221416 property:P39 ?n }
Member of Parliament in the United Kingdom
The Member of Parliament in the United Kingdom was a position held by John Bell
Member of Parliament in the United Kingdom
action filter_type
action find
entity John Bell
relation position held
type occupation
['John Bell', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:occupation . resource:John_Bell property:position_held ?n }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q16707842 Q46200 Q42170
P1001
Q15617994
USER
Does that occupation have jurisdiction over Badia Calavena and Truccazzano ?
(Q16707842,P1001,Q46200) (Q16707842,P1001,Q42170)
action is_in
entity Q16707842
action intersection
action find_reverse
entity Q46200
relation P1001
action find_reverse
entity Q42170
relation P1001
['Q16707842', 'P1001', 'Q46200'] ['Q16707842', 'P1001', 'Q42170']
ASK WHERE { resource:Q16707842 property:P1001 resource:Q46200 . resource:Q16707842 property:P1001 resource:Q42170 }
Member of Parliament in the United Kingdom Badia Calavena Truccazzano
action is_in
entity Member of Parliament in the United Kingdom
action intersection
action find_reverse
entity Badia Calavena
relation applies to jurisdiction
action find_reverse
entity Truccazzano
relation applies to jurisdiction
['Member of Parliament in the United Kingdom', 'applies to jurisdiction', 'Badia Calavena'] ['Member of Parliament in the United Kingdom', 'applies to jurisdiction', 'Truccazzano']
ASK WHERE { resource:Member_of_Parliament_in_the_United_Kingdom property:applies_to_jurisdiction resource:Badia_Calavena . resource:Member_of_Parliament_in_the_United_Kingdom property:applies_to_jurisdiction resource:Truccazzano }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q16707842,P1001,Q46200) (Q16707842,P1001,Q42170)
action is_in
entity Q16707842
action intersection
action find_reverse
entity Q46200
relation P1001
action find_reverse
entity Q42170
relation P1001
[ANSWER]
['Q16707842', 'P1001', 'Q46200'] ['Q16707842', 'P1001', 'Q42170']
ASK WHERE { resource:Q16707842 property:P1001 resource:Q46200 . resource:Q16707842 property:P1001 resource:Q42170 }
No
action is_in
entity Member of Parliament in the United Kingdom
action intersection
action find_reverse
entity Badia Calavena
relation applies to jurisdiction
action find_reverse
entity Truccazzano
relation applies to jurisdiction
['Member of Parliament in the United Kingdom', 'applies to jurisdiction', 'Badia Calavena'] ['Member of Parliament in the United Kingdom', 'applies to jurisdiction', 'Truccazzano']
ASK WHERE { resource:Member_of_Parliament_in_the_United_Kingdom property:applies_to_jurisdiction resource:Badia_Calavena . resource:Member_of_Parliament_in_the_United_Kingdom property:applies_to_jurisdiction resource:Truccazzano }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q6221416 Q145
P27
Q15617994
USER
Is John Bell an inhabitant of United Kingdom ?
(Q6221416,P27,Q145)
action is_in
entity Q145
action find
entity Q6221416
relation P27
['Q6221416', 'P27', 'Q145']
ASK WHERE { resource:Q6221416 property:P27 resource:Q145 }
John Bell United Kingdom
action is_in
entity United Kingdom
action find
entity John Bell
relation country of citizenship
['John Bell', 'country of citizenship', 'United Kingdom']
ASK WHERE { resource:John_Bell property:country_of_citizenship resource:United_Kingdom }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q6221416,P27,Q145)
action is_in
entity Q145
action find
entity Q6221416
relation P27
[ANSWER]
['Q6221416', 'P27', 'Q145']
ASK WHERE { resource:Q6221416 property:P27 resource:Q145 }
Yes
action is_in
entity United Kingdom
action find
entity John Bell
relation country of citizenship
['John Bell', 'country of citizenship', 'United Kingdom']
ASK WHERE { resource:John_Bell property:country_of_citizenship resource:United_Kingdom }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q390831 Q46200
P17
Q15617994
USER
Which administrative territories do Badia Calavena or Agastya Mala belong to ?
OR((Q46200,P17,c(Q15617994)), (Q390831,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q46200
relation P17
action find
entity Q390831
relation P17
type Q15617994
{'OR': [['Q46200', 'P17', {'concept': 'Q15617994'}], ['Q390831', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Q390831 property:P17 ?a } UNION { resource:Q46200 property:P17 ?a } } . ?a rdf:type ontology:Q15617994 }
Agastya Mala Badia Calavena
action filter_type
action union
action find
entity Badia Calavena
relation country
action find
entity Agastya Mala
relation country
type designation for an administrative territorial entity
{'OR': [['Badia Calavena', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Agastya Mala', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Agastya_Mala property:country ?a } UNION { resource:Badia_Calavena property:country ?a } } . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q38 Q668
SYSTEM
Italy, India
Q38 Q668
OR((Q46200,P17,c(Q15617994)), (Q390831,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q46200
relation P17
action find
entity Q390831
relation P17
type Q15617994
Badia Calavena or Agastya Mala belong to [ANSWERS]
{'OR': [['Q46200', 'P17', {'concept': 'Q15617994'}], ['Q390831', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Q390831 property:P17 ?a } UNION { resource:Q46200 property:P17 ?a } } . ?a rdf:type ontology:Q15617994 }
Italy India
Badia Calavena or Agastya Mala belong to Italy and India
Italy India
action filter_type
action union
action find
entity Badia Calavena
relation country
action find
entity Agastya Mala
relation country
type designation for an administrative territorial entity
{'OR': [['Badia Calavena', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Agastya Mala', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Agastya_Mala property:country ?a } UNION { resource:Badia_Calavena property:country ?a } } . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q184
P530
Q15617994
USER
Do Belarus have diplomatic relations with those ones ?
(Q184,P530,Q38) (Q184,P530,Q668)
action is_in
entity prev_answer
action find
entity Q184
relation P530
['Q184', 'P530', 'Q38'] ['Q184', 'P530', 'Q668']
ASK WHERE { resource:Q184 property:P530 ?y . VALUES ( ?y ) { ( resource:Q38 ) ( resource:Q668 ) } }
Belarus
action is_in
entity prev_answer
action find
entity Belarus
relation diplomatic relation
['Belarus', 'diplomatic relation', 'Italy'] ['Belarus', 'diplomatic relation', 'India']
ASK WHERE { resource:Belarus property:diplomatic_relation ?y . VALUES ( ?y ) { ( resource:Italy ) ( resource:India ) } }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q184,P530,Q38) (Q184,P530,Q668)
action is_in
entity prev_answer
action find
entity Q184
relation P530
[ANSWER]
['Q184', 'P530', 'Q38'] ['Q184', 'P530', 'Q668']
ASK WHERE { resource:Q184 property:P530 ?y . VALUES ( ?y ) { ( resource:Q38 ) ( resource:Q668 ) } }
Yes
action is_in
entity prev_answer
action find
entity Belarus
relation diplomatic relation
['Belarus', 'diplomatic relation', 'Italy'] ['Belarus', 'diplomatic relation', 'India']
ASK WHERE { resource:Belarus property:diplomatic_relation ?y . VALUES ( ?y ) { ( resource:Italy ) ( resource:India ) } }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P530
Q15617994 Q15617994
USER
Which administrative territories holds diplomatic relationship with min number of administrative territories ?
(c(Q15617994),P530,Q953)
action argmin
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
[{'concept': 'Q15617994'}, 'P530', 'Q953']
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ?p ( COUNT ( ?o ) AS ?i ) WHERE { ?p property:P530 ?o . ?p rdf:type ontology:Q15617994 . ?o rdf:type ontology:Q15617994 } GROUP BY ?p } . FILTER ( ?i = ?d ) . { SELECT DISTINCT ( MIN ( ?b ) AS ?d ) { SELECT DISTINCT ?k ( COUNT ( ?e ) AS ?b ) WHERE { ?k rdf:type ontology:Q15617994 . ?e rdf:type ontology:Q15617994 . ?k property:P530 ?e } GROUP BY ?k } } }
action argmin
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', 'Zambia']
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ?p ( COUNT ( ?o ) AS ?i ) WHERE { ?p property:diplomatic_relation ?o . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?p } . FILTER ( ?i = ?d ) . { SELECT DISTINCT ( MIN ( ?b ) AS ?d ) { SELECT DISTINCT ?k ( COUNT ( ?e ) AS ?b ) WHERE { ?k rdf:type ontology:designation_for_an_administrative_territorial_entity . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k property:diplomatic_relation ?e } GROUP BY ?k } } }
[]
designation for an administrative territorial entity designation for an administrative territorial entity
Q929 Q29999 Q232
SYSTEM
Central African Republic, Kingdom of the Netherlands, Kazakhstan
Q702 Q804 Q265 Q712 Q837 Q242 Q811 Q929 Q29999 Q854 Q730 Q232 Q1027 Q1032 Q697 Q695 Q754 Q912 Q683 Q836 Q817 Q1019 Q945 Q678 Q33788
(c(Q15617994),P530,Q953)
action argmin
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
[ANSWERS] hold diplomatic relationship with min number of administrative territories
[{'concept': 'Q15617994'}, 'P530', 'Q953']
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ?p ( COUNT ( ?o ) AS ?i ) WHERE { ?p property:P530 ?o . ?p rdf:type ontology:Q15617994 . ?o rdf:type ontology:Q15617994 } GROUP BY ?p } . FILTER ( ?i = ?d ) . { SELECT DISTINCT ( MIN ( ?b ) AS ?d ) { SELECT DISTINCT ?k ( COUNT ( ?e ) AS ?b ) WHERE { ?k rdf:type ontology:Q15617994 . ?e rdf:type ontology:Q15617994 . ?k property:P530 ?e } GROUP BY ?k } } }
Federated States of Micronesia Panama Uzbekistan Fiji Nepal Belize Nicaragua Central African Republic Kingdom of the Netherlands Sri Lanka Suriname Kazakhstan Mauritius Niger Nauru Palau Trinidad and Tobago Mali Samoa Myanmar Kuwait Madagascar Togo Tonga New Caledonia
Central African Republic, Kingdom of the Netherlands and Kazakhstan hold diplomatic relationship with min number of administrative territories
Central African Republic Kingdom of the Netherlands Kazakhstan
action argmin
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', 'Zambia']
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ?p ( COUNT ( ?o ) AS ?i ) WHERE { ?p property:diplomatic_relation ?o . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?p } . FILTER ( ?i = ?d ) . { SELECT DISTINCT ( MIN ( ?b ) AS ?d ) { SELECT DISTINCT ?k ( COUNT ( ?e ) AS ?b ) WHERE { ?k rdf:type ontology:designation_for_an_administrative_territorial_entity . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k property:diplomatic_relation ?e } GROUP BY ?k } } }
[]