Simple Question (Direct)
Simple Question
Q7782103
P802
Q502895
USER
Who taught Theodore William Chaundy ?
(Q7782103,P802,c(Q502895))
action filter_type
action find
entity Q7782103
relation P802
type Q502895
['Q7782103', 'P802', {'concept': 'Q502895'}]
SELECT DISTINCT ?l WHERE { resource:Q7782103 property:P802 ?l . ?l rdf:type ontology:Q502895 }
Theodore William Chaundy
action filter_type
action find
entity Theodore William Chaundy
relation student
type common name
['Theodore William Chaundy', 'student', {'concept': 'common name'}]
SELECT DISTINCT ?l WHERE { resource:Theodore_William_Chaundy property:student ?l . ?l rdf:type ontology:common_name }
[]
common name
Q467786
SYSTEM
Kathleen Ollerenshaw
Q467786
(Q7782103,P802,c(Q502895))
action filter_type
action find
entity Q7782103
relation P802
type Q502895
[ANSWER] taught Theodore William Chaundy
['Q7782103', 'P802', {'concept': 'Q502895'}]
SELECT DISTINCT ?l WHERE { resource:Q7782103 property:P802 ?l . ?l rdf:type ontology:Q502895 }
Kathleen Ollerenshaw
Kathleen Ollerenshaw taught Theodore William Chaundy
Kathleen Ollerenshaw
action filter_type
action find
entity Theodore William Chaundy
relation student
type common name
['Theodore William Chaundy', 'student', {'concept': 'common name'}]
SELECT DISTINCT ?l WHERE { resource:Theodore_William_Chaundy property:student ?l . ?l rdf:type ontology:common_name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q7782103
P170
Q151885
USER
What was developed by Theodore William Chaundy ?
(c(Q151885),P170,Q7782103)
action filter_type
action find_reverse
entity Q7782103
relation P170
type Q151885
[{'concept': 'Q151885'}, 'P170', 'Q7782103']
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q151885 . ?s property:P170 resource:Q7782103 }
Theodore William Chaundy
action filter_type
action find_reverse
entity Theodore William Chaundy
relation creator
type concept
[{'concept': 'concept'}, 'creator', 'Theodore William Chaundy']
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:concept . ?s property:creator resource:Theodore_William_Chaundy }
[]
concept
Q4998216
SYSTEM
Burchnall–Chaundy theory
Q4998216
(c(Q151885),P170,Q7782103)
action filter_type
action find_reverse
entity Q7782103
relation P170
type Q151885
[ANSWER] was developed by Theodore William Chaundy
[{'concept': 'Q151885'}, 'P170', 'Q7782103']
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q151885 . ?s property:P170 resource:Q7782103 }
Burchnall–Chaundy theory
Burchnall–Chaundy theory was developed by Theodore William Chaundy
Burchnall–Chaundy theory
action filter_type
action find_reverse
entity Theodore William Chaundy
relation creator
type concept
[{'concept': 'concept'}, 'creator', 'Theodore William Chaundy']
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:concept . ?s property:creator resource:Theodore_William_Chaundy }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q7782103
P800
Q151885
USER
Which concept is notable work of that person ?
(Q4998216,P800,c(Q151885))
action filter_type
action find
entity Q7782103
relation P800
type Q151885
['Q4998216', 'P800', {'concept': 'Q151885'}]
SELECT DISTINCT ?d WHERE { resource:Q7782103 property:P800 ?d . ?d rdf:type ontology:Q151885 }
Theodore William Chaundy
action filter_type
action find
entity Theodore William Chaundy
relation notable work
type concept
['Burchnall–Chaundy theory', 'notable work', {'concept': 'concept'}]
SELECT DISTINCT ?d WHERE { resource:Theodore_William_Chaundy property:notable_work ?d . ?d rdf:type ontology:concept }
[]
concept
Q4998216
SYSTEM
Burchnall–Chaundy theory
Q4998216
(Q4998216,P800,c(Q151885))
action filter_type
action find
entity Q7782103
relation P800
type Q151885
[ANSWER] is notable work of that person
['Q4998216', 'P800', {'concept': 'Q151885'}]
SELECT DISTINCT ?d WHERE { resource:Q7782103 property:P800 ?d . ?d rdf:type ontology:Q151885 }
Burchnall–Chaundy theory
Burchnall–Chaundy theory is notable work of that person
Burchnall–Chaundy theory
action filter_type
action find
entity Theodore William Chaundy
relation notable work
type concept
['Burchnall–Chaundy theory', 'notable work', {'concept': 'concept'}]
SELECT DISTINCT ?d WHERE { resource:Theodore_William_Chaundy property:notable_work ?d . ?d rdf:type ontology:concept }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q7782103
P69
Q159334 Q1244442
USER
How many secondary schools or school buildings are Theodore William Chaundy an alumni of ?
(Q7782103,P69,c(Q159334)) (Q7782103,P69,c(Q1244442))
action count
action union
action filter_type
action find
entity Q7782103
relation P69
type Q159334
action filter_type
action find
entity Q7782103
relation P69
type Q1244442
['Q7782103', 'P69', {'concept': 'Q159334'}] ['Q7782103', 'P69', {'concept': 'Q1244442'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?l ) WHERE { ?d rdf:type ?a . VALUES ( ?a ) { ( ontology:Q159334 ) ( ontology:Q1244442 ) } }
Theodore William Chaundy
action count
action union
action filter_type
action find
entity Theodore William Chaundy
relation educated at
type secondary school
action filter_type
action find
entity Theodore William Chaundy
relation educated at
type school building
['Theodore William Chaundy', 'educated at', {'concept': 'secondary school'}] ['Theodore William Chaundy', 'educated at', {'concept': 'school building'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?l ) WHERE { ?d rdf:type ?a . VALUES ( ?a ) { ( ontology:secondary_school ) ( ontology:school_building ) } }
[]
secondary school school building
SYSTEM
2
Q805285 Q5123849
(Q7782103,P69,c(Q159334)) (Q7782103,P69,c(Q1244442))
action count
action union
action filter_type
action find
entity Q7782103
relation P69
type Q159334
action filter_type
action find
entity Q7782103
relation P69
type Q1244442
[ANSWER]
['Q7782103', 'P69', {'concept': 'Q159334'}] ['Q7782103', 'P69', {'concept': 'Q1244442'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?l ) WHERE { ?d rdf:type ?a . VALUES ( ?a ) { ( ontology:Q159334 ) ( ontology:Q1244442 ) } }
Balliol College City of Oxford High School for Boys
2
action count
action union
action filter_type
action find
entity Theodore William Chaundy
relation educated at
type secondary school
action filter_type
action find
entity Theodore William Chaundy
relation educated at
type school building
['Theodore William Chaundy', 'educated at', {'concept': 'secondary school'}] ['Theodore William Chaundy', 'educated at', {'concept': 'school building'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?l ) WHERE { ?d rdf:type ?a . VALUES ( ?a ) { ( ontology:secondary_school ) ( ontology:school_building ) } }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q7782103
P184
Q502895
USER
Which person has that one as doctoral supervisor ?
action filter_type
action find_reverse
entity Q7782103
relation P184
type Q502895
SELECT DISTINCT ?a WHERE { ?a property:P184 resource:Q7782103 . ?a rdf:type ontology:Q502895 }
Theodore William Chaundy
action filter_type
action find_reverse
entity Theodore William Chaundy
relation doctoral advisor
type common name
SELECT DISTINCT ?a WHERE { ?a property:doctoral_advisor resource:Theodore_William_Chaundy . ?a rdf:type ontology:common_name }
[]
common name
Q467786
SYSTEM
Kathleen Ollerenshaw
Q467786
action filter_type
action find_reverse
entity Q7782103
relation P184
type Q502895
[ANSWER] has that one as doctoral supervisor
SELECT DISTINCT ?a WHERE { ?a property:P184 resource:Q7782103 . ?a rdf:type ontology:Q502895 }
Kathleen Ollerenshaw
Kathleen Ollerenshaw has that one as doctoral supervisor
Kathleen Ollerenshaw
action filter_type
action find_reverse
entity Theodore William Chaundy
relation doctoral advisor
type common name
SELECT DISTINCT ?a WHERE { ?a property:doctoral_advisor resource:Theodore_William_Chaundy . ?a rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q467786 Q7782103
P802
Q502895
USER
Was Theodore William Chaundy a notable student of that one ?
(Q7782103,P802,Q467786)
action is_in
entity Q467786
action find
entity Q7782103
relation P802
['Q7782103', 'P802', 'Q467786']
ASK WHERE { resource:Q7782103 property:P802 resource:Q467786 }
Kathleen Ollerenshaw Theodore William Chaundy
action is_in
entity Kathleen Ollerenshaw
action find
entity Theodore William Chaundy
relation student
['Theodore William Chaundy', 'student', 'Kathleen Ollerenshaw']
ASK WHERE { resource:Theodore_William_Chaundy property:student resource:Kathleen_Ollerenshaw }
[]
common name
SYSTEM
YES
(Q7782103,P802,Q467786)
action is_in
entity Q467786
action find
entity Q7782103
relation P802
[ANSWER]
['Q7782103', 'P802', 'Q467786']
ASK WHERE { resource:Q7782103 property:P802 resource:Q467786 }
Yes
action is_in
entity Kathleen Ollerenshaw
action find
entity Theodore William Chaundy
relation student
['Theodore William Chaundy', 'student', 'Kathleen Ollerenshaw']
ASK WHERE { resource:Theodore_William_Chaundy property:student resource:Kathleen_Ollerenshaw }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q7782103 Q145
P27
Q15617994
USER
Is Theodore William Chaundy an inhabitant of United Kingdom ?
(Q7782103,P27,Q145)
action is_in
entity Q145
action find
entity Q7782103
relation P27
['Q7782103', 'P27', 'Q145']
ASK WHERE { resource:Q7782103 property:P27 resource:Q145 }
Theodore William Chaundy United Kingdom
action is_in
entity United Kingdom
action find
entity Theodore William Chaundy
relation country of citizenship
['Theodore William Chaundy', 'country of citizenship', 'United Kingdom']
ASK WHERE { resource:Theodore_William_Chaundy property:country_of_citizenship resource:United_Kingdom }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q7782103,P27,Q145)
action is_in
entity Q145
action find
entity Q7782103
relation P27
[ANSWER]
['Q7782103', 'P27', 'Q145']
ASK WHERE { resource:Q7782103 property:P27 resource:Q145 }
Yes
action is_in
entity United Kingdom
action find
entity Theodore William Chaundy
relation country of citizenship
['Theodore William Chaundy', 'country of citizenship', 'United Kingdom']
ASK WHERE { resource:Theodore_William_Chaundy property:country_of_citizenship resource:United_Kingdom }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q4998216
P800 P21
Q502895
USER
Which people are accredited with being the author of the notable work Burchnall–Chaundy theory and have the gender as male ?
AND((c(Q502895),P800,Q4998216), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q4998216
relation P800
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P800', 'Q4998216'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?m WHERE { ?m property:P800 resource:Q4998216 . ?m property:P21 resource:Q6581097 . ?m rdf:type ontology:Q502895 }
male Burchnall–Chaundy theory
action filter_type
action intersection
action find_reverse
entity Burchnall–Chaundy theory
relation notable work
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'notable work', 'Burchnall–Chaundy theory'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?m WHERE { ?m property:notable_work resource:Burchnall–Chaundy_theory . ?m property:gender resource:male . ?m rdf:type ontology:common_name }
[]
common name
Q6284811 Q7782103
SYSTEM
Joseph Langley Burchnall, Theodore William Chaundy
Q6284811 Q7782103
AND((c(Q502895),P800,Q4998216), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q4998216
relation P800
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWERS] are accredited with being the author of the notable work Burchnall–Chaundy theory and have the gender as male
{'AND': [[{'concept': 'Q502895'}, 'P800', 'Q4998216'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?m WHERE { ?m property:P800 resource:Q4998216 . ?m property:P21 resource:Q6581097 . ?m rdf:type ontology:Q502895 }
Joseph Langley Burchnall Theodore William Chaundy
Joseph Langley Burchnall and Theodore William Chaundy are accredited with being the author of the notable work Burchnall–Chaundy theory and have the gender as male
Joseph Langley Burchnall Theodore William Chaundy
action filter_type
action intersection
action find_reverse
entity Burchnall–Chaundy theory
relation notable work
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'notable work', 'Burchnall–Chaundy theory'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?m WHERE { ?m property:notable_work resource:Burchnall–Chaundy_theory . ?m property:gender resource:male . ?m rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q483024
P170
Q151885
USER
Were rationalism developed by those people ?
(Q483024,P170,Q6284811) (Q483024,P170,Q7782103)
action is_in
entity prev_answer
action find
entity Q483024
relation P170
['Q483024', 'P170', 'Q6284811'] ['Q483024', 'P170', 'Q7782103']
ASK WHERE { VALUES ( ?j ) { ( resource:Q6284811 ) ( resource:Q7782103 ) } . resource:Q483024 property:P170 ?j }
rationalism
action is_in
entity prev_answer
action find
entity rationalism
relation creator
['rationalism', 'creator', 'Joseph Langley Burchnall'] ['rationalism', 'creator', 'Theodore William Chaundy']
ASK WHERE { VALUES ( ?j ) { ( resource:Joseph_Langley_Burchnall ) ( resource:Theodore_William_Chaundy ) } . resource:rationalism property:creator ?j }
[]
concept
SYSTEM
NO
(Q483024,P170,Q6284811) (Q483024,P170,Q7782103)
action is_in
entity prev_answer
action find
entity Q483024
relation P170
[ANSWER]
['Q483024', 'P170', 'Q6284811'] ['Q483024', 'P170', 'Q7782103']
ASK WHERE { VALUES ( ?j ) { ( resource:Q6284811 ) ( resource:Q7782103 ) } . resource:Q483024 property:P170 ?j }
No
action is_in
entity prev_answer
action find
entity rationalism
relation creator
['rationalism', 'creator', 'Joseph Langley Burchnall'] ['rationalism', 'creator', 'Theodore William Chaundy']
ASK WHERE { VALUES ( ?j ) { ( resource:Joseph_Langley_Burchnall ) ( resource:Theodore_William_Chaundy ) } . resource:rationalism property:creator ?j }
[]