Simple Question (Direct)
Simple Question
Q5078781
P1412
Q34770
USER
Which language can Charles Harold Davis read ?
(Q5078781,P1412,c(Q34770))
action filter_type
action find
entity Q5078781
relation P1412
type Q34770
['Q5078781', 'P1412', {'concept': 'Q34770'}]
SELECT DISTINCT ?j WHERE { resource:Q5078781 property:P1412 ?j . ?j rdf:type ontology:Q34770 }
Charles Harold Davis
action filter_type
action find
entity Charles Harold Davis
relation languages spoken, written or signed
type language
['Charles Harold Davis', 'languages spoken, written or signed', {'concept': 'language'}]
SELECT DISTINCT ?j WHERE { resource:Charles_Harold_Davis property:languages_spoken,_written_or_signed ?j . ?j rdf:type ontology:language }
[]
language
Q1860
SYSTEM
English
Q1860
(Q5078781,P1412,c(Q34770))
action filter_type
action find
entity Q5078781
relation P1412
type Q34770
Charles Harold Davis can read in [ANSWER]
['Q5078781', 'P1412', {'concept': 'Q34770'}]
SELECT DISTINCT ?j WHERE { resource:Q5078781 property:P1412 ?j . ?j rdf:type ontology:Q34770 }
English
Charles Harold Davis can read in English
English
action filter_type
action find
entity Charles Harold Davis
relation languages spoken, written or signed
type language
['Charles Harold Davis', 'languages spoken, written or signed', {'concept': 'language'}]
SELECT DISTINCT ?j WHERE { resource:Charles_Harold_Davis property:languages_spoken,_written_or_signed ?j . ?j rdf:type ontology:language }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q1860 Q179805
P361
Q5962346
USER
Is that language a part of political philosophy ?
(Q1860,P361,Q179805)
action is_in
entity Q179805
action find
entity Q1860
relation P361
['Q1860', 'P361', 'Q179805']
ASK WHERE { resource:Q1860 property:P361 resource:Q179805 }
English political philosophy
action is_in
entity political philosophy
action find
entity English
relation part of
['English', 'part of', 'political philosophy']
ASK WHERE { resource:English property:part_of resource:political_philosophy }
[]
classification scheme
SYSTEM
NO
(Q1860,P361,Q179805)
action is_in
entity Q179805
action find
entity Q1860
relation P361
[ANSWER]
['Q1860', 'P361', 'Q179805']
ASK WHERE { resource:Q1860 property:P361 resource:Q179805 }
No
action is_in
entity political philosophy
action find
entity English
relation part of
['English', 'part of', 'political philosophy']
ASK WHERE { resource:English property:part_of resource:political_philosophy }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q5078781 Q30
P27
Q15617994
USER
Does Charles Harold Davis belong to United States of America ?
(Q5078781,P27,Q30)
action is_in
entity Q30
action find
entity Q5078781
relation P27
['Q5078781', 'P27', 'Q30']
ASK WHERE { resource:Q5078781 property:P27 resource:Q30 }
Charles Harold Davis United States of America
action is_in
entity United States of America
action find
entity Charles Harold Davis
relation country of citizenship
['Charles Harold Davis', 'country of citizenship', 'United States of America']
ASK WHERE { resource:Charles_Harold_Davis property:country_of_citizenship resource:United_States_of_America }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q5078781,P27,Q30)
action is_in
entity Q30
action find
entity Q5078781
relation P27
[ANSWER]
['Q5078781', 'P27', 'Q30']
ASK WHERE { resource:Q5078781 property:P27 resource:Q30 }
Yes
action is_in
entity United States of America
action find
entity Charles Harold Davis
relation country of citizenship
['Charles Harold Davis', 'country of citizenship', 'United States of America']
ASK WHERE { resource:Charles_Harold_Davis property:country_of_citizenship resource:United_States_of_America }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q1860
P37
Q476300 Q43229
USER
How many competitions and organizations are English associated to as the official language ?
(c(Q476300),P37,Q1860) (c(Q43229),P37,Q1860)
action count
action union
action filter_type
action find_reverse
entity Q1860
relation P37
type Q476300
action filter_type
action find_reverse
entity Q1860
relation P37
type Q43229
[{'concept': 'Q476300'}, 'P37', 'Q1860'] [{'concept': 'Q43229'}, 'P37', 'Q1860']
SELECT DISTINCT ( COUNT ( ?t ) AS ?f ) WHERE { ?t rdf:type ?p . VALUES ( ?p ) { ( ontology:Q43229 ) ( ontology:Q476300 ) } }
English
action count
action union
action filter_type
action find_reverse
entity English
relation official language
type competition
action filter_type
action find_reverse
entity English
relation official language
type organization
[{'concept': 'competition'}, 'official language', 'English'] [{'concept': 'organization'}, 'official language', 'English']
SELECT DISTINCT ( COUNT ( ?t ) AS ?f ) WHERE { ?t rdf:type ?p . VALUES ( ?p ) { ( ontology:organization ) ( ontology:competition ) } }
[]
competition organization
SYSTEM
1 competitions and 10 organizations
Q20055354 Q20179014 Q161376 Q15028 Q20179132 Q40970 Q41550 Q19875296 Q20178932 Q19958309 Q7825
(c(Q476300),P37,Q1860) (c(Q43229),P37,Q1860)
action count
action union
action filter_type
action find_reverse
entity Q1860
relation P37
type Q476300
action filter_type
action find_reverse
entity Q1860
relation P37
type Q43229
[ANSWER]
[{'concept': 'Q476300'}, 'P37', 'Q1860'] [{'concept': 'Q43229'}, 'P37', 'Q1860']
SELECT DISTINCT ( COUNT ( ?t ) AS ?f ) WHERE { ?t rdf:type ?p . VALUES ( ?p ) { ( ontology:Q43229 ) ( ontology:Q476300 ) } }
BusinessCom Networks EIM E.S.C Miss Universe International Organization for Standardization LookAt International Olympic Committee Organisation for Economic Co-operation and Development Lock the Gate Alliance Nanorep ITLY World Trade Organization
1 competitions and 10 organizations
action count
action union
action filter_type
action find_reverse
entity English
relation official language
type competition
action filter_type
action find_reverse
entity English
relation official language
type organization
[{'concept': 'competition'}, 'official language', 'English'] [{'concept': 'organization'}, 'official language', 'English']
SELECT DISTINCT ( COUNT ( ?t ) AS ?f ) WHERE { ?t rdf:type ?p . VALUES ( ?p ) { ( ontology:organization ) ( ontology:competition ) } }
[]