Simple Question (Direct)
Simple Question
Q326172
P607
Q198
USER
Which wars did John A. Samford take part in ?
(Q326172,P607,c(Q198))
action filter_type
action find
entity Q326172
relation P607
type Q198
['Q326172', 'P607', {'concept': 'Q198'}]
SELECT DISTINCT ?m WHERE { resource:Q326172 property:P607 ?m . ?m rdf:type ontology:Q198 }
John A. Samford
action filter_type
action find
entity John A. Samford
relation conflict
type war
['John A. Samford', 'conflict', {'concept': 'war'}]
SELECT DISTINCT ?m WHERE { resource:John_A._Samford property:conflict ?m . ?m rdf:type ontology:war }
[]
war
Q8683 Q362
SYSTEM
Cold War, World War II
Q8683 Q362
(Q326172,P607,c(Q198))
action filter_type
action find
entity Q326172
relation P607
type Q198
Part John A. Samford took in the [ANSWERS]
['Q326172', 'P607', {'concept': 'Q198'}]
SELECT DISTINCT ?m WHERE { resource:Q326172 property:P607 ?m . ?m rdf:type ontology:Q198 }
Cold War World War II
Part John A. Samford took in the Cold War and World War II
Cold War World War II
action filter_type
action find
entity John A. Samford
relation conflict
type war
['John A. Samford', 'conflict', {'concept': 'war'}]
SELECT DISTINCT ?m WHERE { resource:John_A._Samford property:conflict ?m . ?m rdf:type ontology:war }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q326172
P69
Q1935049
USER
Where was that person educated ?
(Q8683,P69,c(Q1935049)) (Q362,P69,c(Q1935049))
action filter_type
action find
entity Q326172
relation P69
type Q1935049
['Q8683', 'P69', {'concept': 'Q1935049'}] ['Q362', 'P69', {'concept': 'Q1935049'}]
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:Q1935049 . resource:Q326172 property:P69 ?i }
John A. Samford
action filter_type
action find
entity John A. Samford
relation educated at
type military school
['Cold War', 'educated at', {'concept': 'military school'}] ['World War II', 'educated at', {'concept': 'military school'}]
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:military_school . resource:John_A._Samford property:educated_at ?i }
[]
military school
Q9219
SYSTEM
United States Military Academy at West Point
Q9219
(Q8683,P69,c(Q1935049)) (Q362,P69,c(Q1935049))
action filter_type
action find
entity Q326172
relation P69
type Q1935049
Educated that person was the [ANSWER]
['Q8683', 'P69', {'concept': 'Q1935049'}] ['Q362', 'P69', {'concept': 'Q1935049'}]
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:Q1935049 . resource:Q326172 property:P69 ?i }
United States Military Academy at West Point
Educated that person was the United States Military Academy at West Point
United States Military Academy at West Point
action filter_type
action find
entity John A. Samford
relation educated at
type military school
['Cold War', 'educated at', {'concept': 'military school'}] ['World War II', 'educated at', {'concept': 'military school'}]
SELECT DISTINCT ?i WHERE { ?i rdf:type ontology:military_school . resource:John_A._Samford property:educated_at ?i }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q326172
P106
Q12737077
USER
What are the professions of that person ?
(Q9219,P106,c(Q12737077))
action filter_type
action find
entity Q326172
relation P106
type Q12737077
['Q9219', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:Q12737077 . resource:Q326172 property:P106 ?y }
John A. Samford
action filter_type
action find
entity John A. Samford
relation occupation
type occupation
['United States Military Academy at West Point', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:occupation . resource:John_A._Samford property:occupation ?y }
[]
occupation
Q189290 Q2095549
SYSTEM
officer, aviator
Q189290 Q2095549
(Q9219,P106,c(Q12737077))
action filter_type
action find
entity Q326172
relation P106
type Q12737077
The professions of that person are flying [ANSWERS]
['Q9219', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:Q12737077 . resource:Q326172 property:P106 ?y }
officer aviator
The professions of that person are flying officer and aviator
officer aviator
action filter_type
action find
entity John A. Samford
relation occupation
type occupation
['United States Military Academy at West Point', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:occupation . resource:John_A._Samford property:occupation ?y }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q103556
P417
Q502895 Q12737077
USER
Which people are the patron saints of greater number of occupations than Henry II, Holy Roman Emperor ?
(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 Q103556
relation P417
type Q502895
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?e ) AS ?v ) WHERE { ?e property:P417 ?h . ?h rdf:type ontology:Q502895 . ?e rdf:type ontology:Q12737077 } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?t ) WHERE { resource:Q103556 property:P417 ?y . ?y rdf:type ontology:Q502895 } } . FILTER ( ?v > ?t ) }
Henry II, Holy Roman Emperor
action greater
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
action count
action filter_type
action find
entity Henry II, Holy Roman Emperor
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?e ) AS ?v ) WHERE { ?e property:patron_saint ?h . ?h rdf:type ontology:common_name . ?e rdf:type ontology:occupation } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?t ) WHERE { resource:Henry_II,_Holy_Roman_Emperor property:patron_saint ?y . ?y rdf:type ontology:common_name } } . FILTER ( ?v > ?t ) }
[]
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 Q103556
relation P417
type Q502895
[ANSWERS] are the patron saints of greater number of occupations than Henry II, Holy Roman Emperor
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?e ) AS ?v ) WHERE { ?e property:P417 ?h . ?h rdf:type ontology:Q502895 . ?e rdf:type ontology:Q12737077 } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?t ) WHERE { resource:Q103556 property:P417 ?y . ?y rdf:type ontology:Q502895 } } . FILTER ( ?v > ?t ) }
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 and Isidore of Seville are the patron saints of greater number of occupations than Henry II, Holy Roman Emperor
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 Henry II, Holy Roman Emperor
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?e ) AS ?v ) WHERE { ?e property:patron_saint ?h . ?h rdf:type ontology:common_name . ?e rdf:type ontology:occupation } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?t ) WHERE { resource:Henry_II,_Holy_Roman_Emperor property:patron_saint ?y . ?y rdf:type ontology:common_name } } . FILTER ( ?v > ?t ) }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q19305084 Q326172
P276 P20
Q56061
USER
Which administrative territories did John A. Samford die or are Koarte Achte situated ?
OR((Q326172,P20,c(Q56061)), (Q19305084,P276,c(Q56061)))
action filter_type
action union
action find
entity Q326172
relation P20
action find
entity Q19305084
relation P276
type Q56061
{'OR': [['Q326172', 'P20', {'concept': 'Q56061'}], ['Q19305084', 'P276', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q326172 property:P20 ?s } UNION { resource:Q19305084 property:P276 ?s } } . ?s rdf:type ontology:Q56061 }
Koarte Achte John A. Samford
action filter_type
action union
action find
entity John A. Samford
relation place of death
action find
entity Koarte Achte
relation location
type administrative territorial entity
{'OR': [['John A. Samford', 'place of death', {'concept': 'administrative territorial entity'}], ['Koarte Achte', 'location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:John_A._Samford property:place_of_death ?s } UNION { resource:Koarte_Achte property:location ?s } } . ?s rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q2667816 Q61
SYSTEM
Scharnegoutum, Washington, D.C.
Q2667816 Q61
OR((Q326172,P20,c(Q56061)), (Q19305084,P276,c(Q56061)))
action filter_type
action union
action find
entity Q326172
relation P20
action find
entity Q19305084
relation P276
type Q56061
[ANSWERS]
{'OR': [['Q326172', 'P20', {'concept': 'Q56061'}], ['Q19305084', 'P276', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q326172 property:P20 ?s } UNION { resource:Q19305084 property:P276 ?s } } . ?s rdf:type ontology:Q56061 }
Scharnegoutum Washington, D.C.
Scharnegoutum and Washington, D.C. did John A. Samford die or are Koarte Achte situated
Scharnegoutum Washington, D.C.
action filter_type
action union
action find
entity John A. Samford
relation place of death
action find
entity Koarte Achte
relation location
type administrative territorial entity
{'OR': [['John A. Samford', 'place of death', {'concept': 'administrative territorial entity'}], ['Koarte Achte', 'location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:John_A._Samford property:place_of_death ?s } UNION { resource:Koarte_Achte property:location ?s } } . ?s rdf:type ontology:administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q366270 Q60059
P674
Q223393
USER
Which literary genres have the character Albertus Magnus and Guido Guinizelli ?
AND((c(Q223393),P674,Q60059), (c(Q223393),P674,Q366270))
action filter_type
action intersection
action find_reverse
entity Q60059
relation P674
action find_reverse
entity Q366270
relation P674
type Q223393
{'AND': [[{'concept': 'Q223393'}, 'P674', 'Q60059'], [{'concept': 'Q223393'}, 'P674', 'Q366270']]}
SELECT DISTINCT ?p WHERE { ?p property:P674 resource:Q60059 . ?p property:P674 resource:Q366270 . ?p rdf:type ontology:Q223393 }
Guido Guinizelli Albertus Magnus
action filter_type
action intersection
action find_reverse
entity Albertus Magnus
relation characters
action find_reverse
entity Guido Guinizelli
relation characters
type literary genre
{'AND': [[{'concept': 'literary genre'}, 'characters', 'Albertus Magnus'], [{'concept': 'literary genre'}, 'characters', 'Guido Guinizelli']]}
SELECT DISTINCT ?p WHERE { ?p property:characters resource:Albertus_Magnus . ?p property:characters resource:Guido_Guinizelli . ?p rdf:type ontology:literary_genre }
[]
literary genre
Q40185
SYSTEM
The Divine Comedy
Q40185
AND((c(Q223393),P674,Q60059), (c(Q223393),P674,Q366270))
action filter_type
action intersection
action find_reverse
entity Q60059
relation P674
action find_reverse
entity Q366270
relation P674
type Q223393
[ANSWER] have the character Albertus Magnus and Guido Guinizelli
{'AND': [[{'concept': 'Q223393'}, 'P674', 'Q60059'], [{'concept': 'Q223393'}, 'P674', 'Q366270']]}
SELECT DISTINCT ?p WHERE { ?p property:P674 resource:Q60059 . ?p property:P674 resource:Q366270 . ?p rdf:type ontology:Q223393 }
The Divine Comedy
The Divine Comedy have the character Albertus Magnus and Guido Guinizelli
The Divine Comedy
action filter_type
action intersection
action find_reverse
entity Albertus Magnus
relation characters
action find_reverse
entity Guido Guinizelli
relation characters
type literary genre
{'AND': [[{'concept': 'literary genre'}, 'characters', 'Albertus Magnus'], [{'concept': 'literary genre'}, 'characters', 'Guido Guinizelli']]}
SELECT DISTINCT ?p WHERE { ?p property:characters resource:Albertus_Magnus . ?p property:characters resource:Guido_Guinizelli . ?p rdf:type ontology:literary_genre }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q40185
P361
Q2342494
USER
Which collectables are a part of that literary genre ?
(c(Q2342494),P361,Q40185)
action filter_type
action find_reverse
entity Q40185
relation P361
type Q2342494
[{'concept': 'Q2342494'}, 'P361', 'Q40185']
SELECT DISTINCT ?k WHERE { ?k property:P361 resource:Q40185 . ?k rdf:type ontology:Q2342494 }
The Divine Comedy
action filter_type
action find_reverse
entity The Divine Comedy
relation part of
type collectable
[{'concept': 'collectable'}, 'part of', 'The Divine Comedy']
SELECT DISTINCT ?k WHERE { ?k property:part_of resource:The_Divine_Comedy . ?k rdf:type ontology:collectable }
[]
collectable
Q2713307 Q605018 Q4509219
SYSTEM
Paradiso, Purgatorio, Inferno
Q2713307 Q605018 Q4509219
(c(Q2342494),P361,Q40185)
action filter_type
action find_reverse
entity Q40185
relation P361
type Q2342494
[ANSWERS] are a part of that literary genre
[{'concept': 'Q2342494'}, 'P361', 'Q40185']
SELECT DISTINCT ?k WHERE { ?k property:P361 resource:Q40185 . ?k rdf:type ontology:Q2342494 }
Paradiso Purgatorio Inferno
Paradiso, Purgatorio and Inferno are a part of that literary genre
Paradiso Purgatorio Inferno
action filter_type
action find_reverse
entity The Divine Comedy
relation part of
type collectable
[{'concept': 'collectable'}, 'part of', 'The Divine Comedy']
SELECT DISTINCT ?k WHERE { ?k property:part_of resource:The_Divine_Comedy . ?k rdf:type ontology:collectable }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q4509219
P50
Q502895
USER
Who was the writer of Inferno ?
(Q4509219,P50,c(Q502895))
action filter_type
action find
entity Q4509219
relation P50
type Q502895
['Q4509219', 'P50', {'concept': 'Q502895'}]
SELECT DISTINCT ?a WHERE { resource:Q4509219 property:P50 ?a . ?a rdf:type ontology:Q502895 }
Inferno
action filter_type
action find
entity Inferno
relation author
type common name
['Inferno', 'author', {'concept': 'common name'}]
SELECT DISTINCT ?a WHERE { resource:Inferno property:author ?a . ?a rdf:type ontology:common_name }
[]
common name
Q1067
SYSTEM
Dante Alighieri
Q1067
(Q4509219,P50,c(Q502895))
action filter_type
action find
entity Q4509219
relation P50
type Q502895
The writer of Inferno was the [ANSWER]
['Q4509219', 'P50', {'concept': 'Q502895'}]
SELECT DISTINCT ?a WHERE { resource:Q4509219 property:P50 ?a . ?a rdf:type ontology:Q502895 }
Dante Alighieri
The writer of Inferno was the Dante Alighieri
Dante Alighieri
action filter_type
action find
entity Inferno
relation author
type common name
['Inferno', 'author', {'concept': 'common name'}]
SELECT DISTINCT ?a WHERE { resource:Inferno property:author ?a . ?a rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q1067 Q93356
P737
Q502895
USER
Was that one an influence for Seamus Heaney ?
(Q93356,P737,Q1067)
action is_in
entity Q1067
action find
entity Q93356
relation P737
['Q93356', 'P737', 'Q1067']
ASK WHERE { resource:Q93356 property:P737 resource:Q1067 }
Dante Alighieri Seamus Heaney
action is_in
entity Dante Alighieri
action find
entity Seamus Heaney
relation influenced by
['Seamus Heaney', 'influenced by', 'Dante Alighieri']
ASK WHERE { resource:Seamus_Heaney property:influenced_by resource:Dante_Alighieri }
[]
common name
SYSTEM
YES
(Q93356,P737,Q1067)
action is_in
entity Q1067
action find
entity Q93356
relation P737
[ANSWER]
['Q93356', 'P737', 'Q1067']
ASK WHERE { resource:Q93356 property:P737 resource:Q1067 }
Yes
action is_in
entity Dante Alighieri
action find
entity Seamus Heaney
relation influenced by
['Seamus Heaney', 'influenced by', 'Dante Alighieri']
ASK WHERE { resource:Seamus_Heaney property:influenced_by resource:Dante_Alighieri }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q1067
P21 P40
Q502895
USER
Which people have Dante Alighieri as an offspring and have male as the sex ?
AND((c(Q502895),P40,Q1067), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q1067
relation P40
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P40', 'Q1067'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?e WHERE { ?e property:P40 resource:Q1067 . ?e property:P21 resource:Q6581097 . ?e rdf:type ontology:Q502895 }
male Dante Alighieri
action filter_type
action intersection
action find_reverse
entity Dante Alighieri
relation child
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'child', 'Dante Alighieri'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?e WHERE { ?e property:child resource:Dante_Alighieri . ?e property:gender resource:male . ?e rdf:type ontology:common_name }
[]
common name
Q3611787
SYSTEM
Alighiero di Bellincione
Q3611787
AND((c(Q502895),P40,Q1067), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q1067
relation P40
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWER] have Dante Alighieri as an offspring and have male as the sex
{'AND': [[{'concept': 'Q502895'}, 'P40', 'Q1067'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?e WHERE { ?e property:P40 resource:Q1067 . ?e property:P21 resource:Q6581097 . ?e rdf:type ontology:Q502895 }
Alighiero di Bellincione
Alighiero di Bellincione have Dante Alighieri as an offspring and have male as the sex
Alighiero di Bellincione
action filter_type
action intersection
action find_reverse
entity Dante Alighieri
relation child
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'child', 'Dante Alighieri'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?e WHERE { ?e property:child resource:Dante_Alighieri . ?e property:gender resource:male . ?e rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q3611787 Q3749520
P40
Q502895
USER
Is Francesco Alighieri an offspring of that one ?
(Q3611787,P40,Q3749520)
action is_in
entity Q3749520
action find
entity Q3611787
relation P40
['Q3611787', 'P40', 'Q3749520']
ASK WHERE { resource:Q3611787 property:P40 resource:Q3749520 }
Alighiero di Bellincione Francesco Alighieri
action is_in
entity Francesco Alighieri
action find
entity Alighiero di Bellincione
relation child
['Alighiero di Bellincione', 'child', 'Francesco Alighieri']
ASK WHERE { resource:Alighiero_di_Bellincione property:child resource:Francesco_Alighieri }
[]
common name
SYSTEM
YES
(Q3611787,P40,Q3749520)
action is_in
entity Q3749520
action find
entity Q3611787
relation P40
[ANSWER]
['Q3611787', 'P40', 'Q3749520']
ASK WHERE { resource:Q3611787 property:P40 resource:Q3749520 }
Yes
action is_in
entity Francesco Alighieri
action find
entity Alighiero di Bellincione
relation child
['Alighiero di Bellincione', 'child', 'Francesco Alighieri']
ASK WHERE { resource:Alighiero_di_Bellincione property:child resource:Francesco_Alighieri }
[]