Simple Question (Direct)
Simple Question
Q2465528
P21
Q290
USER
Which sex does Daniel Emilfork have ?
(Q2465528,P21,c(Q290))
action filter_type
action find
entity Q2465528
relation P21
type Q290
['Q2465528', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?f WHERE { resource:Q2465528 property:P21 ?f . ?f rdf:type ontology:Q290 }
Daniel Emilfork
action filter_type
action find
entity Daniel Emilfork
relation gender
type sex
['Daniel Emilfork', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?f WHERE { resource:Daniel_Emilfork property:gender ?f . ?f rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q2465528,P21,c(Q290))
action filter_type
action find
entity Q2465528
relation P21
type Q290
Daniel Emilfork has 1 [ANSWER]
['Q2465528', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?f WHERE { resource:Q2465528 property:P21 ?f . ?f rdf:type ontology:Q290 }
male
Daniel Emilfork has 1 male
male
action filter_type
action find
entity Daniel Emilfork
relation gender
type sex
['Daniel Emilfork', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?f WHERE { resource:Daniel_Emilfork property:gender ?f . ?f rdf:type ontology:sex }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q6581097
P138
Q7946
USER
Which minerals come from that sex ?
(c(Q7946),P138,Q6581097)
action filter_type
action find_reverse
entity Q6581097
relation P138
type Q7946
[{'concept': 'Q7946'}, 'P138', 'Q6581097']
SELECT DISTINCT ?v WHERE { ?v property:P138 resource:Q6581097 . ?v rdf:type ontology:Q7946 }
male
action filter_type
action find_reverse
entity male
relation named after
type mineral
[{'concept': 'mineral'}, 'named after', 'male']
SELECT DISTINCT ?v WHERE { ?v property:named_after resource:male . ?v rdf:type ontology:mineral }
[]
mineral
Q19861020 Q19861231 Q4006570
SYSTEM
mendeleevite-(Ce), reynoldsite, urusovite
Q19861020 Q18375263 Q19862060 Q19861231 Q4006570 Q3565842 Q19833301
(c(Q7946),P138,Q6581097)
action filter_type
action find_reverse
entity Q6581097
relation P138
type Q7946
[ANSWERS] come from that sex
[{'concept': 'Q7946'}, 'P138', 'Q6581097']
SELECT DISTINCT ?v WHERE { ?v property:P138 resource:Q6581097 . ?v rdf:type ontology:Q7946 }
mendeleevite-(Ce) billwiseite witzkeite reynoldsite urusovite zirkelite carlosbarbosaite
Mendeleevite-(Ce), reynoldsite and urusovite come from that sex
mendeleevite-(Ce) reynoldsite urusovite
action filter_type
action find_reverse
entity male
relation named after
type mineral
[{'concept': 'mineral'}, 'named after', 'male']
SELECT DISTINCT ?v WHERE { ?v property:named_after resource:male . ?v rdf:type ontology:mineral }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation|Incomplete
Q24264101 Q6581097
P138
Q7946
USER
And also Carlos do Prado Barbosa
AND((c(Q7946),P138,Q6581097), (c(Q7946),P138,Q24264101))
action filter_type
action intersection
action find_reverse
entity Q6581097
relation P138
action find_reverse
entity Q24264101
relation P138
type Q7946
{'AND': [[{'concept': 'Q7946'}, 'P138', 'Q6581097'], [{'concept': 'Q7946'}, 'P138', 'Q24264101']]}
SELECT DISTINCT ?g WHERE { ?g property:P138 resource:Q6581097 . ?g property:P138 resource:Q24264101 . ?g rdf:type ontology:Q7946 }
Carlos do Prado Barbosa male
action filter_type
action intersection
action find_reverse
entity male
relation named after
action find_reverse
entity Carlos do Prado Barbosa
relation named after
type mineral
{'AND': [[{'concept': 'mineral'}, 'named after', 'male'], [{'concept': 'mineral'}, 'named after', 'Carlos do Prado Barbosa']]}
SELECT DISTINCT ?g WHERE { ?g property:named_after resource:male . ?g property:named_after resource:Carlos_do_Prado_Barbosa . ?g rdf:type ontology:mineral }
[]
mineral
Q19833301
SYSTEM
carlosbarbosaite
Q19833301
AND((c(Q7946),P138,Q6581097), (c(Q7946),P138,Q24264101))
action filter_type
action intersection
action find_reverse
entity Q6581097
relation P138
action find_reverse
entity Q24264101
relation P138
type Q7946
[ANSWER]
{'AND': [[{'concept': 'Q7946'}, 'P138', 'Q6581097'], [{'concept': 'Q7946'}, 'P138', 'Q24264101']]}
SELECT DISTINCT ?g WHERE { ?g property:P138 resource:Q6581097 . ?g property:P138 resource:Q24264101 . ?g rdf:type ontology:Q7946 }
carlosbarbosaite
carlosbarbosaite
action filter_type
action intersection
action find_reverse
entity male
relation named after
action find_reverse
entity Carlos do Prado Barbosa
relation named after
type mineral
{'AND': [[{'concept': 'mineral'}, 'named after', 'male'], [{'concept': 'mineral'}, 'named after', 'Carlos do Prado Barbosa']]}
SELECT DISTINCT ?g WHERE { ?g property:named_after resource:male . ?g property:named_after resource:Carlos_do_Prado_Barbosa . ?g rdf:type ontology:mineral }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q19833301 Q314677 Q24264101
P138
Q502895
USER
Does that mineral comes from Pacuvius and Carlos do Prado Barbosa ?
(Q19833301,P138,Q314677) (Q19833301,P138,Q24264101)
action is_in
entity Q19833301
action intersection
action find_reverse
entity Q314677
relation P138
action find_reverse
entity Q24264101
relation P138
['Q19833301', 'P138', 'Q314677'] ['Q19833301', 'P138', 'Q24264101']
ASK WHERE { resource:Q19833301 property:P138 resource:Q314677 . resource:Q19833301 property:P138 resource:Q24264101 }
carlosbarbosaite Pacuvius Carlos do Prado Barbosa
action is_in
entity carlosbarbosaite
action intersection
action find_reverse
entity Pacuvius
relation named after
action find_reverse
entity Carlos do Prado Barbosa
relation named after
['carlosbarbosaite', 'named after', 'Pacuvius'] ['carlosbarbosaite', 'named after', 'Carlos do Prado Barbosa']
ASK WHERE { resource:carlosbarbosaite property:named_after resource:Pacuvius . resource:carlosbarbosaite property:named_after resource:Carlos_do_Prado_Barbosa }
[]
common name
SYSTEM
NO and YES respectively
(Q19833301,P138,Q314677) (Q19833301,P138,Q24264101)
action is_in
entity Q19833301
action intersection
action find_reverse
entity Q314677
relation P138
action find_reverse
entity Q24264101
relation P138
[ANSWER]
['Q19833301', 'P138', 'Q314677'] ['Q19833301', 'P138', 'Q24264101']
ASK WHERE { resource:Q19833301 property:P138 resource:Q314677 . resource:Q19833301 property:P138 resource:Q24264101 }
NO and YES respectively
action is_in
entity carlosbarbosaite
action intersection
action find_reverse
entity Pacuvius
relation named after
action find_reverse
entity Carlos do Prado Barbosa
relation named after
['carlosbarbosaite', 'named after', 'Pacuvius'] ['carlosbarbosaite', 'named after', 'Carlos do Prado Barbosa']
ASK WHERE { resource:carlosbarbosaite property:named_after resource:Pacuvius . resource:carlosbarbosaite property:named_after resource:Carlos_do_Prado_Barbosa }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P35
Q502895 Q1048835 Q35798
USER
Which people are the heads of state of max number of political territories or executive branches ?
(c(Q1048835)|c(Q35798),P35,c(Q502895))
action argmax
action union
action find_reverse_tuple_counts
relation P35
type Q502895
type Q1048835
action find_reverse_tuple_counts
relation P35
type Q502895
type Q35798
[[{'concept': 'Q1048835'}, {'concept': 'Q35798'}], 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?y ) AS ?k ) { SELECT DISTINCT ( COUNT ( ?s ) AS ?y ) ?l WHERE { VALUES ( ?u ) { ( ontology:Q1048835 ) ( ontology:Q35798 ) } . ?s rdf:type ?u } GROUP BY ?l } } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?n ) ?p WHERE { { ?d property:P35 ?p . ?p rdf:type ontology:Q502895 . ?d rdf:type ontology:Q1048835 } UNION { ?d property:P35 ?p . ?p rdf:type ontology:Q502895 . ?d rdf:type ontology:Q35798 } } GROUP BY ?p } . FILTER ( ?n = ?k ) }
action argmax
action union
action find_reverse_tuple_counts
relation head of state
type common name
type political territorial entity
action find_reverse_tuple_counts
relation head of state
type common name
type executive branch
[[{'concept': 'political territorial entity'}, {'concept': 'executive branch'}], 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?y ) AS ?k ) { SELECT DISTINCT ( COUNT ( ?s ) AS ?y ) ?l WHERE { VALUES ( ?u ) { ( ontology:political_territorial_entity ) ( ontology:executive_branch ) } . ?s rdf:type ?u } GROUP BY ?l } } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?n ) ?p WHERE { { ?d property:head_of_state ?p . ?p rdf:type ontology:common_name . ?d rdf:type ontology:political_territorial_entity } UNION { ?d property:head_of_state ?p . ?p rdf:type ontology:common_name . ?d rdf:type ontology:executive_branch } } GROUP BY ?p } . FILTER ( ?n = ?k ) }
[]
common name political territorial entity executive branch
Q9682
SYSTEM
Elizabeth II
Q9682
(c(Q1048835)|c(Q35798),P35,c(Q502895))
action argmax
action union
action find_reverse_tuple_counts
relation P35
type Q502895
type Q1048835
action find_reverse_tuple_counts
relation P35
type Q502895
type Q35798
[ANSWER] is the heads of state of max number of political territories or executive branches
[[{'concept': 'Q1048835'}, {'concept': 'Q35798'}], 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?y ) AS ?k ) { SELECT DISTINCT ( COUNT ( ?s ) AS ?y ) ?l WHERE { VALUES ( ?u ) { ( ontology:Q1048835 ) ( ontology:Q35798 ) } . ?s rdf:type ?u } GROUP BY ?l } } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?n ) ?p WHERE { { ?d property:P35 ?p . ?p rdf:type ontology:Q502895 . ?d rdf:type ontology:Q1048835 } UNION { ?d property:P35 ?p . ?p rdf:type ontology:Q502895 . ?d rdf:type ontology:Q35798 } } GROUP BY ?p } . FILTER ( ?n = ?k ) }
Elizabeth II
Elizabeth II is the heads of state of max number of political territories or executive branches
Elizabeth II
action argmax
action union
action find_reverse_tuple_counts
relation head of state
type common name
type political territorial entity
action find_reverse_tuple_counts
relation head of state
type common name
type executive branch
[[{'concept': 'political territorial entity'}, {'concept': 'executive branch'}], 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?y ) AS ?k ) { SELECT DISTINCT ( COUNT ( ?s ) AS ?y ) ?l WHERE { VALUES ( ?u ) { ( ontology:political_territorial_entity ) ( ontology:executive_branch ) } . ?s rdf:type ?u } GROUP BY ?l } } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?n ) ?p WHERE { { ?d property:head_of_state ?p . ?p rdf:type ontology:common_name . ?d rdf:type ontology:political_territorial_entity } UNION { ?d property:head_of_state ?p . ?p rdf:type ontology:common_name . ?d rdf:type ontology:executive_branch } } GROUP BY ?p } . FILTER ( ?n = ?k ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q1902305 Q314677
P106
Q12737077
USER
Which occupations have Pacuvius or Marnie Alton as his/her as a career ?
OR((Q314677,P106,c(Q12737077)), (Q1902305,P106,c(Q12737077)))
action filter_type
action union
action find
entity Q314677
relation P106
action find
entity Q1902305
relation P106
type Q12737077
{'OR': [['Q314677', 'P106', {'concept': 'Q12737077'}], ['Q1902305', 'P106', {'concept': 'Q12737077'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Q314677 property:P106 ?r } UNION { resource:Q1902305 property:P106 ?r } } . ?r rdf:type ontology:Q12737077 }
Marnie Alton Pacuvius
action filter_type
action union
action find
entity Pacuvius
relation occupation
action find
entity Marnie Alton
relation occupation
type occupation
{'OR': [['Pacuvius', 'occupation', {'concept': 'occupation'}], ['Marnie Alton', 'occupation', {'concept': 'occupation'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Pacuvius property:occupation ?r } UNION { resource:Marnie_Alton property:occupation ?r } } . ?r rdf:type ontology:occupation }
[]
occupation
Q1028181 Q639669 Q33999 Q49757 Q36180
SYSTEM
painter, musician, actor, poet, writer
Q1028181 Q639669 Q33999 Q49757 Q36180
OR((Q314677,P106,c(Q12737077)), (Q1902305,P106,c(Q12737077)))
action filter_type
action union
action find
entity Q314677
relation P106
action find
entity Q1902305
relation P106
type Q12737077
[ANSWERS] have Pacuvius or Marnie Alton as his/her as a career
{'OR': [['Q314677', 'P106', {'concept': 'Q12737077'}], ['Q1902305', 'P106', {'concept': 'Q12737077'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Q314677 property:P106 ?r } UNION { resource:Q1902305 property:P106 ?r } } . ?r rdf:type ontology:Q12737077 }
painter musician actor poet writer
Painter, musician, actor, poet and writer have Pacuvius or Marnie Alton as his/her as a career
painter musician actor poet writer
action filter_type
action union
action find
entity Pacuvius
relation occupation
action find
entity Marnie Alton
relation occupation
type occupation
{'OR': [['Pacuvius', 'occupation', {'concept': 'occupation'}], ['Marnie Alton', 'occupation', {'concept': 'occupation'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Pacuvius property:occupation ?r } UNION { resource:Marnie_Alton property:occupation ?r } } . ?r rdf:type ontology:occupation }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q11980141
P106
Q502895
USER
Do Karen Bach have those occupations as his/her means of employment ?
(Q11980141,P106,Q1028181) (Q11980141,P106,Q639669) (Q11980141,P106,Q33999) (Q11980141,P106,Q49757) (Q11980141,P106,Q36180)
action is_in
entity prev_answer
action find
entity Q11980141
relation P106
['Q11980141', 'P106', 'Q1028181'] ['Q11980141', 'P106', 'Q639669'] ['Q11980141', 'P106', 'Q33999'] ['Q11980141', 'P106', 'Q49757'] ['Q11980141', 'P106', 'Q36180']
ASK WHERE { VALUES ( ?s ) { ( resource:Q1028181 ) ( resource:Q639669 ) ( resource:Q33999 ) } . resource:Q11980141 property:P106 ?s }
Karen Bach
action is_in
entity prev_answer
action find
entity Karen Bach
relation occupation
['Karen Bach', 'occupation', 'painter'] ['Karen Bach', 'occupation', 'musician'] ['Karen Bach', 'occupation', 'actor'] ['Karen Bach', 'occupation', 'poet'] ['Karen Bach', 'occupation', 'writer']
ASK WHERE { VALUES ( ?s ) { ( resource:painter ) ( resource:musician ) ( resource:actor ) } . resource:Karen_Bach property:occupation ?s }
[]
common name
SYSTEM
NO
(Q11980141,P106,Q1028181) (Q11980141,P106,Q639669) (Q11980141,P106,Q33999) (Q11980141,P106,Q49757) (Q11980141,P106,Q36180)
action is_in
entity prev_answer
action find
entity Q11980141
relation P106
[ANSWER]
['Q11980141', 'P106', 'Q1028181'] ['Q11980141', 'P106', 'Q639669'] ['Q11980141', 'P106', 'Q33999'] ['Q11980141', 'P106', 'Q49757'] ['Q11980141', 'P106', 'Q36180']
ASK WHERE { VALUES ( ?s ) { ( resource:Q1028181 ) ( resource:Q639669 ) ( resource:Q33999 ) } . resource:Q11980141 property:P106 ?s }
No
action is_in
entity prev_answer
action find
entity Karen Bach
relation occupation
['Karen Bach', 'occupation', 'painter'] ['Karen Bach', 'occupation', 'musician'] ['Karen Bach', 'occupation', 'actor'] ['Karen Bach', 'occupation', 'poet'] ['Karen Bach', 'occupation', 'writer']
ASK WHERE { VALUES ( ?s ) { ( resource:painter ) ( resource:musician ) ( resource:actor ) } . resource:Karen_Bach property:occupation ?s }
[]