Simple Question (Direct)
Simple Question
Q4912102
P19
Q15617994
USER
Which administrative territory is the place of birth of Billy Allen ?
(Q4912102,P19,c(Q15617994))
action filter_type
action find
entity Q4912102
relation P19
type Q15617994
['Q4912102', 'P19', {'concept': 'Q15617994'}]
SELECT DISTINCT ?a WHERE { resource:Q4912102 property:P19 ?a . ?a rdf:type ontology:Q15617994 }
Billy Allen
action filter_type
action find
entity Billy Allen
relation place of birth
type designation for an administrative territorial entity
['Billy Allen', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { resource:Billy_Allen property:place_of_birth ?a . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q3875620
SYSTEM
Newburn
Q3875620
(Q4912102,P19,c(Q15617994))
action filter_type
action find
entity Q4912102
relation P19
type Q15617994
The [ANSWER] is the place of birth of Billy Allen
['Q4912102', 'P19', {'concept': 'Q15617994'}]
SELECT DISTINCT ?a WHERE { resource:Q4912102 property:P19 ?a . ?a rdf:type ontology:Q15617994 }
Newburn
The Newburn is the place of birth of Billy Allen
Newburn
action filter_type
action find
entity Billy Allen
relation place of birth
type designation for an administrative territorial entity
['Billy Allen', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { resource:Billy_Allen property:place_of_birth ?a . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q4912102
P27
Q15617994
USER
Which administrative territory does that person belong to ?
(Q3875620,P27,c(Q15617994))
action filter_type
action find
entity Q4912102
relation P27
type Q15617994
['Q3875620', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?m WHERE { resource:Q4912102 property:P27 ?m . ?m rdf:type ontology:Q15617994 }
Billy Allen
action filter_type
action find
entity Billy Allen
relation country of citizenship
type designation for an administrative territorial entity
['Newburn', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { resource:Billy_Allen property:country_of_citizenship ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q145
SYSTEM
United Kingdom
Q145
(Q3875620,P27,c(Q15617994))
action filter_type
action find
entity Q4912102
relation P27
type Q15617994
That person belongs to the [ANSWER]
['Q3875620', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?m WHERE { resource:Q4912102 property:P27 ?m . ?m rdf:type ontology:Q15617994 }
United Kingdom
That person belongs to the United Kingdom
United Kingdom
action filter_type
action find
entity Billy Allen
relation country of citizenship
type designation for an administrative territorial entity
['Newburn', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { resource:Billy_Allen property:country_of_citizenship ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q145 Q5052160
P530
Q15617994
USER
Does Cathays have diplomatic relations with United Kingdom ?
(Q145,P530,Q5052160)
action is_in
entity Q5052160
action find
entity Q145
relation P530
['Q145', 'P530', 'Q5052160']
ASK WHERE { resource:Q145 property:P530 resource:Q5052160 }
United Kingdom Cathays
action is_in
entity Cathays
action find
entity United Kingdom
relation diplomatic relation
['United Kingdom', 'diplomatic relation', 'Cathays']
ASK WHERE { resource:United_Kingdom property:diplomatic_relation resource:Cathays }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q145,P530,Q5052160)
action is_in
entity Q5052160
action find
entity Q145
relation P530
[ANSWER]
['Q145', 'P530', 'Q5052160']
ASK WHERE { resource:Q145 property:P530 resource:Q5052160 }
No
action is_in
entity Cathays
action find
entity United Kingdom
relation diplomatic relation
['United Kingdom', 'diplomatic relation', 'Cathays']
ASK WHERE { resource:United_Kingdom property:diplomatic_relation resource:Cathays }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q4912102 Q2736
P641
Q349
USER
Was Billy Allen a part of association football ?
(Q4912102,P641,Q2736)
action is_in
entity Q2736
action find
entity Q4912102
relation P641
['Q4912102', 'P641', 'Q2736']
ASK WHERE { resource:Q4912102 property:P641 resource:Q2736 }
Billy Allen association football
action is_in
entity association football
action find
entity Billy Allen
relation sport
['Billy Allen', 'sport', 'association football']
ASK WHERE { resource:Billy_Allen property:sport resource:association_football }
[]
sport
SYSTEM
YES
(Q4912102,P641,Q2736)
action is_in
entity Q2736
action find
entity Q4912102
relation P641
[ANSWER]
['Q4912102', 'P641', 'Q2736']
ASK WHERE { resource:Q4912102 property:P641 resource:Q2736 }
Yes
action is_in
entity association football
action find
entity Billy Allen
relation sport
['Billy Allen', 'sport', 'association football']
ASK WHERE { resource:Billy_Allen property:sport resource:association_football }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q3875620 Q145 Q5467273
P17
Q15617994
USER
Is Newburn present in United Kingdom and Forbes Road School District ?
(Q3875620,P17,Q145) (Q3875620,P17,Q5467273)
action is_in
entity Q3875620
action intersection
action find_reverse
entity Q145
relation P17
action find_reverse
entity Q5467273
relation P17
['Q3875620', 'P17', 'Q145'] ['Q3875620', 'P17', 'Q5467273']
ASK WHERE { resource:Q3875620 property:P17 resource:Q145 . resource:Q3875620 property:P17 resource:Q5467273 }
Newburn United Kingdom Forbes Road School District
action is_in
entity Newburn
action intersection
action find_reverse
entity United Kingdom
relation country
action find_reverse
entity Forbes Road School District
relation country
['Newburn', 'country', 'United Kingdom'] ['Newburn', 'country', 'Forbes Road School District']
ASK WHERE { resource:Newburn property:country resource:United_Kingdom . resource:Newburn property:country resource:Forbes_Road_School_District }
[]
designation for an administrative territorial entity
SYSTEM
YES and NO respectively
(Q3875620,P17,Q145) (Q3875620,P17,Q5467273)
action is_in
entity Q3875620
action intersection
action find_reverse
entity Q145
relation P17
action find_reverse
entity Q5467273
relation P17
[ANSWER]
['Q3875620', 'P17', 'Q145'] ['Q3875620', 'P17', 'Q5467273']
ASK WHERE { resource:Q3875620 property:P17 resource:Q145 . resource:Q3875620 property:P17 resource:Q5467273 }
YES and NO respectively
action is_in
entity Newburn
action intersection
action find_reverse
entity United Kingdom
relation country
action find_reverse
entity Forbes Road School District
relation country
['Newburn', 'country', 'United Kingdom'] ['Newburn', 'country', 'Forbes Road School District']
ASK WHERE { resource:Newburn property:country resource:United_Kingdom . resource:Newburn property:country resource:Forbes_Road_School_District }
[]
Logical Reasoning (All)
Logical|Difference|Single_Relation
Q29999 Q145
P463
Q484652
USER
Which international organizations were United Kingdom but not Kingdom of the Netherlands a member of ?
AND((Q145,P463,c(Q484652)), NOT((Q29999,P463,c(Q484652))))
action filter_type
action difference
action find
entity Q145
relation P463
action find
entity Q29999
relation P463
type Q484652
{'AND': [['Q145', 'P463', {'concept': 'Q484652'}], {'NOT': [['Q29999', 'P463', {'concept': 'Q484652'}]]}]}
SELECT DISTINCT ?a WHERE { resource:Q145 property:P463 ?a . FILTER NOT EXISTS { resource:Q29999 property:P463 ?a } . ?a rdf:type ontology:Q484652 }
Kingdom of the Netherlands United Kingdom
action filter_type
action difference
action find
entity United Kingdom
relation member of
action find
entity Kingdom of the Netherlands
relation member of
type international organization
{'AND': [['United Kingdom', 'member of', {'concept': 'international organization'}], {'NOT': [['Kingdom of the Netherlands', 'member of', {'concept': 'international organization'}]]}]}
SELECT DISTINCT ?a WHERE { resource:United_Kingdom property:member_of ?a . FILTER NOT EXISTS { resource:Kingdom_of_the_Netherlands property:member_of ?a } . ?a rdf:type ontology:international_organization }
[]
international organization
Q81299 Q7785 Q19771 Q37143 Q7184 Q42262
SYSTEM
Organization for Security and Co-operation in Europe, Commonwealth of Nations, G20, G8, North Atlantic Treaty Organisation, European Space Agency
Q81299 Q7785 Q19771 Q37143 Q7184 Q42262
AND((Q145,P463,c(Q484652)), NOT((Q29999,P463,c(Q484652))))
action filter_type
action difference
action find
entity Q145
relation P463
action find
entity Q29999
relation P463
type Q484652
[ANSWERS] were United Kingdom but not Kingdom of the Netherlands a member of
{'AND': [['Q145', 'P463', {'concept': 'Q484652'}], {'NOT': [['Q29999', 'P463', {'concept': 'Q484652'}]]}]}
SELECT DISTINCT ?a WHERE { resource:Q145 property:P463 ?a . FILTER NOT EXISTS { resource:Q29999 property:P463 ?a } . ?a rdf:type ontology:Q484652 }
Organization for Security and Co-operation in Europe Commonwealth of Nations G20 G8 North Atlantic Treaty Organisation European Space Agency
Organization for Security and Co-operation in Europe, Commonwealth of Nations, G20, G8, North Atlantic Treaty Organisation and European Space Agency were United Kingdom but not Kingdom of the Netherlands a member of
Organization for Security and Co-operation in Europe Commonwealth of Nations G20 G8 North Atlantic Treaty Organisation European Space Agency
action filter_type
action difference
action find
entity United Kingdom
relation member of
action find
entity Kingdom of the Netherlands
relation member of
type international organization
{'AND': [['United Kingdom', 'member of', {'concept': 'international organization'}], {'NOT': [['Kingdom of the Netherlands', 'member of', {'concept': 'international organization'}]]}]}
SELECT DISTINCT ?a WHERE { resource:United_Kingdom property:member_of ?a . FILTER NOT EXISTS { resource:Kingdom_of_the_Netherlands property:member_of ?a } . ?a rdf:type ontology:international_organization }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q145
P463
Q15617994
USER
Are United Kingdom a part of those international organizations ?
(Q145,P463,Q81299) (Q145,P463,Q7785) (Q145,P463,Q19771) (Q145,P463,Q37143) (Q145,P463,Q7184) (Q145,P463,Q42262)
action is_in
entity prev_answer
action find
entity Q145
relation P463
['Q145', 'P463', 'Q81299'] ['Q145', 'P463', 'Q7785'] ['Q145', 'P463', 'Q19771'] ['Q145', 'P463', 'Q37143'] ['Q145', 'P463', 'Q7184'] ['Q145', 'P463', 'Q42262']
ASK WHERE { resource:Q145 property:P463 ?g . VALUES ( ?g ) { ( resource:Q81299 ) ( resource:Q7785 ) ( resource:Q19771 ) } }
United Kingdom
action is_in
entity prev_answer
action find
entity United Kingdom
relation member of
['United Kingdom', 'member of', 'Organization for Security and Co-operation in Europe'] ['United Kingdom', 'member of', 'Commonwealth of Nations'] ['United Kingdom', 'member of', 'G20'] ['United Kingdom', 'member of', 'G8'] ['United Kingdom', 'member of', 'North Atlantic Treaty Organisation'] ['United Kingdom', 'member of', 'European Space Agency']
ASK WHERE { resource:United_Kingdom property:member_of ?g . VALUES ( ?g ) { ( resource:Organization_for_Security_and_Co-operation_in_Europe ) ( resource:Commonwealth_of_Nations ) ( resource:G20 ) } }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q145,P463,Q81299) (Q145,P463,Q7785) (Q145,P463,Q19771) (Q145,P463,Q37143) (Q145,P463,Q7184) (Q145,P463,Q42262)
action is_in
entity prev_answer
action find
entity Q145
relation P463
[ANSWER]
['Q145', 'P463', 'Q81299'] ['Q145', 'P463', 'Q7785'] ['Q145', 'P463', 'Q19771'] ['Q145', 'P463', 'Q37143'] ['Q145', 'P463', 'Q7184'] ['Q145', 'P463', 'Q42262']
ASK WHERE { resource:Q145 property:P463 ?g . VALUES ( ?g ) { ( resource:Q81299 ) ( resource:Q7785 ) ( resource:Q19771 ) } }
Yes
action is_in
entity prev_answer
action find
entity United Kingdom
relation member of
['United Kingdom', 'member of', 'Organization for Security and Co-operation in Europe'] ['United Kingdom', 'member of', 'Commonwealth of Nations'] ['United Kingdom', 'member of', 'G20'] ['United Kingdom', 'member of', 'G8'] ['United Kingdom', 'member of', 'North Atlantic Treaty Organisation'] ['United Kingdom', 'member of', 'European Space Agency']
ASK WHERE { resource:United_Kingdom property:member_of ?g . VALUES ( ?g ) { ( resource:Organization_for_Security_and_Co-operation_in_Europe ) ( resource:Commonwealth_of_Nations ) ( resource:G20 ) } }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q7184 Q239
P159
Q56061
USER
Is Brussels the headquarter location of North Atlantic Treaty Organisation ?
(Q7184,P159,Q239)
action is_in
entity Q239
action find
entity Q7184
relation P159
['Q7184', 'P159', 'Q239']
ASK WHERE { resource:Q7184 property:P159 resource:Q239 }
North Atlantic Treaty Organisation Brussels
action is_in
entity Brussels
action find
entity North Atlantic Treaty Organisation
relation headquarters location
['North Atlantic Treaty Organisation', 'headquarters location', 'Brussels']
ASK WHERE { resource:North_Atlantic_Treaty_Organisation property:headquarters_location resource:Brussels }
[]
administrative territorial entity
SYSTEM
YES
(Q7184,P159,Q239)
action is_in
entity Q239
action find
entity Q7184
relation P159
[ANSWER]
['Q7184', 'P159', 'Q239']
ASK WHERE { resource:Q7184 property:P159 resource:Q239 }
Yes
action is_in
entity Brussels
action find
entity North Atlantic Treaty Organisation
relation headquarters location
['North Atlantic Treaty Organisation', 'headquarters location', 'Brussels']
ASK WHERE { resource:North_Atlantic_Treaty_Organisation property:headquarters_location resource:Brussels }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q145 Q40889
P47
Q15617994
USER
Does Grosotto share border with United Kingdom ?
(Q145,P47,Q40889)
action is_in
entity Q40889
action find
entity Q145
relation P47
['Q145', 'P47', 'Q40889']
ASK WHERE { resource:Q145 property:P47 resource:Q40889 }
United Kingdom Grosotto
action is_in
entity Grosotto
action find
entity United Kingdom
relation shares border with
['United Kingdom', 'shares border with', 'Grosotto']
ASK WHERE { resource:United_Kingdom property:shares_border_with resource:Grosotto }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q145,P47,Q40889)
action is_in
entity Q40889
action find
entity Q145
relation P47
[ANSWER]
['Q145', 'P47', 'Q40889']
ASK WHERE { resource:Q145 property:P47 resource:Q40889 }
No
action is_in
entity Grosotto
action find
entity United Kingdom
relation shares border with
['United Kingdom', 'shares border with', 'Grosotto']
ASK WHERE { resource:United_Kingdom property:shares_border_with resource:Grosotto }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q42262 Q1860
P37
Q34770
USER
Is English the official language of European Space Agency ?
(Q42262,P37,Q1860)
action is_in
entity Q1860
action find
entity Q42262
relation P37
['Q42262', 'P37', 'Q1860']
ASK WHERE { resource:Q42262 property:P37 resource:Q1860 }
European Space Agency English
action is_in
entity English
action find
entity European Space Agency
relation official language
['European Space Agency', 'official language', 'English']
ASK WHERE { resource:European_Space_Agency property:official_language resource:English }
[]
language
SYSTEM
YES
(Q42262,P37,Q1860)
action is_in
entity Q1860
action find
entity Q42262
relation P37
[ANSWER]
['Q42262', 'P37', 'Q1860']
ASK WHERE { resource:Q42262 property:P37 resource:Q1860 }
Yes
action is_in
entity English
action find
entity European Space Agency
relation official language
['European Space Agency', 'official language', 'English']
ASK WHERE { resource:European_Space_Agency property:official_language resource:English }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P138
Q15617994 Q192611 Q2235308
USER
How many administrative territories are namesakes of approximately 1 constituencies and ship types ?
(c(Q192611)|c(Q2235308),P138,c(Q15617994))
action count
action approx
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q192611
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q2235308
value 1
[[{'concept': 'Q192611'}, {'concept': 'Q2235308'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?j ) WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?d ) ?t WHERE { VALUES ( ?c ) { ( ontology:Q192611 ) ( ontology:Q2235308 ) } . ?h rdf:type ?c } GROUP BY ?t } . FILTER ( ?d = 1 ) }
action count
action approx
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type constituency
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type ship type
value 1
[[{'concept': 'constituency'}, {'concept': 'ship type'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?j ) WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?d ) ?t WHERE { VALUES ( ?c ) { ( ontology:constituency ) ( ontology:ship_type ) } . ?h rdf:type ?c } GROUP BY ?t } . FILTER ( ?d = 1 ) }
[]
designation for an administrative territorial entity constituency ship type
SYSTEM
12
Q159 Q2396564 Q5084 Q794 Q34 Q36784 Q1951 Q20 Q1216 Q1005 Q837 Q1904
(c(Q192611)|c(Q2235308),P138,c(Q15617994))
action count
action approx
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q192611
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q2235308
value 1
[ANSWER]
[[{'concept': 'Q192611'}, {'concept': 'Q2235308'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?j ) WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?d ) ?t WHERE { VALUES ( ?c ) { ( ontology:Q192611 ) ( ontology:Q2235308 ) } . ?h rdf:type ?c } GROUP BY ?t } . FILTER ( ?d = 1 ) }
Russia Mallee hamlet Iran Sweden region of France Alberta Norway Piedmont Gambia Nepal Ontario
12
action count
action approx
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type constituency
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type ship type
value 1
[[{'concept': 'constituency'}, {'concept': 'ship type'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?j ) WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?d ) ?t WHERE { VALUES ( ?c ) { ( ontology:constituency ) ( ontology:ship_type ) } . ?h rdf:type ?c } GROUP BY ?t } . FILTER ( ?d = 1 ) }
[]