Simple Question (Direct)
Simple Question
Q2522572
P140
Q879146
USER
Which Christian denomination is the religion of Victor Sartre ?
(Q2522572,P140,c(Q879146))
action filter_type
action find
entity Q2522572
relation P140
type Q879146
['Q2522572', 'P140', {'concept': 'Q879146'}]
SELECT DISTINCT ?x WHERE { resource:Q2522572 property:P140 ?x . ?x rdf:type ontology:Q879146 }
Victor Sartre
action filter_type
action find
entity Victor Sartre
relation religion
type Christian denomination
['Victor Sartre', 'religion', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?x WHERE { resource:Victor_Sartre property:religion ?x . ?x rdf:type ontology:Christian_denomination }
[]
Christian denomination
Q9592
SYSTEM
Roman Catholic Church
Q9592
(Q2522572,P140,c(Q879146))
action filter_type
action find
entity Q2522572
relation P140
type Q879146
Church [ANSWER] is the religion of Victor Sartre
['Q2522572', 'P140', {'concept': 'Q879146'}]
SELECT DISTINCT ?x WHERE { resource:Q2522572 property:P140 ?x . ?x rdf:type ontology:Q879146 }
Roman Catholic Church
Church Roman Catholic Church is the religion of Victor Sartre
Roman Catholic Church
action filter_type
action find
entity Victor Sartre
relation religion
type Christian denomination
['Victor Sartre', 'religion', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?x WHERE { resource:Victor_Sartre property:religion ?x . ?x rdf:type ontology:Christian_denomination }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q9592
P361
Q9174
USER
What is a part of that Christian denomination ?
(c(Q9174),P361,Q9592)
action filter_type
action find_reverse
entity Q9592
relation P361
type Q9174
[{'concept': 'Q9174'}, 'P361', 'Q9592']
SELECT DISTINCT ?x WHERE { ?x property:P361 resource:Q9592 . ?x rdf:type ontology:Q9174 }
Roman Catholic Church
action filter_type
action find_reverse
entity Roman Catholic Church
relation part of
type religion
[{'concept': 'religion'}, 'part of', 'Roman Catholic Church']
SELECT DISTINCT ?x WHERE { ?x property:part_of resource:Roman_Catholic_Church . ?x rdf:type ontology:religion }
[]
religion
Q1426688
SYSTEM
Roman Catholicism in Brazil
Q1426688
(c(Q9174),P361,Q9592)
action filter_type
action find_reverse
entity Q9592
relation P361
type Q9174
A part of that Christian denomination is called [ANSWER]
[{'concept': 'Q9174'}, 'P361', 'Q9592']
SELECT DISTINCT ?x WHERE { ?x property:P361 resource:Q9592 . ?x rdf:type ontology:Q9174 }
Roman Catholicism in Brazil
A part of that Christian denomination is called Roman Catholicism in Brazil
Roman Catholicism in Brazil
action filter_type
action find_reverse
entity Roman Catholic Church
relation part of
type religion
[{'concept': 'religion'}, 'part of', 'Roman Catholic Church']
SELECT DISTINCT ?x WHERE { ?x property:part_of resource:Roman_Catholic_Church . ?x rdf:type ontology:religion }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q1426688 Q9592 Q1722120
P361
Q879146
USER
Is that religion a portion of Roman Catholic Church and Kale Heywet Word of Life Church ?
(Q1426688,P361,Q9592) (Q1426688,P361,Q1722120)
action is_in
entity Q1426688
action intersection
action find_reverse
entity Q9592
relation P361
action find_reverse
entity Q1722120
relation P361
['Q1426688', 'P361', 'Q9592'] ['Q1426688', 'P361', 'Q1722120']
ASK WHERE { resource:Q1426688 property:P361 resource:Q1722120 . resource:Q1426688 property:P361 resource:Q9592 }
Roman Catholicism in Brazil Roman Catholic Church Kale Heywet Word of Life Church
action is_in
entity Roman Catholicism in Brazil
action intersection
action find_reverse
entity Roman Catholic Church
relation part of
action find_reverse
entity Kale Heywet Word of Life Church
relation part of
['Roman Catholicism in Brazil', 'part of', 'Roman Catholic Church'] ['Roman Catholicism in Brazil', 'part of', 'Kale Heywet Word of Life Church']
ASK WHERE { resource:Roman_Catholicism_in_Brazil property:part_of resource:Kale_Heywet_Word_of_Life_Church . resource:Roman_Catholicism_in_Brazil property:part_of resource:Roman_Catholic_Church }
[]
Christian denomination
SYSTEM
YES and NO respectively
(Q1426688,P361,Q9592) (Q1426688,P361,Q1722120)
action is_in
entity Q1426688
action intersection
action find_reverse
entity Q9592
relation P361
action find_reverse
entity Q1722120
relation P361
[ANSWER]
['Q1426688', 'P361', 'Q9592'] ['Q1426688', 'P361', 'Q1722120']
ASK WHERE { resource:Q1426688 property:P361 resource:Q1722120 . resource:Q1426688 property:P361 resource:Q9592 }
YES and NO respectively
action is_in
entity Roman Catholicism in Brazil
action intersection
action find_reverse
entity Roman Catholic Church
relation part of
action find_reverse
entity Kale Heywet Word of Life Church
relation part of
['Roman Catholicism in Brazil', 'part of', 'Roman Catholic Church'] ['Roman Catholicism in Brazil', 'part of', 'Kale Heywet Word of Life Church']
ASK WHERE { resource:Roman_Catholicism_in_Brazil property:part_of resource:Kale_Heywet_Word_of_Life_Church . resource:Roman_Catholicism_in_Brazil property:part_of resource:Roman_Catholic_Church }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q2522572 Q142
P27
Q15617994
USER
Is Victor Sartre an inhabitant of France ?
(Q2522572,P27,Q142)
action is_in
entity Q142
action find
entity Q2522572
relation P27
['Q2522572', 'P27', 'Q142']
ASK WHERE { resource:Q2522572 property:P27 resource:Q142 }
Victor Sartre France
action is_in
entity France
action find
entity Victor Sartre
relation country of citizenship
['Victor Sartre', 'country of citizenship', 'France']
ASK WHERE { resource:Victor_Sartre property:country_of_citizenship resource:France }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q2522572,P27,Q142)
action is_in
entity Q142
action find
entity Q2522572
relation P27
[ANSWER]
['Q2522572', 'P27', 'Q142']
ASK WHERE { resource:Q2522572 property:P27 resource:Q142 }
Yes
action is_in
entity France
action find
entity Victor Sartre
relation country of citizenship
['Victor Sartre', 'country of citizenship', 'France']
ASK WHERE { resource:Victor_Sartre property:country_of_citizenship resource:France }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q2522572 Q1813659
P39
Q12737077
USER
How many occupations were the positions held by Victor Sartre or Ghost ?
(Q2522572,P39,c(Q12737077)) (Q1813659,P39,c(Q12737077))
action count
action union
action filter_type
action find
entity Q2522572
relation P39
type Q12737077
action filter_type
action find
entity Q1813659
relation P39
type Q12737077
['Q2522572', 'P39', {'concept': 'Q12737077'}] ['Q1813659', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ( COUNT ( ?a ) AS ?p ) WHERE { { resource:Q2522572 property:P39 ?a . ?a rdf:type ontology:Q12737077 } UNION { resource:Q1813659 property:P39 ?a . ?a rdf:type ontology:Q12737077 } }
Victor Sartre Ghost
action count
action union
action filter_type
action find
entity Victor Sartre
relation position held
type occupation
action filter_type
action find
entity Ghost
relation position held
type occupation
['Victor Sartre', 'position held', {'concept': 'occupation'}] ['Ghost', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ( COUNT ( ?a ) AS ?p ) WHERE { { resource:Victor_Sartre property:position_held ?a . ?a rdf:type ontology:occupation } UNION { resource:Ghost property:position_held ?a . ?a rdf:type ontology:occupation } }
[]
occupation
SYSTEM
2
Q29182 Q12097
(Q2522572,P39,c(Q12737077)) (Q1813659,P39,c(Q12737077))
action count
action union
action filter_type
action find
entity Q2522572
relation P39
type Q12737077
action filter_type
action find
entity Q1813659
relation P39
type Q12737077
[ANSWER]
['Q2522572', 'P39', {'concept': 'Q12737077'}] ['Q1813659', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ( COUNT ( ?a ) AS ?p ) WHERE { { resource:Q2522572 property:P39 ?a . ?a rdf:type ontology:Q12737077 } UNION { resource:Q1813659 property:P39 ?a . ?a rdf:type ontology:Q12737077 } }
bishop king
2
action count
action union
action filter_type
action find
entity Victor Sartre
relation position held
type occupation
action filter_type
action find
entity Ghost
relation position held
type occupation
['Victor Sartre', 'position held', {'concept': 'occupation'}] ['Ghost', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ( COUNT ( ?a ) AS ?p ) WHERE { { resource:Victor_Sartre property:position_held ?a . ?a rdf:type ontology:occupation } UNION { resource:Ghost property:position_held ?a . ?a rdf:type ontology:occupation } }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P361
Q879146 Q2342494 Q874405
USER
Which Christian denominations are max number of collectables and social groups a component of ?
(c(Q2342494)|c(Q874405),P361,c(Q879146))
action argmax
action union
action find_reverse_tuple_counts
relation P361
type Q879146
type Q2342494
action find_reverse_tuple_counts
relation P361
type Q879146
type Q874405
[[{'concept': 'Q2342494'}, {'concept': 'Q874405'}], 'P361', {'concept': 'Q879146'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( MAX ( ?a ) AS ?b ) { SELECT DISTINCT ( COUNT ( ?e ) AS ?a ) ?f WHERE { { ?e property:P361 ?f . ?e rdf:type ontology:Q2342494 . ?f rdf:type ontology:Q879146 } UNION { ?f rdf:type ontology:Q879146 . ?e rdf:type ontology:Q874405 . ?e property:P361 ?f } } GROUP BY ?f } } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?u ) ?g WHERE { ?v rdf:type ?n . VALUES ( ?n ) { ( ontology:Q2342494 ) ( ontology:Q874405 ) } } GROUP BY ?g } . FILTER ( ?u = ?b ) }
action argmax
action union
action find_reverse_tuple_counts
relation part of
type Christian denomination
type collectable
action find_reverse_tuple_counts
relation part of
type Christian denomination
type social group
[[{'concept': 'collectable'}, {'concept': 'social group'}], 'part of', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( MAX ( ?a ) AS ?b ) { SELECT DISTINCT ( COUNT ( ?e ) AS ?a ) ?f WHERE { { ?e property:part_of ?f . ?e rdf:type ontology:collectable . ?f rdf:type ontology:Christian_denomination } UNION { ?f rdf:type ontology:Christian_denomination . ?e rdf:type ontology:social_group . ?e property:part_of ?f } } GROUP BY ?f } } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?u ) ?g WHERE { ?v rdf:type ?n . VALUES ( ?n ) { ( ontology:collectable ) ( ontology:social_group ) } } GROUP BY ?g } . FILTER ( ?u = ?b ) }
[]
Christian denomination collectable social group
Q9592
SYSTEM
Roman Catholic Church
Q9592
(c(Q2342494)|c(Q874405),P361,c(Q879146))
action argmax
action union
action find_reverse_tuple_counts
relation P361
type Q879146
type Q2342494
action find_reverse_tuple_counts
relation P361
type Q879146
type Q874405
Are max number of collectables and social groups a component of the [ANSWER]
[[{'concept': 'Q2342494'}, {'concept': 'Q874405'}], 'P361', {'concept': 'Q879146'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( MAX ( ?a ) AS ?b ) { SELECT DISTINCT ( COUNT ( ?e ) AS ?a ) ?f WHERE { { ?e property:P361 ?f . ?e rdf:type ontology:Q2342494 . ?f rdf:type ontology:Q879146 } UNION { ?f rdf:type ontology:Q879146 . ?e rdf:type ontology:Q874405 . ?e property:P361 ?f } } GROUP BY ?f } } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?u ) ?g WHERE { ?v rdf:type ?n . VALUES ( ?n ) { ( ontology:Q2342494 ) ( ontology:Q874405 ) } } GROUP BY ?g } . FILTER ( ?u = ?b ) }
Roman Catholic Church
Are max number of collectables and social groups a component of the Roman Catholic Church
Roman Catholic Church
action argmax
action union
action find_reverse_tuple_counts
relation part of
type Christian denomination
type collectable
action find_reverse_tuple_counts
relation part of
type Christian denomination
type social group
[[{'concept': 'collectable'}, {'concept': 'social group'}], 'part of', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( MAX ( ?a ) AS ?b ) { SELECT DISTINCT ( COUNT ( ?e ) AS ?a ) ?f WHERE { { ?e property:part_of ?f . ?e rdf:type ontology:collectable . ?f rdf:type ontology:Christian_denomination } UNION { ?f rdf:type ontology:Christian_denomination . ?e rdf:type ontology:social_group . ?e property:part_of ?f } } GROUP BY ?f } } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?u ) ?g WHERE { ?v rdf:type ?n . VALUES ( ?n ) { ( ontology:collectable ) ( ontology:social_group ) } } GROUP BY ?g } . FILTER ( ?u = ?b ) }
[]