Simple Question (Direct)
Simple Question
Q16012345
P21
Q290
USER
Which sex does Pauline Toner belong to ?
(Q16012345,P21,c(Q290))
action filter_type
action find
entity Q16012345
relation P21
type Q290
['Q16012345', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?v WHERE { resource:Q16012345 property:P21 ?v . ?v rdf:type ontology:Q290 }
Pauline Toner
action filter_type
action find
entity Pauline Toner
relation gender
type sex
['Pauline Toner', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?v WHERE { resource:Pauline_Toner property:gender ?v . ?v rdf:type ontology:sex }
[]
sex
Q6581072
SYSTEM
female
Q6581072
(Q16012345,P21,c(Q290))
action filter_type
action find
entity Q16012345
relation P21
type Q290
Pauline Toner belongs to [ANSWER]
['Q16012345', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?v WHERE { resource:Q16012345 property:P21 ?v . ?v rdf:type ontology:Q290 }
female
Pauline Toner belongs to female
female
action filter_type
action find
entity Pauline Toner
relation gender
type sex
['Pauline Toner', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?v WHERE { resource:Pauline_Toner property:gender ?v . ?v rdf:type ontology:sex }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q16012345
P39
Q12737077
USER
Which occupation was a position held by that person ?
(Q6581072,P39,c(Q12737077))
action filter_type
action find
entity Q16012345
relation P39
type Q12737077
['Q6581072', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?p WHERE { resource:Q16012345 property:P39 ?p . ?p rdf:type ontology:Q12737077 }
Pauline Toner
action filter_type
action find
entity Pauline Toner
relation position held
type occupation
['female', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?p WHERE { resource:Pauline_Toner property:position_held ?p . ?p rdf:type ontology:occupation }
[]
occupation
Q18534408
SYSTEM
member of the Victorian Legislative Assembly
Q18534408
(Q6581072,P39,c(Q12737077))
action filter_type
action find
entity Q16012345
relation P39
type Q12737077
County [ANSWER] was a position held by that person
['Q6581072', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?p WHERE { resource:Q16012345 property:P39 ?p . ?p rdf:type ontology:Q12737077 }
member of the Victorian Legislative Assembly
County member of the Victorian Legislative Assembly was a position held by that person
member of the Victorian Legislative Assembly
action filter_type
action find
entity Pauline Toner
relation position held
type occupation
['female', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?p WHERE { resource:Pauline_Toner property:position_held ?p . ?p rdf:type ontology:occupation }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q18534408
P17
Q1048835
USER
Which political territory is that occupation situated in ?
(Q18534408,P17,c(Q1048835))
action filter_type
action find
entity Q18534408
relation P17
type Q1048835
['Q18534408', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ?f WHERE { resource:Q18534408 property:P17 ?f . ?f rdf:type ontology:Q1048835 }
member of the Victorian Legislative Assembly
action filter_type
action find
entity member of the Victorian Legislative Assembly
relation country
type political territorial entity
['member of the Victorian Legislative Assembly', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:member_of_the_Victorian_Legislative_Assembly property:country ?f . ?f rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q408
SYSTEM
Australia
Q408
(Q18534408,P17,c(Q1048835))
action filter_type
action find
entity Q18534408
relation P17
type Q1048835
That occupation is situated in [ANSWER]
['Q18534408', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ?f WHERE { resource:Q18534408 property:P17 ?f . ?f rdf:type ontology:Q1048835 }
Australia
That occupation is situated in Australia
Australia
action filter_type
action find
entity member of the Victorian Legislative Assembly
relation country
type political territorial entity
['member of the Victorian Legislative Assembly', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:member_of_the_Victorian_Legislative_Assembly property:country ?f . ?f rdf:type ontology:political_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q408
P69
Q502895
USER
Who studied at that political territory ?
(c(Q502895),P69,Q408)
action filter_type
action find_reverse
entity Q408
relation P69
type Q502895
[{'concept': 'Q502895'}, 'P69', 'Q408']
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:Q502895 . ?i property:P69 resource:Q408 }
Australia
action filter_type
action find_reverse
entity Australia
relation educated at
type common name
[{'concept': 'common name'}, 'educated at', 'Australia']
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:common_name . ?i property:educated_at resource:Australia }
[]
common name
Q16230664
SYSTEM
Jennifer Gidley
Q16230664
(c(Q502895),P69,Q408)
action filter_type
action find_reverse
entity Q408
relation P69
type Q502895
[ANSWER] studied at that political territory
[{'concept': 'Q502895'}, 'P69', 'Q408']
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:Q502895 . ?i property:P69 resource:Q408 }
Jennifer Gidley
Jennifer Gidley studied at that political territory
Jennifer Gidley
action filter_type
action find_reverse
entity Australia
relation educated at
type common name
[{'concept': 'common name'}, 'educated at', 'Australia']
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:common_name . ?i property:educated_at resource:Australia }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q3081202 Q408
P530 P27
Q15617994
USER
Which administrative territories have diplomatic relationships with Australia or are the countries of citizenship of Francine Del Pierre ?
OR((Q408,P530,c(Q15617994)), (Q3081202,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q408
relation P530
action find
entity Q3081202
relation P27
type Q15617994
{'OR': [['Q408', 'P530', {'concept': 'Q15617994'}], ['Q3081202', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Q408 property:P530 ?c } UNION { resource:Q3081202 property:P27 ?c } } . ?c rdf:type ontology:Q15617994 }
Francine Del Pierre Australia
action filter_type
action union
action find
entity Australia
relation diplomatic relation
action find
entity Francine Del Pierre
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Australia', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Francine Del Pierre', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Australia property:diplomatic_relation ?c } UNION { resource:Francine_Del_Pierre property:country_of_citizenship ?c } } . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q733 Q159 Q837 Q1027 Q117 Q702 Q423 Q783 Q854 Q17
SYSTEM
Some of them are Paraguay, Russia, Nepal, Mauritius, Ghana, Federated States of Micronesia, North Korea, Honduras, Sri Lanka, Japan
Q702 Q801 Q800 Q419 Q668 Q414 Q142 Q55 Q145 Q148 Q783 Q786 Q924 Q712 Q711 Q836 Q837 Q252 Q403 Q258 Q45 Q159 Q43 Q41 Q155 Q792 Q796 Q794 Q954 Q889 Q884 Q881 Q822 Q244 Q33 Q921 Q31 Q30 Q37 Q36 Q34 Q928 Q39 Q38 Q739 Q423 Q424 Q851 Q733 Q854 Q734 Q736 Q233 Q20 Q1041 Q27 Q29 Q1027 Q1020 Q843 Q1029 Q225 Q224 Q221 Q96 Q229 Q17 Q902 Q1036 Q1033 Q1030 Q191 Q963 Q697 Q298 Q695 Q115 Q114 Q117 Q754 Q750 Q212 Q213 Q211 Q215 Q218 Q219 Q916 Q833 Q977 Q1009 Q683 Q686 Q574 Q79 Q77 Q878 Q774 Q817 Q810 Q811 Q819 Q678 Q33788 Q869 Q953
OR((Q408,P530,c(Q15617994)), (Q3081202,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q408
relation P530
action find
entity Q3081202
relation P27
type Q15617994
[ANSWERS] have diplomatic relationships with Australia or are the countries of citizenship of Francine Del Pierre
{'OR': [['Q408', 'P530', {'concept': 'Q15617994'}], ['Q3081202', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Q408 property:P530 ?c } UNION { resource:Q3081202 property:P27 ?c } } . ?c rdf:type ontology:Q15617994 }
Federated States of Micronesia Israel Costa Rica Peru India Argentina France Netherlands United Kingdom People's Republic of China Honduras Dominican Republic Tanzania Fiji Mongolia Myanmar Nepal Indonesia Serbia South Africa Portugal Russia Turkey Greece Brazil El Salvador Iraq Iran Zimbabwe Afghanistan South Korea Vietnam Lebanon Barbados Finland Brunei Belgium United States of America Lithuania Poland Sweden Philippines Switzerland Italy Colombia North Korea Cambodia Saudi Arabia Paraguay Sri Lanka Guyana Ecuador Malta Norway Senegal Ireland Spain Mauritius Malawi Pakistan Mozambique Bosnia and Herzegovina Croatia Republic of Macedonia Mexico Cyprus Japan Bangladesh Uganda Nigeria Namibia Estonia Botswana Nauru Chile Palau Ethiopia Kenya Ghana Trinidad and Tobago Bolivia Ukraine Czech Republic Latvia Slovenia Romania Bulgaria Angola Malaysia Djibouti Cameroon Samoa Vanuatu East Timor Egypt Uruguay United Arab Emirates Guatemala Kuwait Jordan Nicaragua Laos Tonga New Caledonia Thailand Zambia
Paraguay, Russia, Nepal, Mauritius, Ghana, Federated States of Micronesia, North Korea, Honduras, Sri Lanka and Japan have diplomatic relationships with Australia or are the countries of citizenship of Francine Del Pierre
Paraguay Russia Nepal Mauritius Ghana Federated States of Micronesia North Korea Honduras Sri Lanka Japan
action filter_type
action union
action find
entity Australia
relation diplomatic relation
action find
entity Francine Del Pierre
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Australia', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Francine Del Pierre', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Australia property:diplomatic_relation ?c } UNION { resource:Francine_Del_Pierre property:country_of_citizenship ?c } } . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Clarification
Quantitative|Count|Logical operators|Indirect
P1001
Q811430 Q1292279
USER
How many constructions or political borders apply to jurisdiction over that administrative territory ?
(c(Q811430),P1001,Q423) (c(Q1292279),P1001,Q423) (c(Q811430),P1001,Q733) (c(Q1292279),P1001,Q733) (c(Q811430),P1001,Q159) (c(Q1292279),P1001,Q159) (c(Q811430),P1001,Q837) (c(Q1292279),P1001,Q837) (c(Q811430),P1001,Q1027) (c(Q1292279),P1001,Q1027) (c(Q811430),P1001,Q117) (c(Q1292279),P1001,Q117) (c(Q811430),P1001,Q702) (c(Q1292279),P1001,Q702) (c(Q811430),P1001,Q423) (c(Q1292279),P1001,Q423) (c(Q811430),P1001,Q783) (c(Q1292279),P1001,Q783) (c(Q811430),P1001,Q854) (c(Q1292279),P1001,Q854) (c(Q811430),P1001,Q17) (c(Q1292279),P1001,Q17)
[{'concept': 'Q811430'}, 'P1001', 'Q423'] [{'concept': 'Q1292279'}, 'P1001', 'Q423'] [{'concept': 'Q811430'}, 'P1001', 'Q733'] [{'concept': 'Q1292279'}, 'P1001', 'Q733'] [{'concept': 'Q811430'}, 'P1001', 'Q159'] [{'concept': 'Q1292279'}, 'P1001', 'Q159'] [{'concept': 'Q811430'}, 'P1001', 'Q837'] [{'concept': 'Q1292279'}, 'P1001', 'Q837'] [{'concept': 'Q811430'}, 'P1001', 'Q1027'] [{'concept': 'Q1292279'}, 'P1001', 'Q1027'] [{'concept': 'Q811430'}, 'P1001', 'Q117'] [{'concept': 'Q1292279'}, 'P1001', 'Q117'] [{'concept': 'Q811430'}, 'P1001', 'Q702'] [{'concept': 'Q1292279'}, 'P1001', 'Q702'] [{'concept': 'Q811430'}, 'P1001', 'Q423'] [{'concept': 'Q1292279'}, 'P1001', 'Q423'] [{'concept': 'Q811430'}, 'P1001', 'Q783'] [{'concept': 'Q1292279'}, 'P1001', 'Q783'] [{'concept': 'Q811430'}, 'P1001', 'Q854'] [{'concept': 'Q1292279'}, 'P1001', 'Q854'] [{'concept': 'Q811430'}, 'P1001', 'Q17'] [{'concept': 'Q1292279'}, 'P1001', 'Q17']
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:P1001 resource:Q423 } UNION { ?y property:P1001 resource:Q423 } UNION { ?z property:P1001 resource:Q417004 } UNION { ?y property:P1001 resource:Q417004 } UNION { ?z property:P1001 resource:Q24058892 } UNION { ?y property:P1001 resource:Q24058892 } UNION { ?z property:P1001 resource:Q6994320 } UNION { ?y property:P1001 resource:Q6994320 } UNION { ?z property:P1001 resource:Q19339979 } UNION { ?y property:P1001 resource:Q19339979 } UNION { ?z property:P1001 resource:Q1769221 } UNION { ?y property:P1001 resource:Q1769221 } UNION { ?z property:P1001 resource:Q702 } UNION { ?y property:P1001 resource:Q702 } UNION { ?z property:P1001 resource:Q423 } UNION { ?y property:P1001 resource:Q423 } UNION { ?z property:P1001 resource:Q783 } UNION { ?y property:P1001 resource:Q783 } UNION { ?z property:P1001 resource:Q854 } UNION { ?y property:P1001 resource:Q854 } UNION { ?z property:P1001 resource:Q1407064 } UNION { ?y property:P1001 resource:Q1407064 } } . ?z rdf:type ontology:Q385378 . ?y rdf:type ontology:Q1292279 }
[{'concept': 'construction'}, 'applies to jurisdiction', 'North Korea'] [{'concept': 'political border'}, 'applies to jurisdiction', 'North Korea'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Paraguay'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Paraguay'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Russia'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Russia'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Nepal'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Nepal'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Mauritius'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Mauritius'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Ghana'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Ghana'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Federated States of Micronesia'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Federated States of Micronesia'] [{'concept': 'construction'}, 'applies to jurisdiction', 'North Korea'] [{'concept': 'political border'}, 'applies to jurisdiction', 'North Korea'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Honduras'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Honduras'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Sri Lanka'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Sri Lanka'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Japan'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Japan']
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:applies_to_jurisdiction resource:North_Korea } UNION { ?y property:applies_to_jurisdiction resource:North_Korea } UNION { ?z property:applies_to_jurisdiction resource:Paraguay } UNION { ?y property:applies_to_jurisdiction resource:Paraguay } UNION { ?z property:applies_to_jurisdiction resource:Russia } UNION { ?y property:applies_to_jurisdiction resource:Russia } UNION { ?z property:applies_to_jurisdiction resource:Nepal } UNION { ?y property:applies_to_jurisdiction resource:Nepal } UNION { ?z property:applies_to_jurisdiction resource:Mauritius } UNION { ?y property:applies_to_jurisdiction resource:Mauritius } UNION { ?z property:applies_to_jurisdiction resource:Ghana } UNION { ?y property:applies_to_jurisdiction resource:Ghana } UNION { ?z property:applies_to_jurisdiction resource:Federated_States_of_Micronesia } UNION { ?y property:applies_to_jurisdiction resource:Federated_States_of_Micronesia } UNION { ?z property:applies_to_jurisdiction resource:North_Korea } UNION { ?y property:applies_to_jurisdiction resource:North_Korea } UNION { ?z property:applies_to_jurisdiction resource:Honduras } UNION { ?y property:applies_to_jurisdiction resource:Honduras } UNION { ?z property:applies_to_jurisdiction resource:Sri_Lanka } UNION { ?y property:applies_to_jurisdiction resource:Sri_Lanka } UNION { ?z property:applies_to_jurisdiction resource:Japan } UNION { ?y property:applies_to_jurisdiction resource:Japan } } . ?z rdf:type ontology:construction . ?y rdf:type ontology:political_border }
[]
construction political border
Quantitative|Count|Mult. entity type|Clarification
Q17
SYSTEM
Did you mean Japan ?
[ANSWER]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:P1001 resource:Q423 } UNION { ?y property:P1001 resource:Q423 } UNION { ?z property:P1001 resource:Q417004 } UNION { ?y property:P1001 resource:Q417004 } UNION { ?z property:P1001 resource:Q24058892 } UNION { ?y property:P1001 resource:Q24058892 } UNION { ?z property:P1001 resource:Q6994320 } UNION { ?y property:P1001 resource:Q6994320 } UNION { ?z property:P1001 resource:Q19339979 } UNION { ?y property:P1001 resource:Q19339979 } UNION { ?z property:P1001 resource:Q1769221 } UNION { ?y property:P1001 resource:Q1769221 } UNION { ?z property:P1001 resource:Q702 } UNION { ?y property:P1001 resource:Q702 } UNION { ?z property:P1001 resource:Q423 } UNION { ?y property:P1001 resource:Q423 } UNION { ?z property:P1001 resource:Q783 } UNION { ?y property:P1001 resource:Q783 } UNION { ?z property:P1001 resource:Q854 } UNION { ?y property:P1001 resource:Q854 } UNION { ?z property:P1001 resource:Q1407064 } UNION { ?y property:P1001 resource:Q1407064 } } . ?z rdf:type ontology:Q385378 . ?y rdf:type ontology:Q1292279 }
Did you mean Japan ?
Japan
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:applies_to_jurisdiction resource:North_Korea } UNION { ?y property:applies_to_jurisdiction resource:North_Korea } UNION { ?z property:applies_to_jurisdiction resource:Paraguay } UNION { ?y property:applies_to_jurisdiction resource:Paraguay } UNION { ?z property:applies_to_jurisdiction resource:Russia } UNION { ?y property:applies_to_jurisdiction resource:Russia } UNION { ?z property:applies_to_jurisdiction resource:Nepal } UNION { ?y property:applies_to_jurisdiction resource:Nepal } UNION { ?z property:applies_to_jurisdiction resource:Mauritius } UNION { ?y property:applies_to_jurisdiction resource:Mauritius } UNION { ?z property:applies_to_jurisdiction resource:Ghana } UNION { ?y property:applies_to_jurisdiction resource:Ghana } UNION { ?z property:applies_to_jurisdiction resource:Federated_States_of_Micronesia } UNION { ?y property:applies_to_jurisdiction resource:Federated_States_of_Micronesia } UNION { ?z property:applies_to_jurisdiction resource:North_Korea } UNION { ?y property:applies_to_jurisdiction resource:North_Korea } UNION { ?z property:applies_to_jurisdiction resource:Honduras } UNION { ?y property:applies_to_jurisdiction resource:Honduras } UNION { ?z property:applies_to_jurisdiction resource:Sri_Lanka } UNION { ?y property:applies_to_jurisdiction resource:Sri_Lanka } UNION { ?z property:applies_to_jurisdiction resource:Japan } UNION { ?y property:applies_to_jurisdiction resource:Japan } } . ?z rdf:type ontology:construction . ?y rdf:type ontology:political_border }
[]
Quantitative Reasoning (Count) (All)
USER
No, I meant North Korea. Could you tell me the answer for that?
(c(Q811430),P1001,Q423) (c(Q1292279),P1001,Q423) (c(Q811430),P1001,Q733) (c(Q1292279),P1001,Q733) (c(Q811430),P1001,Q159) (c(Q1292279),P1001,Q159) (c(Q811430),P1001,Q837) (c(Q1292279),P1001,Q837) (c(Q811430),P1001,Q1027) (c(Q1292279),P1001,Q1027) (c(Q811430),P1001,Q117) (c(Q1292279),P1001,Q117) (c(Q811430),P1001,Q702) (c(Q1292279),P1001,Q702) (c(Q811430),P1001,Q423) (c(Q1292279),P1001,Q423) (c(Q811430),P1001,Q783) (c(Q1292279),P1001,Q783) (c(Q811430),P1001,Q854) (c(Q1292279),P1001,Q854) (c(Q811430),P1001,Q17) (c(Q1292279),P1001,Q17)
Q423
[{'concept': 'Q811430'}, 'P1001', 'Q423'] [{'concept': 'Q1292279'}, 'P1001', 'Q423'] [{'concept': 'Q811430'}, 'P1001', 'Q733'] [{'concept': 'Q1292279'}, 'P1001', 'Q733'] [{'concept': 'Q811430'}, 'P1001', 'Q159'] [{'concept': 'Q1292279'}, 'P1001', 'Q159'] [{'concept': 'Q811430'}, 'P1001', 'Q837'] [{'concept': 'Q1292279'}, 'P1001', 'Q837'] [{'concept': 'Q811430'}, 'P1001', 'Q1027'] [{'concept': 'Q1292279'}, 'P1001', 'Q1027'] [{'concept': 'Q811430'}, 'P1001', 'Q117'] [{'concept': 'Q1292279'}, 'P1001', 'Q117'] [{'concept': 'Q811430'}, 'P1001', 'Q702'] [{'concept': 'Q1292279'}, 'P1001', 'Q702'] [{'concept': 'Q811430'}, 'P1001', 'Q423'] [{'concept': 'Q1292279'}, 'P1001', 'Q423'] [{'concept': 'Q811430'}, 'P1001', 'Q783'] [{'concept': 'Q1292279'}, 'P1001', 'Q783'] [{'concept': 'Q811430'}, 'P1001', 'Q854'] [{'concept': 'Q1292279'}, 'P1001', 'Q854'] [{'concept': 'Q811430'}, 'P1001', 'Q17'] [{'concept': 'Q1292279'}, 'P1001', 'Q17']
[{'concept': 'construction'}, 'applies to jurisdiction', 'North Korea'] [{'concept': 'political border'}, 'applies to jurisdiction', 'North Korea'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Paraguay'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Paraguay'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Russia'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Russia'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Nepal'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Nepal'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Mauritius'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Mauritius'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Ghana'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Ghana'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Federated States of Micronesia'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Federated States of Micronesia'] [{'concept': 'construction'}, 'applies to jurisdiction', 'North Korea'] [{'concept': 'political border'}, 'applies to jurisdiction', 'North Korea'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Honduras'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Honduras'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Sri Lanka'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Sri Lanka'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Japan'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Japan']
[]
SYSTEM
3
Q1060616 Q3088884 Q631348
(c(Q811430),P1001,Q423) (c(Q1292279),P1001,Q423) (c(Q811430),P1001,Q733) (c(Q1292279),P1001,Q733) (c(Q811430),P1001,Q159) (c(Q1292279),P1001,Q159) (c(Q811430),P1001,Q837) (c(Q1292279),P1001,Q837) (c(Q811430),P1001,Q1027) (c(Q1292279),P1001,Q1027) (c(Q811430),P1001,Q117) (c(Q1292279),P1001,Q117) (c(Q811430),P1001,Q702) (c(Q1292279),P1001,Q702) (c(Q811430),P1001,Q423) (c(Q1292279),P1001,Q423) (c(Q811430),P1001,Q783) (c(Q1292279),P1001,Q783) (c(Q811430),P1001,Q854) (c(Q1292279),P1001,Q854) (c(Q811430),P1001,Q17) (c(Q1292279),P1001,Q17)
[ANSWER]
[{'concept': 'Q811430'}, 'P1001', 'Q423'] [{'concept': 'Q1292279'}, 'P1001', 'Q423'] [{'concept': 'Q811430'}, 'P1001', 'Q733'] [{'concept': 'Q1292279'}, 'P1001', 'Q733'] [{'concept': 'Q811430'}, 'P1001', 'Q159'] [{'concept': 'Q1292279'}, 'P1001', 'Q159'] [{'concept': 'Q811430'}, 'P1001', 'Q837'] [{'concept': 'Q1292279'}, 'P1001', 'Q837'] [{'concept': 'Q811430'}, 'P1001', 'Q1027'] [{'concept': 'Q1292279'}, 'P1001', 'Q1027'] [{'concept': 'Q811430'}, 'P1001', 'Q117'] [{'concept': 'Q1292279'}, 'P1001', 'Q117'] [{'concept': 'Q811430'}, 'P1001', 'Q702'] [{'concept': 'Q1292279'}, 'P1001', 'Q702'] [{'concept': 'Q811430'}, 'P1001', 'Q423'] [{'concept': 'Q1292279'}, 'P1001', 'Q423'] [{'concept': 'Q811430'}, 'P1001', 'Q783'] [{'concept': 'Q1292279'}, 'P1001', 'Q783'] [{'concept': 'Q811430'}, 'P1001', 'Q854'] [{'concept': 'Q1292279'}, 'P1001', 'Q854'] [{'concept': 'Q811430'}, 'P1001', 'Q17'] [{'concept': 'Q1292279'}, 'P1001', 'Q17']
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:P1001 resource:Q423 } UNION { ?y property:P1001 resource:Q423 } UNION { ?z property:P1001 resource:Q417004 } UNION { ?y property:P1001 resource:Q417004 } UNION { ?z property:P1001 resource:Q24058892 } UNION { ?y property:P1001 resource:Q24058892 } UNION { ?z property:P1001 resource:Q6994320 } UNION { ?y property:P1001 resource:Q6994320 } UNION { ?z property:P1001 resource:Q19339979 } UNION { ?y property:P1001 resource:Q19339979 } UNION { ?z property:P1001 resource:Q1769221 } UNION { ?y property:P1001 resource:Q1769221 } UNION { ?z property:P1001 resource:Q702 } UNION { ?y property:P1001 resource:Q702 } UNION { ?z property:P1001 resource:Q423 } UNION { ?y property:P1001 resource:Q423 } UNION { ?z property:P1001 resource:Q783 } UNION { ?y property:P1001 resource:Q783 } UNION { ?z property:P1001 resource:Q854 } UNION { ?y property:P1001 resource:Q854 } UNION { ?z property:P1001 resource:Q1407064 } UNION { ?y property:P1001 resource:Q1407064 } } . ?z rdf:type ontology:Q385378 . ?y rdf:type ontology:Q1292279 }
China–North Korea border North Korea–South Korea border North Korea–Russia border
3
[{'concept': 'construction'}, 'applies to jurisdiction', 'North Korea'] [{'concept': 'political border'}, 'applies to jurisdiction', 'North Korea'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Paraguay'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Paraguay'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Russia'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Russia'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Nepal'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Nepal'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Mauritius'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Mauritius'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Ghana'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Ghana'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Federated States of Micronesia'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Federated States of Micronesia'] [{'concept': 'construction'}, 'applies to jurisdiction', 'North Korea'] [{'concept': 'political border'}, 'applies to jurisdiction', 'North Korea'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Honduras'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Honduras'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Sri Lanka'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Sri Lanka'] [{'concept': 'construction'}, 'applies to jurisdiction', 'Japan'] [{'concept': 'political border'}, 'applies to jurisdiction', 'Japan']
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:applies_to_jurisdiction resource:North_Korea } UNION { ?y property:applies_to_jurisdiction resource:North_Korea } UNION { ?z property:applies_to_jurisdiction resource:Paraguay } UNION { ?y property:applies_to_jurisdiction resource:Paraguay } UNION { ?z property:applies_to_jurisdiction resource:Russia } UNION { ?y property:applies_to_jurisdiction resource:Russia } UNION { ?z property:applies_to_jurisdiction resource:Nepal } UNION { ?y property:applies_to_jurisdiction resource:Nepal } UNION { ?z property:applies_to_jurisdiction resource:Mauritius } UNION { ?y property:applies_to_jurisdiction resource:Mauritius } UNION { ?z property:applies_to_jurisdiction resource:Ghana } UNION { ?y property:applies_to_jurisdiction resource:Ghana } UNION { ?z property:applies_to_jurisdiction resource:Federated_States_of_Micronesia } UNION { ?y property:applies_to_jurisdiction resource:Federated_States_of_Micronesia } UNION { ?z property:applies_to_jurisdiction resource:North_Korea } UNION { ?y property:applies_to_jurisdiction resource:North_Korea } UNION { ?z property:applies_to_jurisdiction resource:Honduras } UNION { ?y property:applies_to_jurisdiction resource:Honduras } UNION { ?z property:applies_to_jurisdiction resource:Sri_Lanka } UNION { ?y property:applies_to_jurisdiction resource:Sri_Lanka } UNION { ?z property:applies_to_jurisdiction resource:Japan } UNION { ?y property:applies_to_jurisdiction resource:Japan } } . ?z rdf:type ontology:construction . ?y rdf:type ontology:political_border }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P530
Q15617994 Q1048835
USER
How many political territories are known to have diplomatic connections with approximately 124 administrative territories ?
(c(Q1048835),P530,c(Q15617994))
action count
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 124
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?k ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?o ) AS ?e ) WHERE { ?t property:P530 ?o . ?t rdf:type ontology:Q1048835 . ?o rdf:type ontology:Q15617994 } GROUP BY ?t } . FILTER ( ?e = 124 ) }
action count
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 124
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?k ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?o ) AS ?e ) WHERE { ?t property:diplomatic_relation ?o . ?t rdf:type ontology:political_territorial_entity . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?t } . FILTER ( ?e = 124 ) }
[]
designation for an administrative territorial entity political territorial entity
SYSTEM
2
Q183 Q408
(c(Q1048835),P530,c(Q15617994))
action count
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 124
[ANSWER]
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?k ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?o ) AS ?e ) WHERE { ?t property:P530 ?o . ?t rdf:type ontology:Q1048835 . ?o rdf:type ontology:Q15617994 } GROUP BY ?t } . FILTER ( ?e = 124 ) }
Germany Australia
2
action count
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 124
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?k ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?o ) AS ?e ) WHERE { ?t property:diplomatic_relation ?o . ?t rdf:type ontology:political_territorial_entity . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?t } . FILTER ( ?e = 124 ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q778
P530
Q1048835 Q15617994
USER
Which political territories have diplomatic relations with lesser number of administrative territories than The Bahamas ?
(c(Q15617994),P530,c(Q1048835))
action less
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q778
relation P530
type Q1048835
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?s ) AS ?f ) WHERE { ?x property:P530 ?s . ?x rdf:type ontology:Q1048835 . ?s rdf:type ontology:Q15617994 } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?p ) WHERE { resource:Q778 property:P530 ?v . ?v rdf:type ontology:Q1048835 } } . FILTER ( ?f < ?p ) }
The Bahamas
action less
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity The Bahamas
relation diplomatic relation
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?s ) AS ?f ) WHERE { ?x property:diplomatic_relation ?s . ?x rdf:type ontology:political_territorial_entity . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?p ) WHERE { resource:The_Bahamas property:diplomatic_relation ?v . ?v rdf:type ontology:political_territorial_entity } } . FILTER ( ?f < ?p ) }
[]
political territorial entity designation for an administrative territorial entity
Q685 Q691
SYSTEM
Solomon Islands, Papua New Guinea
Q685 Q691
(c(Q15617994),P530,c(Q1048835))
action less
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q778
relation P530
type Q1048835
[ANSWERS] have diplomatic relations with lesser number of administrative territories than The Bahamas
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?s ) AS ?f ) WHERE { ?x property:P530 ?s . ?x rdf:type ontology:Q1048835 . ?s rdf:type ontology:Q15617994 } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?p ) WHERE { resource:Q778 property:P530 ?v . ?v rdf:type ontology:Q1048835 } } . FILTER ( ?f < ?p ) }
Solomon Islands Papua New Guinea
Solomon Islands and Papua New Guinea have diplomatic relations with lesser number of administrative territories than The Bahamas
Solomon Islands Papua New Guinea
action less
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity The Bahamas
relation diplomatic relation
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?s ) AS ?f ) WHERE { ?x property:diplomatic_relation ?s . ?x rdf:type ontology:political_territorial_entity . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?p ) WHERE { resource:The_Bahamas property:diplomatic_relation ?v . ?v rdf:type ontology:political_territorial_entity } } . FILTER ( ?f < ?p ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q781
P530
Q1048835 Q15617994
USER
And how about Antigua and Barbuda?
(c(Q15617994),P530,c(Q1048835))
action less
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q781
relation P530
type Q1048835
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ?o ( COUNT ( ?l ) AS ?i ) WHERE { ?o property:P530 ?l . ?o rdf:type ontology:Q1048835 . ?l rdf:type ontology:Q15617994 } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?k ) WHERE { ?g rdf:type ontology:Q1048835 . resource:Q781 property:P530 ?g } } . FILTER ( ?i < ?k ) }
Antigua and Barbuda
action less
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Antigua and Barbuda
relation diplomatic relation
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ?o ( COUNT ( ?l ) AS ?i ) WHERE { ?o property:diplomatic_relation ?l . ?o rdf:type ontology:political_territorial_entity . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?k ) WHERE { ?g rdf:type ontology:political_territorial_entity . resource:Antigua_and_Barbuda property:diplomatic_relation ?g } } . FILTER ( ?i < ?k ) }
[]
political territorial entity designation for an administrative territorial entity
Q685 Q691
SYSTEM
Solomon Islands, Papua New Guinea
Q685 Q691
(c(Q15617994),P530,c(Q1048835))
action less
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q781
relation P530
type Q1048835
[ANSWERS]
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ?o ( COUNT ( ?l ) AS ?i ) WHERE { ?o property:P530 ?l . ?o rdf:type ontology:Q1048835 . ?l rdf:type ontology:Q15617994 } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?k ) WHERE { ?g rdf:type ontology:Q1048835 . resource:Q781 property:P530 ?g } } . FILTER ( ?i < ?k ) }
Solomon Islands Papua New Guinea
Solomon Islands Papua New Guinea
action less
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Antigua and Barbuda
relation diplomatic relation
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ?o ( COUNT ( ?l ) AS ?i ) WHERE { ?o property:diplomatic_relation ?l . ?o rdf:type ontology:political_territorial_entity . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?k ) WHERE { ?g rdf:type ontology:political_territorial_entity . resource:Antigua_and_Barbuda property:diplomatic_relation ?g } } . FILTER ( ?i < ?k ) }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q16 Q408
P27
Q502895
USER
Which people are a native of Australia and Canada ?
AND((c(Q502895),P27,Q408), (c(Q502895),P27,Q16))
action filter_type
action intersection
action find_reverse
entity Q408
relation P27
action find_reverse
entity Q16
relation P27
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P27', 'Q408'], [{'concept': 'Q502895'}, 'P27', 'Q16']]}
SELECT DISTINCT ?t WHERE { ?t property:P27 resource:Q408 . ?t property:P27 resource:Q16 . ?t rdf:type ontology:Q502895 }
Canada Australia
action filter_type
action intersection
action find_reverse
entity Australia
relation country of citizenship
action find_reverse
entity Canada
relation country of citizenship
type common name
{'AND': [[{'concept': 'common name'}, 'country of citizenship', 'Australia'], [{'concept': 'common name'}, 'country of citizenship', 'Canada']]}
SELECT DISTINCT ?t WHERE { ?t property:country_of_citizenship resource:Australia . ?t property:country_of_citizenship resource:Canada . ?t rdf:type ontology:common_name }
[]
common name
Q443927 Q436649 Q4355859 Q2702252 Q5238337 Q1002179 Q16292920 Q7412262 Q15126822 Q545138
SYSTEM
Some of them are Bridget Neval, John Andrews, Lenore Zann, Scott McNeil, David P Reiter, John Foster McCreight, Robert Smith, Samuel Napier, Frank Milne, Luke Ford
Q91377 Q4355859 Q443927 Q7412262 Q2563511 Q722175 Q5300353 Q4730863 Q5271396 Q5238895 Q1356348 Q16292920 Q2702252 Q962583 Q3047453 Q21866353 Q3161345 Q5238337 Q3144788 Q3313503 Q265290 Q545138 Q7611843 Q16226200 Q5982072 Q15126822 Q436649 Q1002179 Q4682184 Q807645 Q2125201
AND((c(Q502895),P27,Q408), (c(Q502895),P27,Q16))
action filter_type
action intersection
action find_reverse
entity Q408
relation P27
action find_reverse
entity Q16
relation P27
type Q502895
[ANSWERS] are a native of Australia and Canada
{'AND': [[{'concept': 'Q502895'}, 'P27', 'Q408'], [{'concept': 'Q502895'}, 'P27', 'Q16']]}
SELECT DISTINCT ?t WHERE { ?t property:P27 resource:Q408 . ?t property:P27 resource:Q16 . ?t rdf:type ontology:Q502895 }
Hans Schwerdtfeger Lenore Zann Bridget Neval Samuel Napier John Pyper-Ferguson Christopher Spring Doug Cash Allan Moffat Diane Barwick David Ramsay Ernest Henry Nickel Robert Smith Scott McNeil Grant Connell Edgar Gold Fiona Gordon James Pritchard David P Reiter Hélène Joy Mike Pyke Kimberley Joseph Luke Ford Steve Badger Todd Sampson Ian Lloyd Frank Milne John Andrews John Foster McCreight Aden Young Barbara J. Spencer Rachel Cavalho
Bridget Neval, John Andrews, Lenore Zann, Scott McNeil, David P Reiter, John Foster McCreight, Robert Smith, Samuel Napier, Frank Milne and Luke Ford are a native of Australia and Canada
Bridget Neval John Andrews Lenore Zann Scott McNeil David P Reiter John Foster McCreight Robert Smith Samuel Napier Frank Milne Luke Ford
action filter_type
action intersection
action find_reverse
entity Australia
relation country of citizenship
action find_reverse
entity Canada
relation country of citizenship
type common name
{'AND': [[{'concept': 'common name'}, 'country of citizenship', 'Australia'], [{'concept': 'common name'}, 'country of citizenship', 'Canada']]}
SELECT DISTINCT ?t WHERE { ?t property:country_of_citizenship resource:Australia . ?t property:country_of_citizenship resource:Canada . ?t rdf:type ontology:common_name }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q265
P17
Q15617994 Q7210356 Q852446
USER
Which administrative territories are lesser number of political organizations or US administrative territories located in than Uzbekistan ?
(c(Q7210356)|c(Q852446),P17,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q7210356
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q852446
action count
action filter_multi_types
action find_reverse
entity Q265
relation P17
type Q7210356
type Q852446
[[{'concept': 'Q7210356'}, {'concept': 'Q852446'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) ?a WHERE { { ?z property:P17 ?a . ?a rdf:type ontology:Q15617994 . ?z rdf:type ontology:Q7210356 } UNION { ?z property:P17 ?a . ?z rdf:type ontology:Q852446 . ?a rdf:type ontology:Q15617994 } } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?u ) WHERE { ?g property:P17 resource:Q265 . { { ?g rdf:type ontology:Q7210356 } UNION { ?g rdf:type ontology:Q852446 } } } } . FILTER ( ?y < ?u ) }
Uzbekistan
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type political organization
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type administrative territorial entity of the United States
action count
action filter_multi_types
action find_reverse
entity Uzbekistan
relation country
type political organization
type administrative territorial entity of the United States
[[{'concept': 'political organization'}, {'concept': 'administrative territorial entity of the United States'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) ?a WHERE { { ?z property:country ?a . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . ?z rdf:type ontology:political_organization } UNION { ?z property:country ?a . ?z rdf:type ontology:administrative_territorial_entity_of_the_United_States . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?u ) WHERE { ?g property:country resource:Uzbekistan . { { ?g rdf:type ontology:political_organization } UNION { ?g rdf:type ontology:administrative_territorial_entity_of_the_United_States } } } } . FILTER ( ?y < ?u ) }
[]
designation for an administrative territorial entity political organization administrative territorial entity of the United States
Q851 Q842 Q29999
SYSTEM
Saudi Arabia, Oman, Kingdom of the Netherlands
Q702 Q1256 Q339952 Q270508 Q684030 Q2172530 Q12536 Q640426 Q36678 Q736029 Q565812 Q187035 Q1462 Q517333 Q954 Q2001966 Q326029 Q986 Q153529 Q695316 Q165040 Q315667 Q153136 Q1210 Q921 Q155019 Q983 Q851 Q29999 Q819 Q107426 Q1282 Q159626 Q177323 Q313175 Q149621 Q1025 Q842 Q1029 Q34762 Q1458 Q3462133 Q223 Q815731 Q47261 Q1050 Q977 Q704288 Q10957559 Q1037 Q695 Q389004 Q1013 Q160307 Q164092 Q1483510 Q2662372 Q1005 Q829700 Q239502 Q15581 Q34020 Q2380910 Q193152 Q655621 Q2502354 Q154849 Q159856 Q2621010 Q696651 Q878 Q817 Q810 Q148499 Q945 Q678 Q8575586 Q529605 Q672 Q33788 Q11024667 Q426025
(c(Q7210356)|c(Q852446),P17,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q7210356
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q852446
action count
action filter_multi_types
action find_reverse
entity Q265
relation P17
type Q7210356
type Q852446
[ANSWERS] are lesser number of political organizations or US administrative territories located in than Uzbekistan
[[{'concept': 'Q7210356'}, {'concept': 'Q852446'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) ?a WHERE { { ?z property:P17 ?a . ?a rdf:type ontology:Q15617994 . ?z rdf:type ontology:Q7210356 } UNION { ?z property:P17 ?a . ?z rdf:type ontology:Q852446 . ?a rdf:type ontology:Q15617994 } } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?u ) WHERE { ?g property:P17 resource:Q265 . { { ?g rdf:type ontology:Q7210356 } UNION { ?g rdf:type ontology:Q852446 } } } } . FILTER ( ?y < ?u ) }
Federated States of Micronesia Liguria Principality of Orange-Nassau Andora Principality of Serbia Electorate of Württemberg Abbasid caliphate Stahnsdorf West Bank Nassau-Siegen Principality of Calenberg Principality of Albania Sardinia Principality of Polotsk Zimbabwe Company rule in India Duchy of Brunswick Eritrea Duchy of Milan Schwarzburg-Rudolstadt Duchy of Parma Saxe-Weimar Habsburg Empire Lombardy Brunei Duchy of Lorraine Equatorial Guinea Saudi Arabia Kingdom of the Netherlands Laos Anjou Lazio Württemberg developing country Saxe-Lauenburg district Mauritania Oman Mozambique Principality of Bayreuth Calabria Saxe-Coburg and Gotha Greenland Principality of Bulgaria Duchy of Bavaria Swaziland Djibouti Duchy of Holstein Moldavia Rwanda Palau Wallachia Lesotho Fatimid caliphate Duchy of Saxony Principality of Wales Principality of Minsk Gambia Saxe-Jena Kingdom of Galicia–Volhynia Principality of Catalonia Niue Duchy of Zaslawye Great Moravia Principality of Transylvania Principality of Goroden Grand Duchy of Tuscany Duchy of Brabant Principality of Vitebsk Saxe-Eisenach United Arab Emirates Kuwait Jordan Margraviate of Brandenburg Togo Tonga Umayyad Caliphate Electorate of Hesse Tuvalu New Caledonia Duchy of Mecklenburg-Schwerin Duchy of Savoy
Saudi Arabia, Oman and Kingdom of the Netherlands are lesser number of political organizations or US administrative territories located in than Uzbekistan
Saudi Arabia Oman Kingdom of the Netherlands
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type political organization
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type administrative territorial entity of the United States
action count
action filter_multi_types
action find_reverse
entity Uzbekistan
relation country
type political organization
type administrative territorial entity of the United States
[[{'concept': 'political organization'}, {'concept': 'administrative territorial entity of the United States'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) ?a WHERE { { ?z property:country ?a . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . ?z rdf:type ontology:political_organization } UNION { ?z property:country ?a . ?z rdf:type ontology:administrative_territorial_entity_of_the_United_States . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?u ) WHERE { ?g property:country resource:Uzbekistan . { { ?g rdf:type ontology:political_organization } UNION { ?g rdf:type ontology:administrative_territorial_entity_of_the_United_States } } } } . FILTER ( ?y < ?u ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P530
Q15617994 Q1048835
USER
How many political territories have tactful political relations with exactly 5 administrative territories ?
(c(Q1048835),P530,c(Q15617994))
action count
action equal
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 5
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?e ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?v ) AS ?n ) WHERE { ?y property:P530 ?v . ?y rdf:type ontology:Q1048835 . ?v rdf:type ontology:Q15617994 } GROUP BY ?y } . FILTER ( ?n = 5 ) }
action count
action equal
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 5
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?e ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?v ) AS ?n ) WHERE { ?y property:diplomatic_relation ?v . ?y rdf:type ontology:political_territorial_entity . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?y } . FILTER ( ?n = 5 ) }
[]
designation for an administrative territorial entity political territorial entity
SYSTEM
1
Q40
(c(Q1048835),P530,c(Q15617994))
action count
action equal
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 5
[ANSWER]
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?e ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?v ) AS ?n ) WHERE { ?y property:P530 ?v . ?y rdf:type ontology:Q1048835 . ?v rdf:type ontology:Q15617994 } GROUP BY ?y } . FILTER ( ?n = 5 ) }
Austria
1
action count
action equal
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 5
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?e ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?v ) AS ?n ) WHERE { ?y property:diplomatic_relation ?v . ?y rdf:type ontology:political_territorial_entity . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?y } . FILTER ( ?n = 5 ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q2041105 Q15126822
P27
Q1048835
USER
Which political territories are Frank Milne or Otto Zoff an inhabitant of ?
OR((Q15126822,P27,c(Q1048835)), (Q2041105,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q15126822
relation P27
action find
entity Q2041105
relation P27
type Q1048835
{'OR': [['Q15126822', 'P27', {'concept': 'Q1048835'}], ['Q2041105', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?x WHERE { { ?m property:P27 ?x . VALUES ( ?m ) { ( resource:Q15126822 ) ( resource:Q2041105 ) } } . ?x rdf:type ontology:Q1048835 }
Otto Zoff Frank Milne
action filter_type
action union
action find
entity Frank Milne
relation country of citizenship
action find
entity Otto Zoff
relation country of citizenship
type political territorial entity
{'OR': [['Frank Milne', 'country of citizenship', {'concept': 'political territorial entity'}], ['Otto Zoff', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?x WHERE { { ?m property:country_of_citizenship ?x . VALUES ( ?m ) { ( resource:Frank_Milne ) ( resource:Otto_Zoff ) } } . ?x rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q408 Q16 Q40
SYSTEM
Australia, Canada, Austria
Q408 Q16 Q40
OR((Q15126822,P27,c(Q1048835)), (Q2041105,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q15126822
relation P27
action find
entity Q2041105
relation P27
type Q1048835
[ANSWERS] are Frank Milne or Otto Zoff an inhabitant of
{'OR': [['Q15126822', 'P27', {'concept': 'Q1048835'}], ['Q2041105', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?x WHERE { { ?m property:P27 ?x . VALUES ( ?m ) { ( resource:Q15126822 ) ( resource:Q2041105 ) } } . ?x rdf:type ontology:Q1048835 }
Australia Canada Austria
Australia, Canada and Austria are Frank Milne or Otto Zoff an inhabitant of
Australia Canada Austria
action filter_type
action union
action find
entity Frank Milne
relation country of citizenship
action find
entity Otto Zoff
relation country of citizenship
type political territorial entity
{'OR': [['Frank Milne', 'country of citizenship', {'concept': 'political territorial entity'}], ['Otto Zoff', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?x WHERE { { ?m property:country_of_citizenship ?x . VALUES ( ?m ) { ( resource:Frank_Milne ) ( resource:Otto_Zoff ) } } . ?x rdf:type ontology:political_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P127
Q1048835 Q811979 Q79007
USER
Which political territories own exactly 1 architectural structures or streets ?
(c(Q811979)|c(Q79007),P127,c(Q1048835))
action equal
action union
action find_reverse_tuple_counts
relation P127
type Q1048835
type Q811979
action find_reverse_tuple_counts
relation P127
type Q1048835
type Q79007
value 1
[[{'concept': 'Q811979'}, {'concept': 'Q79007'}], 'P127', {'concept': 'Q1048835'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?y ) AS ?q ) WHERE { { ?y property:P127 ?c . ?c rdf:type ontology:Q1048835 . ?y rdf:type ontology:Q811979 } UNION { ?y property:P127 ?c . ?c rdf:type ontology:Q1048835 . ?y rdf:type ontology:Q79007 } } GROUP BY ?c } . FILTER ( ?q = 1 ) }
action equal
action union
action find_reverse_tuple_counts
relation owned by
type political territorial entity
type architectural structure
action find_reverse_tuple_counts
relation owned by
type political territorial entity
type street
value 1
[[{'concept': 'architectural structure'}, {'concept': 'street'}], 'owned by', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?y ) AS ?q ) WHERE { { ?y property:owned_by ?c . ?c rdf:type ontology:political_territorial_entity . ?y rdf:type ontology:architectural_structure } UNION { ?y property:owned_by ?c . ?c rdf:type ontology:political_territorial_entity . ?y rdf:type ontology:street } } GROUP BY ?c } . FILTER ( ?q = 1 ) }
[]
political territorial entity architectural structure street
Q13862 Q54902 Q849584
SYSTEM
Negros Occidental, Fuenlabrada, Jaraguá do Sul
Q13862 Q54902 Q849584
(c(Q811979)|c(Q79007),P127,c(Q1048835))
action equal
action union
action find_reverse_tuple_counts
relation P127
type Q1048835
type Q811979
action find_reverse_tuple_counts
relation P127
type Q1048835
type Q79007
value 1
[ANSWERS] own exactly 1 architectural structures or streets
[[{'concept': 'Q811979'}, {'concept': 'Q79007'}], 'P127', {'concept': 'Q1048835'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?y ) AS ?q ) WHERE { { ?y property:P127 ?c . ?c rdf:type ontology:Q1048835 . ?y rdf:type ontology:Q811979 } UNION { ?y property:P127 ?c . ?c rdf:type ontology:Q1048835 . ?y rdf:type ontology:Q79007 } } GROUP BY ?c } . FILTER ( ?q = 1 ) }
Negros Occidental Fuenlabrada Jaraguá do Sul
Negros Occidental, Fuenlabrada and Jaraguá do Sul own exactly 1 architectural structures or streets
Negros Occidental Fuenlabrada Jaraguá do Sul
action equal
action union
action find_reverse_tuple_counts
relation owned by
type political territorial entity
type architectural structure
action find_reverse_tuple_counts
relation owned by
type political territorial entity
type street
value 1
[[{'concept': 'architectural structure'}, {'concept': 'street'}], 'owned by', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?y ) AS ?q ) WHERE { { ?y property:owned_by ?c . ?c rdf:type ontology:political_territorial_entity . ?y rdf:type ontology:architectural_structure } UNION { ?y property:owned_by ?c . ?c rdf:type ontology:political_territorial_entity . ?y rdf:type ontology:street } } GROUP BY ?c } . FILTER ( ?q = 1 ) }
[]