Simple Question (Direct)
Simple Question
Q5240508
P108
Q163740
USER
Which nonprofit organization employs David Trotman ?
(Q5240508,P108,c(Q163740))
action filter_type
action find
entity Q5240508
relation P108
type Q163740
['Q5240508', 'P108', {'concept': 'Q163740'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:Q163740 . resource:Q5240508 property:P108 ?j }
David Trotman
action filter_type
action find
entity David Trotman
relation employer
type nonprofit organization
['David Trotman', 'employer', {'concept': 'nonprofit organization'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:nonprofit_organization . resource:David_Trotman property:employer ?j }
[]
nonprofit organization
Q49115
SYSTEM
Cornell University
Q49115
(Q5240508,P108,c(Q163740))
action filter_type
action find
entity Q5240508
relation P108
type Q163740
[ANSWER] employs David Trotman
['Q5240508', 'P108', {'concept': 'Q163740'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:Q163740 . resource:Q5240508 property:P108 ?j }
Cornell University
Cornell University employs David Trotman
Cornell University
action filter_type
action find
entity David Trotman
relation employer
type nonprofit organization
['David Trotman', 'employer', {'concept': 'nonprofit organization'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:nonprofit_organization . resource:David_Trotman property:employer ?j }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q5240508
P184
Q502895
USER
Who was the doctoral advisor of that one ?
(Q49115,P184,c(Q502895))
action filter_type
action find
entity Q5240508
relation P184
type Q502895
['Q49115', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?v WHERE { resource:Q5240508 property:P184 ?v . ?v rdf:type ontology:Q502895 }
David Trotman
action filter_type
action find
entity David Trotman
relation doctoral advisor
type common name
['Cornell University', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?v WHERE { resource:David_Trotman property:doctoral_advisor ?v . ?v rdf:type ontology:common_name }
[]
common name
Q931311
SYSTEM
Christopher Zeeman
Q931311
(Q49115,P184,c(Q502895))
action filter_type
action find
entity Q5240508
relation P184
type Q502895
The doctoral advisor of that one was the [ANSWER]
['Q49115', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?v WHERE { resource:Q5240508 property:P184 ?v . ?v rdf:type ontology:Q502895 }
Christopher Zeeman
The doctoral advisor of that one was the Christopher Zeeman
Christopher Zeeman
action filter_type
action find
entity David Trotman
relation doctoral advisor
type common name
['Cornell University', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?v WHERE { resource:David_Trotman property:doctoral_advisor ?v . ?v rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q931311
P184 P21
Q502895
USER
Which people have Christopher Zeeman as doctoral supervisor and are a male ?
AND((c(Q502895),P184,Q931311), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q931311
relation P184
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P184', 'Q931311'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?o WHERE { ?o property:P184 resource:Q931311 . ?o property:P21 resource:Q6581097 . ?o rdf:type ontology:Q502895 }
male Christopher Zeeman
action filter_type
action intersection
action find_reverse
entity Christopher Zeeman
relation doctoral advisor
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'doctoral advisor', 'Christopher Zeeman'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?o WHERE { ?o property:doctoral_advisor resource:Christopher_Zeeman . ?o property:gender resource:male . ?o rdf:type ontology:common_name }
[]
common name
Q451621 Q527698 Q7173055 Q2536643 Q5240508
SYSTEM
David B. A. Epstein, C. T. C. Wall, Peter Buneman, W. B. R. Lickorish, David Trotman
Q451621 Q527698 Q7173055 Q2536643 Q5240508
AND((c(Q502895),P184,Q931311), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q931311
relation P184
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWERS] have Christopher Zeeman as doctoral supervisor and are a male
{'AND': [[{'concept': 'Q502895'}, 'P184', 'Q931311'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?o WHERE { ?o property:P184 resource:Q931311 . ?o property:P21 resource:Q6581097 . ?o rdf:type ontology:Q502895 }
David B. A. Epstein C. T. C. Wall Peter Buneman W. B. R. Lickorish David Trotman
David B. A. Epstein, C. T. C. Wall, Peter Buneman, W. B. R. Lickorish and David Trotman have Christopher Zeeman as doctoral supervisor and are a male
David B. A. Epstein C. T. C. Wall Peter Buneman W. B. R. Lickorish David Trotman
action filter_type
action intersection
action find_reverse
entity Christopher Zeeman
relation doctoral advisor
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'doctoral advisor', 'Christopher Zeeman'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?o WHERE { ?o property:doctoral_advisor resource:Christopher_Zeeman . ?o property:gender resource:male . ?o rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q2264253 Q5240508
P106
Q12737077
USER
Which occupations are the job of David Trotman or Benjamin Alire Sáenz ?
OR((Q5240508,P106,c(Q12737077)), (Q2264253,P106,c(Q12737077)))
action filter_type
action union
action find
entity Q5240508
relation P106
action find
entity Q2264253
relation P106
type Q12737077
{'OR': [['Q5240508', 'P106', {'concept': 'Q12737077'}], ['Q2264253', 'P106', {'concept': 'Q12737077'}]]}
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q12737077 . { { resource:Q5240508 property:P106 ?c } UNION { resource:Q2264253 property:P106 ?c } } }
Benjamin Alire Sáenz David Trotman
action filter_type
action union
action find
entity David Trotman
relation occupation
action find
entity Benjamin Alire Sáenz
relation occupation
type occupation
{'OR': [['David Trotman', 'occupation', {'concept': 'occupation'}], ['Benjamin Alire Sáenz', 'occupation', {'concept': 'occupation'}]]}
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:occupation . { { resource:David_Trotman property:occupation ?c } UNION { resource:Benjamin_Alire_Sáenz property:occupation ?c } } }
[]
occupation
Q170790 Q4853732 Q36180 Q6625963 Q49757
SYSTEM
mathematician, children's writer, writer, novelist, poet
Q170790 Q4853732 Q36180 Q6625963 Q49757
OR((Q5240508,P106,c(Q12737077)), (Q2264253,P106,c(Q12737077)))
action filter_type
action union
action find
entity Q5240508
relation P106
action find
entity Q2264253
relation P106
type Q12737077
[ANSWERS]
{'OR': [['Q5240508', 'P106', {'concept': 'Q12737077'}], ['Q2264253', 'P106', {'concept': 'Q12737077'}]]}
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q12737077 . { { resource:Q5240508 property:P106 ?c } UNION { resource:Q2264253 property:P106 ?c } } }
mathematician children's writer writer novelist poet
The mathematician, children's writer, novelist and poet are the job of David Trotman or Benjamin Alire Sáenz
mathematician children's writer writer novelist poet
action filter_type
action union
action find
entity David Trotman
relation occupation
action find
entity Benjamin Alire Sáenz
relation occupation
type occupation
{'OR': [['David Trotman', 'occupation', {'concept': 'occupation'}], ['Benjamin Alire Sáenz', 'occupation', {'concept': 'occupation'}]]}
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:occupation . { { resource:David_Trotman property:occupation ?c } UNION { resource:Benjamin_Alire_Sáenz property:occupation ?c } } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q453698
P417
Q502895 Q12737077
USER
Which people are the patron saint of more number of occupations than Saint Amand ?
(c(Q12737077),P417,c(Q502895))
action greater
action find_reverse_tuple_counts
relation P417
type Q502895
type Q12737077
action count
action filter_type
action find
entity Q453698
relation P417
type Q502895
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?m ) AS ?t ) WHERE { ?k rdf:type ontology:Q502895 . ?m rdf:type ontology:Q12737077 . ?m property:P417 ?k } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?j ) WHERE { resource:Q453698 property:P417 ?w . ?w rdf:type ontology:Q502895 } } . FILTER ( ?t > ?j ) }
Saint Amand
action greater
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
action count
action filter_type
action find
entity Saint Amand
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?m ) AS ?t ) WHERE { ?k rdf:type ontology:common_name . ?m rdf:type ontology:occupation . ?m property:patron_saint ?k } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?j ) WHERE { resource:Saint_Amand property:patron_saint ?w . ?w rdf:type ontology:common_name } } . FILTER ( ?t > ?j ) }
[]
common name occupation
Q166876 Q229190 Q44248
SYSTEM
Isidore of Seville, Catherine of Siena, Jerome
Q229190 Q328804 Q166876 Q170547 Q128538 Q183240 Q196653 Q44265 Q192816 Q43982 Q179718 Q43600 Q744884 Q151967 Q200895 Q44248
(c(Q12737077),P417,c(Q502895))
action greater
action find_reverse_tuple_counts
relation P417
type Q502895
type Q12737077
action count
action filter_type
action find
entity Q453698
relation P417
type Q502895
[ANSWERS] are the patron saint of more number of occupations than Saint Amand
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?m ) AS ?t ) WHERE { ?k rdf:type ontology:Q502895 . ?m rdf:type ontology:Q12737077 . ?m property:P417 ?k } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?j ) WHERE { resource:Q453698 property:P417 ?w . ?w rdf:type ontology:Q502895 } } . FILTER ( ?t > ?j ) }
Catherine of Siena John the Evangelist Isidore of Seville Anthony the Great Luke the Evangelist Saint Lucy Saint Veronica Benedict of Nursia Saint Barbara Bartholomew the Apostle Catherine of Alexandria Matthew the Apostle Zita Saint Blaise Agatha of Sicily Jerome
Isidore of Seville, Catherine of Siena and Jerome are the patron saint of more number of occupations than Saint Amand
Isidore of Seville Catherine of Siena Jerome
action greater
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
action count
action filter_type
action find
entity Saint Amand
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?m ) AS ?t ) WHERE { ?k rdf:type ontology:common_name . ?m rdf:type ontology:occupation . ?m property:patron_saint ?k } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?j ) WHERE { resource:Saint_Amand property:patron_saint ?w . ?w rdf:type ontology:common_name } } . FILTER ( ?t > ?j ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q287916
P417
Q502895 Q12737077
USER
And how about Finbarr of Cork?
(c(Q12737077),P417,c(Q502895))
action greater
action find_reverse_tuple_counts
relation P417
type Q502895
type Q12737077
action count
action filter_type
action find
entity Q287916
relation P417
type Q502895
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?a ) AS ?s ) WHERE { ?w rdf:type ontology:Q502895 . ?a rdf:type ontology:Q12737077 . ?a property:P417 ?w } GROUP BY ?w } . FILTER ( ?s > ?m ) . { SELECT DISTINCT ( COUNT ( ?g ) AS ?m ) WHERE { resource:Q287916 property:P417 ?g . ?g rdf:type ontology:Q502895 } } }
Finbarr of Cork
action greater
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
action count
action filter_type
action find
entity Finbarr of Cork
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?a ) AS ?s ) WHERE { ?w rdf:type ontology:common_name . ?a rdf:type ontology:occupation . ?a property:patron_saint ?w } GROUP BY ?w } . FILTER ( ?s > ?m ) . { SELECT DISTINCT ( COUNT ( ?g ) AS ?m ) WHERE { resource:Finbarr_of_Cork property:patron_saint ?g . ?g rdf:type ontology:common_name } } }
[]
common name occupation
Q9438 Q60059 Q166876
SYSTEM
Thomas Aquinas, Albertus Magnus, Isidore of Seville
Q453698 Q229190 Q152457 Q43689 Q328804 Q166876 Q163900 Q170547 Q212850 Q374822 Q9438 Q130997 Q312758 Q5575577 Q191107 Q242274 Q128538 Q183240 Q119289 Q360798 Q298845 Q48438 Q119512 Q44281 Q170164 Q43399 Q196653 Q508214 Q9200 Q193507 Q463600 Q43669 Q44265 Q192816 Q43982 Q179718 Q40662 Q332656 Q320171 Q137947 Q80513 Q43600 Q324700 Q744884 Q44015 Q151967 Q149727 Q232427 Q60059 Q17590 Q271474 Q200895 Q44248 Q276148
(c(Q12737077),P417,c(Q502895))
action greater
action find_reverse_tuple_counts
relation P417
type Q502895
type Q12737077
action count
action filter_type
action find
entity Q287916
relation P417
type Q502895
[ANSWERS]
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?a ) AS ?s ) WHERE { ?w rdf:type ontology:Q502895 . ?a rdf:type ontology:Q12737077 . ?a property:P417 ?w } GROUP BY ?w } . FILTER ( ?s > ?m ) . { SELECT DISTINCT ( COUNT ( ?g ) AS ?m ) WHERE { resource:Q287916 property:P417 ?g . ?g rdf:type ontology:Q502895 } } }
Saint Amand Catherine of Siena Saint Roch Ambrose John the Evangelist Isidore of Seville Saint Francis Xavier Anthony the Great Vitus Adrian of Nicomedia Thomas Aquinas Damasus I Jean-Baptiste de La Salle Gobnait Clare of Assisi Dorothea of Caesarea Luke the Evangelist Saint Lucy Leonard of Port Maurice Saint Eligius Saint Florian Saint George William of Maleval Ignatius of Loyola Helena of Constantinople Andrew Saint Veronica Cyriacus Paul Saint Christopher Saint Petronilla Thomas the Apostle Benedict of Nursia Saint Barbara Bartholomew the Apostle Catherine of Alexandria John the Baptist Camillus de Lellis John of God Alexius of Rome Saint Cecilia Matthew the Apostle Urban of Langres Zita John the Apostle Saint Blaise Saint Giles Saint Apollonia Albertus Magnus Lawrence of Rome Joseph of Arimathea Agatha of Sicily Jerome Charalampus
Thomas Aquinas Albertus Magnus Isidore of Seville
action greater
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
action count
action filter_type
action find
entity Finbarr of Cork
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?a ) AS ?s ) WHERE { ?w rdf:type ontology:common_name . ?a rdf:type ontology:occupation . ?a property:patron_saint ?w } GROUP BY ?w } . FILTER ( ?s > ?m ) . { SELECT DISTINCT ( COUNT ( ?g ) AS ?m ) WHERE { resource:Finbarr_of_Cork property:patron_saint ?g . ?g rdf:type ontology:common_name } } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q7722156
P674
Q223393
USER
Do The Charcoal Burner have the character those people ?
(Q7722156,P674,Q9438) (Q7722156,P674,Q60059) (Q7722156,P674,Q166876)
action is_in
entity prev_answer
action find
entity Q7722156
relation P674
['Q7722156', 'P674', 'Q9438'] ['Q7722156', 'P674', 'Q60059'] ['Q7722156', 'P674', 'Q166876']
ASK WHERE { resource:Q7722156 property:P674 ?j . VALUES ( ?j ) { ( resource:Q453698 ) ( resource:Q229190 ) ( resource:Q152457 ) } }
The Charcoal Burner
action is_in
entity prev_answer
action find
entity The Charcoal Burner
relation characters
['The Charcoal Burner', 'characters', 'Thomas Aquinas'] ['The Charcoal Burner', 'characters', 'Albertus Magnus'] ['The Charcoal Burner', 'characters', 'Isidore of Seville']
ASK WHERE { resource:The_Charcoal_Burner property:characters ?j . VALUES ( ?j ) { ( resource:Saint_Amand ) ( resource:Catherine_of_Siena ) ( resource:Saint_Roch ) } }
[]
literary genre
SYSTEM
NO
(Q7722156,P674,Q9438) (Q7722156,P674,Q60059) (Q7722156,P674,Q166876)
action is_in
entity prev_answer
action find
entity Q7722156
relation P674
[ANSWER]
['Q7722156', 'P674', 'Q9438'] ['Q7722156', 'P674', 'Q60059'] ['Q7722156', 'P674', 'Q166876']
ASK WHERE { resource:Q7722156 property:P674 ?j . VALUES ( ?j ) { ( resource:Q453698 ) ( resource:Q229190 ) ( resource:Q152457 ) } }
No
action is_in
entity prev_answer
action find
entity The Charcoal Burner
relation characters
['The Charcoal Burner', 'characters', 'Thomas Aquinas'] ['The Charcoal Burner', 'characters', 'Albertus Magnus'] ['The Charcoal Burner', 'characters', 'Isidore of Seville']
ASK WHERE { resource:The_Charcoal_Burner property:characters ?j . VALUES ( ?j ) { ( resource:Saint_Amand ) ( resource:Catherine_of_Siena ) ( resource:Saint_Roch ) } }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q7173055 Q21622482
P184
Q502895
USER
Was Connor Rankin the doctoral superviser of Peter Buneman ?
(Q7173055,P184,Q21622482)
action is_in
entity Q21622482
action find
entity Q7173055
relation P184
['Q7173055', 'P184', 'Q21622482']
ASK WHERE { resource:Q7173055 property:P184 resource:Q21622482 }
Peter Buneman Connor Rankin
action is_in
entity Connor Rankin
action find
entity Peter Buneman
relation doctoral advisor
['Peter Buneman', 'doctoral advisor', 'Connor Rankin']
ASK WHERE { resource:Peter_Buneman property:doctoral_advisor resource:Connor_Rankin }
[]
common name
SYSTEM
NO
(Q7173055,P184,Q21622482)
action is_in
entity Q21622482
action find
entity Q7173055
relation P184
[ANSWER]
['Q7173055', 'P184', 'Q21622482']
ASK WHERE { resource:Q7173055 property:P184 resource:Q21622482 }
No
action is_in
entity Connor Rankin
action find
entity Peter Buneman
relation doctoral advisor
['Peter Buneman', 'doctoral advisor', 'Connor Rankin']
ASK WHERE { resource:Peter_Buneman property:doctoral_advisor resource:Connor_Rankin }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q451621 Q145
P27
Q15617994
USER
Is United Kingdom the country of citizenship of David B. A. Epstein ?
(Q451621,P27,Q145)
action is_in
entity Q145
action find
entity Q451621
relation P27
['Q451621', 'P27', 'Q145']
ASK WHERE { resource:Q451621 property:P27 resource:Q145 }
David B. A. Epstein United Kingdom
action is_in
entity United Kingdom
action find
entity David B. A. Epstein
relation country of citizenship
['David B. A. Epstein', 'country of citizenship', 'United Kingdom']
ASK WHERE { resource:David_B._A._Epstein property:country_of_citizenship resource:United_Kingdom }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q451621,P27,Q145)
action is_in
entity Q145
action find
entity Q451621
relation P27
[ANSWER]
['Q451621', 'P27', 'Q145']
ASK WHERE { resource:Q451621 property:P27 resource:Q145 }
Yes
action is_in
entity United Kingdom
action find
entity David B. A. Epstein
relation country of citizenship
['David B. A. Epstein', 'country of citizenship', 'United Kingdom']
ASK WHERE { resource:David_B._A._Epstein property:country_of_citizenship resource:United_Kingdom }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q451621
P166
Q24016972
USER
What was received by that person ?
action filter_type
action find
entity Q451621
relation P166
type Q24016972
SELECT DISTINCT ?q WHERE { resource:Q451621 property:P166 ?q . ?q rdf:type ontology:Q24016972 }
David B. A. Epstein
action filter_type
action find
entity David B. A. Epstein
relation award received
type type of distinction
SELECT DISTINCT ?q WHERE { resource:David_B._A._Epstein property:award_received ?q . ?q rdf:type ontology:type_of_distinction }
[]
type of distinction
Q15631401
SYSTEM
Fellow of the Royal Society
Q15631401
action filter_type
action find
entity Q451621
relation P166
type Q24016972
The [ANSWER] was received by that person
SELECT DISTINCT ?q WHERE { resource:Q451621 property:P166 ?q . ?q rdf:type ontology:Q24016972 }
Fellow of the Royal Society
The Fellow of the Royal Society was received by that person
Fellow of the Royal Society
action filter_type
action find
entity David B. A. Epstein
relation award received
type type of distinction
SELECT DISTINCT ?q WHERE { resource:David_B._A._Epstein property:award_received ?q . ?q rdf:type ontology:type_of_distinction }
[]