Simple Question (Direct)
Simple Question
Q382527
P20
Q56061
USER
Where did Ernest Kombo expire ?
(Q382527,P20,c(Q56061))
action filter_type
action find
entity Q382527
relation P20
type Q56061
['Q382527', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?m WHERE { resource:Q382527 property:P20 ?m . ?m rdf:type ontology:Q56061 }
Ernest Kombo
action filter_type
action find
entity Ernest Kombo
relation place of death
type administrative territorial entity
['Ernest Kombo', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { resource:Ernest_Kombo property:place_of_death ?m . ?m rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q90
SYSTEM
Paris
Q90
(Q382527,P20,c(Q56061))
action filter_type
action find
entity Q382527
relation P20
type Q56061
Ernest Kombo expired [ANSWER]
['Q382527', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?m WHERE { resource:Q382527 property:P20 ?m . ?m rdf:type ontology:Q56061 }
Paris
Ernest Kombo expired Paris
Paris
action filter_type
action find
entity Ernest Kombo
relation place of death
type administrative territorial entity
['Ernest Kombo', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { resource:Ernest_Kombo property:place_of_death ?m . ?m rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q382527
P140
Q874405
USER
Which social group does Ernest Kombo relate to ?
(Q382527,P140,c(Q874405))
action filter_type
action find
entity Q382527
relation P140
type Q874405
['Q382527', 'P140', {'concept': 'Q874405'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:Q874405 . resource:Q382527 property:P140 ?m }
Ernest Kombo
action filter_type
action find
entity Ernest Kombo
relation religion
type social group
['Ernest Kombo', 'religion', {'concept': 'social group'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:social_group . resource:Ernest_Kombo property:religion ?m }
[]
social group
Q1841
SYSTEM
Catholicism
Q1841
(Q382527,P140,c(Q874405))
action filter_type
action find
entity Q382527
relation P140
type Q874405
Ernest Kombo relates to [ANSWER]
['Q382527', 'P140', {'concept': 'Q874405'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:Q874405 . resource:Q382527 property:P140 ?m }
Catholicism
Ernest Kombo relates to Catholicism
Catholicism
action filter_type
action find
entity Ernest Kombo
relation religion
type social group
['Ernest Kombo', 'religion', {'concept': 'social group'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:social_group . resource:Ernest_Kombo property:religion ?m }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q1841 Q5274664
P140
Q502895
USER
Does Diego Francisco Altamirano have that social group as religious affiliation ?
(Q5274664,P140,Q1841)
action is_in
entity Q1841
action find
entity Q5274664
relation P140
['Q5274664', 'P140', 'Q1841']
ASK WHERE { resource:Q5274664 property:P140 resource:Q1841 }
Catholicism Diego Francisco Altamirano
action is_in
entity Catholicism
action find
entity Diego Francisco Altamirano
relation religion
['Diego Francisco Altamirano', 'religion', 'Catholicism']
ASK WHERE { resource:Diego_Francisco_Altamirano property:religion resource:Catholicism }
[]
common name
SYSTEM
YES
(Q5274664,P140,Q1841)
action is_in
entity Q1841
action find
entity Q5274664
relation P140
[ANSWER]
['Q5274664', 'P140', 'Q1841']
ASK WHERE { resource:Q5274664 property:P140 resource:Q1841 }
Yes
action is_in
entity Catholicism
action find
entity Diego Francisco Altamirano
relation religion
['Diego Francisco Altamirano', 'religion', 'Catholicism']
ASK WHERE { resource:Diego_Francisco_Altamirano property:religion resource:Catholicism }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P180
Q56061 Q3305213 Q2342494
USER
How many administrative territories are demonstrated in approximately 2 paintings or collectables ?
(c(Q3305213)|c(Q2342494),P180,c(Q56061))
action count
action approx
action union
action find_reverse_tuple_counts
relation P180
type Q56061
type Q3305213
action find_reverse_tuple_counts
relation P180
type Q56061
type Q2342494
value 2
[[{'concept': 'Q3305213'}, {'concept': 'Q2342494'}], 'P180', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?e ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?y ) AS ?w ) WHERE { { ?y rdf:type ontology:Q3305213 . ?t rdf:type ontology:Q56061 . ?y property:P180 ?t } UNION { ?y property:P180 ?t . ?t rdf:type ontology:Q56061 . ?y rdf:type ontology:Q2342494 } } GROUP BY ?t } . FILTER ( ?w = 2 ) }
action count
action approx
action union
action find_reverse_tuple_counts
relation depicts
type administrative territorial entity
type painting
action find_reverse_tuple_counts
relation depicts
type administrative territorial entity
type collectable
value 2
[[{'concept': 'painting'}, {'concept': 'collectable'}], 'depicts', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?e ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?y ) AS ?w ) WHERE { { ?y rdf:type ontology:painting . ?t rdf:type ontology:administrative_territorial_entity . ?y property:depicts ?t } UNION { ?y property:depicts ?t . ?t rdf:type ontology:administrative_territorial_entity . ?y rdf:type ontology:collectable } } GROUP BY ?t } . FILTER ( ?w = 2 ) }
[]
administrative territorial entity painting collectable
SYSTEM
3
Q515 Q85 Q36600
(c(Q3305213)|c(Q2342494),P180,c(Q56061))
action count
action approx
action union
action find_reverse_tuple_counts
relation P180
type Q56061
type Q3305213
action find_reverse_tuple_counts
relation P180
type Q56061
type Q2342494
value 2
[ANSWER]
[[{'concept': 'Q3305213'}, {'concept': 'Q2342494'}], 'P180', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?e ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?y ) AS ?w ) WHERE { { ?y rdf:type ontology:Q3305213 . ?t rdf:type ontology:Q56061 . ?y property:P180 ?t } UNION { ?y property:P180 ?t . ?t rdf:type ontology:Q56061 . ?y rdf:type ontology:Q2342494 } } GROUP BY ?t } . FILTER ( ?w = 2 ) }
city Cairo The Hague
3
action count
action approx
action union
action find_reverse_tuple_counts
relation depicts
type administrative territorial entity
type painting
action find_reverse_tuple_counts
relation depicts
type administrative territorial entity
type collectable
value 2
[[{'concept': 'painting'}, {'concept': 'collectable'}], 'depicts', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?e ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?y ) AS ?w ) WHERE { { ?y rdf:type ontology:painting . ?t rdf:type ontology:administrative_territorial_entity . ?y property:depicts ?t } UNION { ?y property:depicts ?t . ?t rdf:type ontology:administrative_territorial_entity . ?y rdf:type ontology:collectable } } GROUP BY ?t } . FILTER ( ?w = 2 ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q382527
P106
Q12737077
USER
Which occupations have Ernest Kombo as his/her 's career ?
(Q382527,P106,c(Q12737077))
action filter_type
action find
entity Q382527
relation P106
type Q12737077
['Q382527', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?i WHERE { resource:Q382527 property:P106 ?i . ?i rdf:type ontology:Q12737077 }
Ernest Kombo
action filter_type
action find
entity Ernest Kombo
relation occupation
type occupation
['Ernest Kombo', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?i WHERE { resource:Ernest_Kombo property:occupation ?i . ?i rdf:type ontology:occupation }
[]
occupation
Q1234713 Q82955 Q250867
SYSTEM
theologian, politician, Catholic priest
Q1234713 Q82955 Q250867
(Q382527,P106,c(Q12737077))
action filter_type
action find
entity Q382527
relation P106
type Q12737077
[ANSWERS] have Ernest Kombo as his/her 's career
['Q382527', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?i WHERE { resource:Q382527 property:P106 ?i . ?i rdf:type ontology:Q12737077 }
theologian politician Catholic priest
Theologian, politician and Catholic priest have Ernest Kombo as his/her 's career
theologian politician Catholic priest
action filter_type
action find
entity Ernest Kombo
relation occupation
type occupation
['Ernest Kombo', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?i WHERE { resource:Ernest_Kombo property:occupation ?i . ?i rdf:type ontology:occupation }
[]
Simple Question (Coreferenced)
Simple Question|Mult. Entity
Q1234713 Q82955 Q250867
P39
Q502895
USER
Who held the position of those occupations ?
(c(Q502895),P39,Q1234713) (c(Q502895),P39,Q82955) (c(Q502895),P39,Q250867)
action filter_type
action find_reverse
entity prev_answer
relation P39
type Q502895
[{'concept': 'Q502895'}, 'P39', 'Q1234713'] [{'concept': 'Q502895'}, 'P39', 'Q82955'] [{'concept': 'Q502895'}, 'P39', 'Q250867']
SELECT DISTINCT ?g WHERE { ?g property:P39 ?v . ?g rdf:type ontology:Q502895 . VALUES ( ?v ) { ( resource:Q1234713 ) ( resource:Q82955 ) ( resource:Q250867 ) } }
theologian politician Catholic priest
action filter_type
action find_reverse
entity prev_answer
relation position held
type common name
[{'concept': 'common name'}, 'position held', 'theologian'] [{'concept': 'common name'}, 'position held', 'politician'] [{'concept': 'common name'}, 'position held', 'Catholic priest']
SELECT DISTINCT ?g WHERE { ?g property:position_held ?v . ?g rdf:type ontology:common_name . VALUES ( ?v ) { ( resource:theologian ) ( resource:politician ) ( resource:Catholic_priest ) } }
[]
common name
Q26086606 Q45158 Q961586
SYSTEM
Jacques Hamel, Gerhard Ludwig Müller, Alphonse-Victor Angot
Q11294693 Q26215129 Q3189576 Q26215129 Q3160650 Q532750 Q21166348 Q45342 Q26086606 Q23719800 Q961586 Q3247673 Q192315 Q18175203 Q45158 Q3288401
(c(Q502895),P39,Q1234713) (c(Q502895),P39,Q82955) (c(Q502895),P39,Q250867)
action filter_type
action find_reverse
entity prev_answer
relation P39
type Q502895
[ANSWERS] held the position of those occupations
[{'concept': 'Q502895'}, 'P39', 'Q1234713'] [{'concept': 'Q502895'}, 'P39', 'Q82955'] [{'concept': 'Q502895'}, 'P39', 'Q250867']
SELECT DISTINCT ?g WHERE { ?g property:P39 ?v . ?g rdf:type ontology:Q502895 . VALUES ( ?v ) { ( resource:Q1234713 ) ( resource:Q82955 ) ( resource:Q250867 ) } }
Henri de Saint-Ignace Morteza Azari Julien Loriot Morteza Azari Jakez Kerrien Charles François Lhomond Francois Gabriel Coyer Georg Häfner Jacques Hamel Remy Goossens Alphonse-Victor Angot Pierre Bosc Pierre Gassendi Jean Baranton Gerhard Ludwig Müller Marc Simon
Jacques Hamel, Gerhard Ludwig Müller and Alphonse-Victor Angot held the position of those occupations
Jacques Hamel Gerhard Ludwig Müller Alphonse-Victor Angot
action filter_type
action find_reverse
entity prev_answer
relation position held
type common name
[{'concept': 'common name'}, 'position held', 'theologian'] [{'concept': 'common name'}, 'position held', 'politician'] [{'concept': 'common name'}, 'position held', 'Catholic priest']
SELECT DISTINCT ?g WHERE { ?g property:position_held ?v . ?g rdf:type ontology:common_name . VALUES ( ?v ) { ( resource:theologian ) ( resource:politician ) ( resource:Catholic_priest ) } }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q26086606 Q45158 Q961586
P106
Q12737077
USER
Which occupations have Jacques Hamel, Gerhard Ludwig Müller and Alphonse-Victor Angot as his/her 's career ?
(Q26086606,P106,c(Q12737077)) (Q45158,P106,c(Q12737077)) (Q961586,P106,c(Q12737077))
action union
action filter_type
action find
entity Q26086606
relation P106
type Q12737077
action filter_type
action find
entity Q45158
relation P106
type Q12737077
action filter_type
action find
entity Q961586
relation P106
type Q12737077
['Q26086606', 'P106', {'concept': 'Q12737077'}] ['Q45158', 'P106', {'concept': 'Q12737077'}] ['Q961586', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?g WHERE { VALUES ( ?v ) { ( resource:Q45158 ) ( resource:Q26086606 ) } . ?v property:P106 ?g }
Jacques Hamel Gerhard Ludwig Müller Alphonse-Victor Angot
action union
action filter_type
action find
entity Jacques Hamel
relation occupation
type occupation
action filter_type
action find
entity Gerhard Ludwig Müller
relation occupation
type occupation
action filter_type
action find
entity Alphonse-Victor Angot
relation occupation
type occupation
['Jacques Hamel', 'occupation', {'concept': 'occupation'}] ['Gerhard Ludwig Müller', 'occupation', {'concept': 'occupation'}] ['Alphonse-Victor Angot', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?g WHERE { VALUES ( ?v ) { ( resource:Gerhard_Ludwig_Müller ) ( resource:Jacques_Hamel ) } . ?v property:occupation ?g }
[]
occupation
Q1622272 Q201788 Q250867
SYSTEM
university teacher, historian, Catholic priest
Q250867 Q1234713 Q250867 Q1622272 Q201788 Q4504549 Q42603
(Q26086606,P106,c(Q12737077)) (Q45158,P106,c(Q12737077)) (Q961586,P106,c(Q12737077))
action union
action filter_type
action find
entity Q26086606
relation P106
type Q12737077
action filter_type
action find
entity Q45158
relation P106
type Q12737077
action filter_type
action find
entity Q961586
relation P106
type Q12737077
The [ANSWERS] have Jacques Hamel, Gerhard Ludwig Müller and Alphonse-Victor Angot as his/her 's career
['Q26086606', 'P106', {'concept': 'Q12737077'}] ['Q45158', 'P106', {'concept': 'Q12737077'}] ['Q961586', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?g WHERE { VALUES ( ?v ) { ( resource:Q45158 ) ( resource:Q26086606 ) } . ?v property:P106 ?g }
Catholic priest theologian Catholic priest university teacher historian religious servant priest
The university teacher, historian and Catholic priest have Jacques Hamel, Gerhard Ludwig Müller and Alphonse-Victor Angot as his/her 's career
university teacher historian Catholic priest
action union
action filter_type
action find
entity Jacques Hamel
relation occupation
type occupation
action filter_type
action find
entity Gerhard Ludwig Müller
relation occupation
type occupation
action filter_type
action find
entity Alphonse-Victor Angot
relation occupation
type occupation
['Jacques Hamel', 'occupation', {'concept': 'occupation'}] ['Gerhard Ludwig Müller', 'occupation', {'concept': 'occupation'}] ['Alphonse-Victor Angot', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?g WHERE { VALUES ( ?v ) { ( resource:Gerhard_Ludwig_Müller ) ( resource:Jacques_Hamel ) } . ?v property:occupation ?g }
[]