Simple Question (Direct)
Simple Question
Q984151
P21
Q290
USER
Which sex does Verner Blaudzun belong to ?
(Q984151,P21,c(Q290))
action filter_type
action find
entity Q984151
relation P21
type Q290
['Q984151', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q290 . resource:Q984151 property:P21 ?b }
Verner Blaudzun
action filter_type
action find
entity Verner Blaudzun
relation gender
type sex
['Verner Blaudzun', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:sex . resource:Verner_Blaudzun property:gender ?b }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q984151,P21,c(Q290))
action filter_type
action find
entity Q984151
relation P21
type Q290
Verner Blaudzun belongs to [ANSWER]
['Q984151', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q290 . resource:Q984151 property:P21 ?b }
male
Verner Blaudzun belongs to male
male
action filter_type
action find
entity Verner Blaudzun
relation gender
type sex
['Verner Blaudzun', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:sex . resource:Verner_Blaudzun property:gender ?b }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q6581097 Q15844006
P21
Q502895
USER
Is Santiago Baños a that sex ?
(Q15844006,P21,Q6581097)
action is_in
entity Q6581097
action find
entity Q15844006
relation P21
['Q15844006', 'P21', 'Q6581097']
ASK WHERE { resource:Q15844006 property:P21 resource:Q6581097 }
male Santiago Baños
action is_in
entity male
action find
entity Santiago Baños
relation gender
['Santiago Baños', 'gender', 'male']
ASK WHERE { resource:Santiago_Baños property:gender resource:male }
[]
common name
SYSTEM
YES
(Q15844006,P21,Q6581097)
action is_in
entity Q6581097
action find
entity Q15844006
relation P21
[ANSWER]
['Q15844006', 'P21', 'Q6581097']
ASK WHERE { resource:Q15844006 property:P21 resource:Q6581097 }
Yes
action is_in
entity male
action find
entity Santiago Baños
relation gender
['Santiago Baños', 'gender', 'male']
ASK WHERE { resource:Santiago_Baños property:gender resource:male }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q25707198 Q15844006
P27
Q15617994
USER
Which administrative territories are Santiago Baños or Manuel Centurión a civilian of ?
OR((Q15844006,P27,c(Q15617994)), (Q25707198,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q15844006
relation P27
action find
entity Q25707198
relation P27
type Q15617994
{'OR': [['Q15844006', 'P27', {'concept': 'Q15617994'}], ['Q25707198', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?w WHERE { { ?v property:P27 ?w . VALUES ( ?v ) { ( resource:Q15844006 ) ( resource:Q25707198 ) } } . ?w rdf:type ontology:Q15617994 }
Manuel Centurión Santiago Baños
action filter_type
action union
action find
entity Santiago Baños
relation country of citizenship
action find
entity Manuel Centurión
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Santiago Baños', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Manuel Centurión', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?w WHERE { { ?v property:country_of_citizenship ?w . VALUES ( ?v ) { ( resource:Santiago_Baños ) ( resource:Manuel_Centurión ) } } . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q96
SYSTEM
Mexico
Q96
OR((Q15844006,P27,c(Q15617994)), (Q25707198,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q15844006
relation P27
action find
entity Q25707198
relation P27
type Q15617994
[ANSWER] is Santiago Baños or Manuel Centurión a civilian of
{'OR': [['Q15844006', 'P27', {'concept': 'Q15617994'}], ['Q25707198', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?w WHERE { { ?v property:P27 ?w . VALUES ( ?v ) { ( resource:Q15844006 ) ( resource:Q25707198 ) } } . ?w rdf:type ontology:Q15617994 }
Mexico
Mexico is Santiago Baños or Manuel Centurión a civilian of
Mexico
action filter_type
action union
action find
entity Santiago Baños
relation country of citizenship
action find
entity Manuel Centurión
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Santiago Baños', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Manuel Centurión', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?w WHERE { { ?v property:country_of_citizenship ?w . VALUES ( ?v ) { ( resource:Santiago_Baños ) ( resource:Manuel_Centurión ) } } . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q96
P35
Q502895
USER
Who is the head of state of that administrative territory ?
(Q96,P35,c(Q502895))
action filter_type
action find
entity Q96
relation P35
type Q502895
['Q96', 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ?z WHERE { resource:Q96 property:P35 ?z . ?z rdf:type ontology:Q502895 }
Mexico
action filter_type
action find
entity Mexico
relation head of state
type common name
['Mexico', 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ?z WHERE { resource:Mexico property:head_of_state ?z . ?z rdf:type ontology:common_name }
[]
common name
Q296741
SYSTEM
Enrique Peña Nieto
Q296741
(Q96,P35,c(Q502895))
action filter_type
action find
entity Q96
relation P35
type Q502895
The head of state of that administrative territory is President [ANSWER]
['Q96', 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ?z WHERE { resource:Q96 property:P35 ?z . ?z rdf:type ontology:Q502895 }
Enrique Peña Nieto
The head of state of that administrative territory is President Enrique Peña Nieto
Enrique Peña Nieto
action filter_type
action find
entity Mexico
relation head of state
type common name
['Mexico', 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ?z WHERE { resource:Mexico property:head_of_state ?z . ?z rdf:type ontology:common_name }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Indirect
P35
Q502895 Q35798 Q1048835
USER
How many people have the highest formal authority in less number of executive branches or political territories than that person ?
(c(Q35798)|c(Q1048835),P35,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P35
type Q502895
type Q35798
action find_reverse_tuple_counts
relation P35
type Q502895
type Q1048835
action count
action filter_multi_types
action find_reverse
entity Q296741
relation P35
type Q35798
type Q1048835
[[{'concept': 'Q35798'}, {'concept': 'Q1048835'}], 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?w ) AS ?z ) WHERE { { SELECT DISTINCT ?w ( COUNT ( ?o ) AS ?h ) WHERE { VALUES ( ?f ) { ( ontology:Q35798 ) ( ontology:Q1048835 ) } . ?o rdf:type ?f } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?m ) WHERE { ?i property:P35 resource:Q296741 . { { ?i rdf:type ontology:Q35798 } UNION { ?i rdf:type ontology:Q1048835 } } } } . FILTER ( ?h < ?m ) }
action count
action less
action union
action find_reverse_tuple_counts
relation head of state
type common name
type executive branch
action find_reverse_tuple_counts
relation head of state
type common name
type political territorial entity
action count
action filter_multi_types
action find_reverse
entity Enrique Peña Nieto
relation head of state
type executive branch
type political territorial entity
[[{'concept': 'executive branch'}, {'concept': 'political territorial entity'}], 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?w ) AS ?z ) WHERE { { SELECT DISTINCT ?w ( COUNT ( ?o ) AS ?h ) WHERE { VALUES ( ?f ) { ( ontology:executive_branch ) ( ontology:political_territorial_entity ) } . ?o rdf:type ?f } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?m ) WHERE { ?i property:head_of_state resource:Enrique_Peña_Nieto . { { ?i rdf:type ontology:executive_branch } UNION { ?i rdf:type ontology:political_territorial_entity } } } } . FILTER ( ?h < ?m ) }
[]
common name executive branch political territorial entity
SYSTEM
0
(c(Q35798)|c(Q1048835),P35,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P35
type Q502895
type Q35798
action find_reverse_tuple_counts
relation P35
type Q502895
type Q1048835
action count
action filter_multi_types
action find_reverse
entity Q296741
relation P35
type Q35798
type Q1048835
[ANSWER]
[[{'concept': 'Q35798'}, {'concept': 'Q1048835'}], 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?w ) AS ?z ) WHERE { { SELECT DISTINCT ?w ( COUNT ( ?o ) AS ?h ) WHERE { VALUES ( ?f ) { ( ontology:Q35798 ) ( ontology:Q1048835 ) } . ?o rdf:type ?f } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?m ) WHERE { ?i property:P35 resource:Q296741 . { { ?i rdf:type ontology:Q35798 } UNION { ?i rdf:type ontology:Q1048835 } } } } . FILTER ( ?h < ?m ) }
0
action count
action less
action union
action find_reverse_tuple_counts
relation head of state
type common name
type executive branch
action find_reverse_tuple_counts
relation head of state
type common name
type political territorial entity
action count
action filter_multi_types
action find_reverse
entity Enrique Peña Nieto
relation head of state
type executive branch
type political territorial entity
[[{'concept': 'executive branch'}, {'concept': 'political territorial entity'}], 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?w ) AS ?z ) WHERE { { SELECT DISTINCT ?w ( COUNT ( ?o ) AS ?h ) WHERE { VALUES ( ?f ) { ( ontology:executive_branch ) ( ontology:political_territorial_entity ) } . ?o rdf:type ?f } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?m ) WHERE { ?i property:head_of_state resource:Enrique_Peña_Nieto . { { ?i rdf:type ontology:executive_branch } UNION { ?i rdf:type ontology:political_territorial_entity } } } } . FILTER ( ?h < ?m ) }
[]