Simple Question (Direct)
Simple Question
Q2643027
P108
Q31855
USER
Who is the employer of Alexander Holevo ?
(Q2643027,P108,c(Q31855))
action filter_type
action find
entity Q2643027
relation P108
type Q31855
['Q2643027', 'P108', {'concept': 'Q31855'}]
SELECT DISTINCT ?v WHERE { resource:Q2643027 property:P108 ?v . ?v rdf:type ontology:Q31855 }
Alexander Holevo
action filter_type
action find
entity Alexander Holevo
relation employer
type research institute
['Alexander Holevo', 'employer', {'concept': 'research institute'}]
SELECT DISTINCT ?v WHERE { resource:Alexander_Holevo property:employer ?v . ?v rdf:type ontology:research_institute }
[]
research institute
Q611420
SYSTEM
Steklov Institute of Mathematics
Q611420
(Q2643027,P108,c(Q31855))
action filter_type
action find
entity Q2643027
relation P108
type Q31855
The employer of Alexander Holevo is the [ANSWER]
['Q2643027', 'P108', {'concept': 'Q31855'}]
SELECT DISTINCT ?v WHERE { resource:Q2643027 property:P108 ?v . ?v rdf:type ontology:Q31855 }
Steklov Institute of Mathematics
The employer of Alexander Holevo is the Steklov Institute of Mathematics
Steklov Institute of Mathematics
action filter_type
action find
entity Alexander Holevo
relation employer
type research institute
['Alexander Holevo', 'employer', {'concept': 'research institute'}]
SELECT DISTINCT ?v WHERE { resource:Alexander_Holevo property:employer ?v . ?v rdf:type ontology:research_institute }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q2643027
P138
Q2684591
USER
Which statement has Alexander Holevo as its namesake ?
(c(Q2684591),P138,Q2643027)
action filter_type
action find_reverse
entity Q2643027
relation P138
type Q2684591
[{'concept': 'Q2684591'}, 'P138', 'Q2643027']
SELECT DISTINCT ?q WHERE { ?q property:P138 resource:Q2643027 . ?q rdf:type ontology:Q2684591 }
Alexander Holevo
action filter_type
action find_reverse
entity Alexander Holevo
relation named after
type statement
[{'concept': 'statement'}, 'named after', 'Alexander Holevo']
SELECT DISTINCT ?q WHERE { ?q property:named_after resource:Alexander_Holevo . ?q rdf:type ontology:statement }
[]
statement
Q3984018
SYSTEM
Holevo's theorem
Q3984018
(c(Q2684591),P138,Q2643027)
action filter_type
action find_reverse
entity Q2643027
relation P138
type Q2684591
[ANSWER] has Alexander Holevo as its namesake
[{'concept': 'Q2684591'}, 'P138', 'Q2643027']
SELECT DISTINCT ?q WHERE { ?q property:P138 resource:Q2643027 . ?q rdf:type ontology:Q2684591 }
Holevo's theorem
Holevo's theorem has Alexander Holevo as its namesake
Holevo's theorem
action filter_type
action find_reverse
entity Alexander Holevo
relation named after
type statement
[{'concept': 'statement'}, 'named after', 'Alexander Holevo']
SELECT DISTINCT ?q WHERE { ?q property:named_after resource:Alexander_Holevo . ?q rdf:type ontology:statement }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q611420
P69
Q502895
USER
Who is an alumni of Steklov Institute of Mathematics ?
(c(Q502895),P69,Q611420)
action filter_type
action find_reverse
entity Q611420
relation P69
type Q502895
[{'concept': 'Q502895'}, 'P69', 'Q611420']
SELECT DISTINCT ?p WHERE { ?p property:P69 resource:Q611420 . ?p rdf:type ontology:Q502895 }
Steklov Institute of Mathematics
action filter_type
action find_reverse
entity Steklov Institute of Mathematics
relation educated at
type common name
[{'concept': 'common name'}, 'educated at', 'Steklov Institute of Mathematics']
SELECT DISTINCT ?p WHERE { ?p property:educated_at resource:Steklov_Institute_of_Mathematics . ?p rdf:type ontology:common_name }
[]
common name
Q20670431
SYSTEM
Nikolai V. Ivanov
Q20670431
(c(Q502895),P69,Q611420)
action filter_type
action find_reverse
entity Q611420
relation P69
type Q502895
An alumni of Steklov Institute of Mathematics is the [ANSWER]
[{'concept': 'Q502895'}, 'P69', 'Q611420']
SELECT DISTINCT ?p WHERE { ?p property:P69 resource:Q611420 . ?p rdf:type ontology:Q502895 }
Nikolai V. Ivanov
An alumni of Steklov Institute of Mathematics is the Nikolai V. Ivanov
Nikolai V. Ivanov
action filter_type
action find_reverse
entity Steklov Institute of Mathematics
relation educated at
type common name
[{'concept': 'common name'}, 'educated at', 'Steklov Institute of Mathematics']
SELECT DISTINCT ?p WHERE { ?p property:educated_at resource:Steklov_Institute_of_Mathematics . ?p rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q20670431
P184
Q502895
USER
Which person was the doctoral supervisor of that one ?
(Q20670431,P184,c(Q502895))
action filter_type
action find
entity Q20670431
relation P184
type Q502895
['Q20670431', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?h WHERE { resource:Q20670431 property:P184 ?h . ?h rdf:type ontology:Q502895 }
Nikolai V. Ivanov
action filter_type
action find
entity Nikolai V. Ivanov
relation doctoral advisor
type common name
['Nikolai V. Ivanov', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?h WHERE { resource:Nikolai_V._Ivanov property:doctoral_advisor ?h . ?h rdf:type ontology:common_name }
[]
common name
Q383045
SYSTEM
Vladimir Abramovich Rokhlin
Q383045
(Q20670431,P184,c(Q502895))
action filter_type
action find
entity Q20670431
relation P184
type Q502895
[ANSWER] was the doctoral supervisor of that one
['Q20670431', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?h WHERE { resource:Q20670431 property:P184 ?h . ?h rdf:type ontology:Q502895 }
Vladimir Abramovich Rokhlin
Vladimir Abramovich Rokhlin was the doctoral supervisor of that one
Vladimir Abramovich Rokhlin
action filter_type
action find
entity Nikolai V. Ivanov
relation doctoral advisor
type common name
['Nikolai V. Ivanov', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?h WHERE { resource:Nikolai_V._Ivanov property:doctoral_advisor ?h . ?h rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q383045 Q9248
P19
Q56061
USER
Was Baku Vladimir Abramovich Rokhlin born ?
(Q383045,P19,Q9248)
action is_in
entity Q9248
action find
entity Q383045
relation P19
['Q383045', 'P19', 'Q9248']
ASK WHERE { resource:Q383045 property:P19 resource:Q9248 }
Vladimir Abramovich Rokhlin Baku
action is_in
entity Baku
action find
entity Vladimir Abramovich Rokhlin
relation place of birth
['Vladimir Abramovich Rokhlin', 'place of birth', 'Baku']
ASK WHERE { resource:Vladimir_Abramovich_Rokhlin property:place_of_birth resource:Baku }
[]
administrative territorial entity
SYSTEM
YES
(Q383045,P19,Q9248)
action is_in
entity Q9248
action find
entity Q383045
relation P19
[ANSWER]
['Q383045', 'P19', 'Q9248']
ASK WHERE { resource:Q383045 property:P19 resource:Q9248 }
Yes
action is_in
entity Baku
action find
entity Vladimir Abramovich Rokhlin
relation place of birth
['Vladimir Abramovich Rokhlin', 'place of birth', 'Baku']
ASK WHERE { resource:Vladimir_Abramovich_Rokhlin property:place_of_birth resource:Baku }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q383045
P106
Q12737077
USER
How many occupations are the professions of Vladimir Abramovich Rokhlin ?
(Q383045,P106,c(Q12737077))
action count
action filter_type
action find
entity Q383045
relation P106
type Q12737077
['Q383045', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?r ) WHERE { resource:Q383045 property:P106 ?k . ?k rdf:type ontology:Q12737077 }
Vladimir Abramovich Rokhlin
action count
action filter_type
action find
entity Vladimir Abramovich Rokhlin
relation occupation
type occupation
['Vladimir Abramovich Rokhlin', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?r ) WHERE { resource:Vladimir_Abramovich_Rokhlin property:occupation ?k . ?k rdf:type ontology:occupation }
[]
occupation
SYSTEM
3
Q18663426 Q170790 Q1622272
(Q383045,P106,c(Q12737077))
action count
action filter_type
action find
entity Q383045
relation P106
type Q12737077
[ANSWER]
['Q383045', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?r ) WHERE { resource:Q383045 property:P106 ?k . ?k rdf:type ontology:Q12737077 }
topologist mathematician university teacher
3
action count
action filter_type
action find
entity Vladimir Abramovich Rokhlin
relation occupation
type occupation
['Vladimir Abramovich Rokhlin', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?r ) WHERE { resource:Vladimir_Abramovich_Rokhlin property:occupation ?k . ?k rdf:type ontology:occupation }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q16595548
P21
Q290
USER
Which sex does Caroline Lagergren belong to ?
(Q16595548,P21,c(Q290))
action filter_type
action find
entity Q16595548
relation P21
type Q290
['Q16595548', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?t WHERE { resource:Q16595548 property:P21 ?t . ?t rdf:type ontology:Q290 }
Caroline Lagergren
action filter_type
action find
entity Caroline Lagergren
relation gender
type sex
['Caroline Lagergren', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?t WHERE { resource:Caroline_Lagergren property:gender ?t . ?t rdf:type ontology:sex }
[]
sex
Q6581072
SYSTEM
female
Q6581072
(Q16595548,P21,c(Q290))
action filter_type
action find
entity Q16595548
relation P21
type Q290
Caroline Lagergren belongs to [ANSWER]
['Q16595548', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?t WHERE { resource:Q16595548 property:P21 ?t . ?t rdf:type ontology:Q290 }
female
Caroline Lagergren belongs to female
female
action filter_type
action find
entity Caroline Lagergren
relation gender
type sex
['Caroline Lagergren', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?t WHERE { resource:Caroline_Lagergren property:gender ?t . ?t rdf:type ontology:sex }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q16595548
P27
Q15617994
USER
Which administrative territory is the native country of Caroline Lagergren ?
(Q16595548,P27,c(Q15617994))
action filter_type
action find
entity Q16595548
relation P27
type Q15617994
['Q16595548', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { resource:Q16595548 property:P27 ?f . ?f rdf:type ontology:Q15617994 }
Caroline Lagergren
action filter_type
action find
entity Caroline Lagergren
relation country of citizenship
type designation for an administrative territorial entity
['Caroline Lagergren', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:Caroline_Lagergren property:country_of_citizenship ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q34
SYSTEM
Sweden
Q34
(Q16595548,P27,c(Q15617994))
action filter_type
action find
entity Q16595548
relation P27
type Q15617994
[ANSWER] is the native country of Caroline Lagergren
['Q16595548', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { resource:Q16595548 property:P27 ?f . ?f rdf:type ontology:Q15617994 }
Sweden
Sweden is the native country of Caroline Lagergren
Sweden
action filter_type
action find
entity Caroline Lagergren
relation country of citizenship
type designation for an administrative territorial entity
['Caroline Lagergren', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:Caroline_Lagergren property:country_of_citizenship ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q34
P1001
Q35798
USER
Which executive branches apply to jurisdiction over that administrative territory ?
(c(Q35798),P1001,Q34)
action filter_type
action find_reverse
entity Q34
relation P1001
type Q35798
[{'concept': 'Q35798'}, 'P1001', 'Q34']
SELECT DISTINCT ?p WHERE { ?p property:P1001 resource:Q34 . ?p rdf:type ontology:Q35798 }
Sweden
action filter_type
action find_reverse
entity Sweden
relation applies to jurisdiction
type executive branch
[{'concept': 'executive branch'}, 'applies to jurisdiction', 'Sweden']
SELECT DISTINCT ?p WHERE { ?p property:applies_to_jurisdiction resource:Sweden . ?p rdf:type ontology:executive_branch }
[]
executive branch
Q4907240 Q3046743 Q4907653
SYSTEM
Carlsson III Cabinet, Reinfeldt Cabinet, Bildt Cabinet
Q4907240 Q3046743 Q4907653 Q5217837 Q10650416 Q5306179 Q5306186 Q5306190 Q4570330 Q10650420 Q5306200
(c(Q35798),P1001,Q34)
action filter_type
action find_reverse
entity Q34
relation P1001
type Q35798
[ANSWERS] apply to jurisdiction over that administrative territory
[{'concept': 'Q35798'}, 'P1001', 'Q34']
SELECT DISTINCT ?p WHERE { ?p property:P1001 resource:Q34 . ?p rdf:type ontology:Q35798 }
Carlsson III Cabinet Reinfeldt Cabinet Bildt Cabinet Palme II Cabinet Carlsson II Cabinet Ullsten Cabinet Fälldin III Cabinet Fälldin II Cabinet Persson Cabinet Edén Cabinet Fälldin I Cabinet
Carlsson III Cabinet, Reinfeldt Cabinet and Bildt Cabinet apply to jurisdiction over that administrative territory
Carlsson III Cabinet Reinfeldt Cabinet Bildt Cabinet
action filter_type
action find_reverse
entity Sweden
relation applies to jurisdiction
type executive branch
[{'concept': 'executive branch'}, 'applies to jurisdiction', 'Sweden']
SELECT DISTINCT ?p WHERE { ?p property:applies_to_jurisdiction resource:Sweden . ?p rdf:type ontology:executive_branch }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q34
P47
Q15617994
USER
Which administrative territories do Sweden share a border with ?
(c(Q15617994),P47,Q34)
action filter_type
action find
entity Q34
relation P47
type Q15617994
[{'concept': 'Q15617994'}, 'P47', 'Q34']
SELECT DISTINCT ?m WHERE { resource:Q34 property:P47 ?m . ?m rdf:type ontology:Q15617994 }
Sweden
action filter_type
action find
entity Sweden
relation shares border with
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Sweden']
SELECT DISTINCT ?m WHERE { resource:Sweden property:shares_border_with ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q33 Q20
SYSTEM
Finland, Norway
Q33 Q20
(c(Q15617994),P47,Q34)
action filter_type
action find
entity Q34
relation P47
type Q15617994
[ANSWERS]
[{'concept': 'Q15617994'}, 'P47', 'Q34']
SELECT DISTINCT ?m WHERE { resource:Q34 property:P47 ?m . ?m rdf:type ontology:Q15617994 }
Finland Norway
Finland Norway
action filter_type
action find
entity Sweden
relation shares border with
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Sweden']
SELECT DISTINCT ?m WHERE { resource:Sweden property:shares_border_with ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q33 Q20
P530
Q15617994
USER
Who have a diplomatic relationship with Finland and Norway ?
(Q33,P530,c(Q15617994)) (Q20,P530,c(Q15617994))
action union
action filter_type
action find
entity Q33
relation P530
type Q15617994
action filter_type
action find
entity Q20
relation P530
type Q15617994
['Q33', 'P530', {'concept': 'Q15617994'}] ['Q20', 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?h WHERE { { resource:Q20 property:P530 ?h . ?h rdf:type ontology:Q15617994 } UNION { resource:Q33 property:P530 ?h . ?h rdf:type ontology:Q15617994 } }
Finland Norway
action union
action filter_type
action find
entity Finland
relation diplomatic relation
type designation for an administrative territorial entity
action filter_type
action find
entity Norway
relation diplomatic relation
type designation for an administrative territorial entity
['Finland', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}] ['Norway', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?h WHERE { { resource:Norway property:diplomatic_relation ?h . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { resource:Finland property:diplomatic_relation ?h . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity } }
[]
designation for an administrative territorial entity
Q38 Q38
SYSTEM
Italy
Q38 Q38
(Q33,P530,c(Q15617994)) (Q20,P530,c(Q15617994))
action union
action filter_type
action find
entity Q33
relation P530
type Q15617994
action filter_type
action find
entity Q20
relation P530
type Q15617994
[ANSWER]
['Q33', 'P530', {'concept': 'Q15617994'}] ['Q20', 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?h WHERE { { resource:Q20 property:P530 ?h . ?h rdf:type ontology:Q15617994 } UNION { resource:Q33 property:P530 ?h . ?h rdf:type ontology:Q15617994 } }
Italy Italy
Italy Italy
action union
action filter_type
action find
entity Finland
relation diplomatic relation
type designation for an administrative territorial entity
action filter_type
action find
entity Norway
relation diplomatic relation
type designation for an administrative territorial entity
['Finland', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}] ['Norway', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?h WHERE { { resource:Norway property:diplomatic_relation ?h . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { resource:Finland property:diplomatic_relation ?h . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity } }
[]