Simple Question (Direct)
Simple Question
Q1240916
P184
Q502895
USER
Who was the doctoral advisor of András Prékopa ?
(Q1240916,P184,c(Q502895))
action filter_type
action find
entity Q1240916
relation P184
type Q502895
['Q1240916', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?r WHERE { resource:Q1240916 property:P184 ?r . ?r rdf:type ontology:Q502895 }
András Prékopa
action filter_type
action find
entity András Prékopa
relation doctoral advisor
type common name
['András Prékopa', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?r WHERE { resource:András_Prékopa property:doctoral_advisor ?r . ?r rdf:type ontology:common_name }
[]
common name
Q465715
SYSTEM
Alfréd Rényi
Q465715
(Q1240916,P184,c(Q502895))
action filter_type
action find
entity Q1240916
relation P184
type Q502895
The doctoral advisor of András Prékopa was [ANSWER]
['Q1240916', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?r WHERE { resource:Q1240916 property:P184 ?r . ?r rdf:type ontology:Q502895 }
Alfréd Rényi
The doctoral advisor of András Prékopa was Alfréd Rényi
Alfréd Rényi
action filter_type
action find
entity András Prékopa
relation doctoral advisor
type common name
['András Prékopa', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?r WHERE { resource:András_Prékopa property:doctoral_advisor ?r . ?r rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q465715
P20
Q56061
USER
Where did the expiration of that person occur ?
(Q465715,P20,c(Q56061))
action filter_type
action find
entity Q465715
relation P20
type Q56061
['Q465715', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?e WHERE { resource:Q465715 property:P20 ?e . ?e rdf:type ontology:Q56061 }
Alfréd Rényi
action filter_type
action find
entity Alfréd Rényi
relation place of death
type administrative territorial entity
['Alfréd Rényi', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:Alfréd_Rényi property:place_of_death ?e . ?e rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q1781
SYSTEM
Budapest
Q1781
(Q465715,P20,c(Q56061))
action filter_type
action find
entity Q465715
relation P20
type Q56061
The expiration of that person occurred in [ANSWER]
['Q465715', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?e WHERE { resource:Q465715 property:P20 ?e . ?e rdf:type ontology:Q56061 }
Budapest
The expiration of that person occurred in Budapest
Budapest
action filter_type
action find
entity Alfréd Rényi
relation place of death
type administrative territorial entity
['Alfréd Rényi', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:Alfréd_Rényi property:place_of_death ?e . ?e rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q1781 Q6397392
P19
Q502895
USER
Was Kevin Roth born at that administrative territory ?
(Q6397392,P19,Q1781)
action is_in
entity Q6397392
action find
entity Q1781
relation P19
['Q6397392', 'P19', 'Q1781']
ASK WHERE { resource:Q1781 property:P19 resource:Q6397392 }
Budapest Kevin Roth
action is_in
entity Kevin Roth
action find
entity Budapest
relation place of birth
['Kevin Roth', 'place of birth', 'Budapest']
ASK WHERE { resource:Budapest property:place_of_birth resource:Kevin_Roth }
[]
common name
SYSTEM
NO
(Q6397392,P19,Q1781)
action is_in
entity Q6397392
action find
entity Q1781
relation P19
[ANSWER]
['Q6397392', 'P19', 'Q1781']
ASK WHERE { resource:Q1781 property:P19 resource:Q6397392 }
No
action is_in
entity Kevin Roth
action find
entity Budapest
relation place of birth
['Kevin Roth', 'place of birth', 'Budapest']
ASK WHERE { resource:Budapest property:place_of_birth resource:Kevin_Roth }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1781
P190
Q486972
USER
Which human settlements are sister town of that administrative territory ?
action filter_type
action find
entity Q1781
relation P190
type Q486972
SELECT DISTINCT ?z WHERE { resource:Q1781 property:P190 ?z . ?z rdf:type ontology:Q486972 }
Budapest
action filter_type
action find
entity Budapest
relation sister city
type human settlement
SELECT DISTINCT ?z WHERE { resource:Budapest property:sister_city ?z . ?z rdf:type ontology:human_settlement }
[]
human settlement
Q102317 Q31487
SYSTEM
Kielce, Kraków
Q102317 Q31487
action filter_type
action find
entity Q1781
relation P190
type Q486972
[ANSWERS] are sister town of that administrative territory
SELECT DISTINCT ?z WHERE { resource:Q1781 property:P190 ?z . ?z rdf:type ontology:Q486972 }
Kielce Kraków
Kielce and Kraków are sister town of that administrative territory
Kielce Kraków
action filter_type
action find
entity Budapest
relation sister city
type human settlement
SELECT DISTINCT ?z WHERE { resource:Budapest property:sister_city ?z . ?z rdf:type ontology:human_settlement }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q5798256
P190
Q56061
USER
Are Bizjan-e Olya partner town of those human settlements ?
(Q5798256,P190,Q102317) (Q5798256,P190,Q31487)
action is_in
entity prev_answer
action find
entity Q5798256
relation P190
['Q5798256', 'P190', 'Q102317'] ['Q5798256', 'P190', 'Q31487']
ASK WHERE { resource:Q5798256 property:P190 ?v . VALUES ( ?v ) { ( resource:Q102317 ) ( resource:Q31487 ) } }
Bizjan-e Olya
action is_in
entity prev_answer
action find
entity Bizjan-e Olya
relation sister city
['Bizjan-e Olya', 'sister city', 'Kielce'] ['Bizjan-e Olya', 'sister city', 'Kraków']
ASK WHERE { resource:Bizjan-e_Olya property:sister_city ?v . VALUES ( ?v ) { ( resource:Kielce ) ( resource:Kraków ) } }
[]
administrative territorial entity
SYSTEM
NO
(Q5798256,P190,Q102317) (Q5798256,P190,Q31487)
action is_in
entity prev_answer
action find
entity Q5798256
relation P190
[ANSWER]
['Q5798256', 'P190', 'Q102317'] ['Q5798256', 'P190', 'Q31487']
ASK WHERE { resource:Q5798256 property:P190 ?v . VALUES ( ?v ) { ( resource:Q102317 ) ( resource:Q31487 ) } }
No
action is_in
entity prev_answer
action find
entity Bizjan-e Olya
relation sister city
['Bizjan-e Olya', 'sister city', 'Kielce'] ['Bizjan-e Olya', 'sister city', 'Kraków']
ASK WHERE { resource:Bizjan-e_Olya property:sister_city ?v . VALUES ( ?v ) { ( resource:Kielce ) ( resource:Kraków ) } }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1240916 Q477600
P27
Q15617994
USER
Is András Prékopa a civilian of Mussomeli ?
(Q1240916,P27,Q477600)
action is_in
entity Q477600
action find
entity Q1240916
relation P27
['Q1240916', 'P27', 'Q477600']
ASK WHERE { resource:Q1240916 property:P27 resource:Q477600 }
András Prékopa Mussomeli
action is_in
entity Mussomeli
action find
entity András Prékopa
relation country of citizenship
['András Prékopa', 'country of citizenship', 'Mussomeli']
ASK WHERE { resource:András_Prékopa property:country_of_citizenship resource:Mussomeli }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q1240916,P27,Q477600)
action is_in
entity Q477600
action find
entity Q1240916
relation P27
[ANSWER]
['Q1240916', 'P27', 'Q477600']
ASK WHERE { resource:Q1240916 property:P27 resource:Q477600 }
No
action is_in
entity Mussomeli
action find
entity András Prékopa
relation country of citizenship
['András Prékopa', 'country of citizenship', 'Mussomeli']
ASK WHERE { resource:András_Prékopa property:country_of_citizenship resource:Mussomeli }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q173746 Q1240916
P138
Q2684591
USER
Which statements have András Prékopa or Paul Erdős as their toponym ?
OR((c(Q2684591),P138,Q1240916), (c(Q2684591),P138,Q173746))
action filter_type
action union
action find_reverse
entity Q1240916
relation P138
action find_reverse
entity Q173746
relation P138
type Q2684591
{'OR': [[{'concept': 'Q2684591'}, 'P138', 'Q1240916'], [{'concept': 'Q2684591'}, 'P138', 'Q173746']]}
SELECT DISTINCT ?v WHERE { { { ?v property:P138 resource:Q173746 } UNION { ?v property:P138 resource:Q1240916 } } . ?v rdf:type ontology:Q2684591 }
Paul Erdős András Prékopa
action filter_type
action union
action find_reverse
entity András Prékopa
relation named after
action find_reverse
entity Paul Erdős
relation named after
type statement
{'OR': [[{'concept': 'statement'}, 'named after', 'András Prékopa'], [{'concept': 'statement'}, 'named after', 'Paul Erdős']]}
SELECT DISTINCT ?v WHERE { { { ?v property:named_after resource:Paul_Erdős } UNION { ?v property:named_after resource:András_Prékopa } } . ?v rdf:type ontology:statement }
[]
statement
Q5385324 Q17027747 Q846840 Q5385325 Q3526982 Q1366581 Q5385326 Q5385327 Q976607 Q3526986
SYSTEM
Some of them are Erdős–Nagy theorem, Hsu–Robbins–Erdős theorem, Erdős–Kac theorem, Erdős–Pósa theorem, Erdős–Anning theorem, Erdős–Rado theorem, Erdős–Stone theorem, Erdős–Turán inequality, Erdős–Szekeres theorem, Erdős–Szemerédi theorem
Q846840 Q3527056 Q3527054 Q3526982 Q718875 Q3526986 Q990530 Q17027747 Q5385325 Q5385324 Q5385327 Q5385326 Q1366581 Q2902746 Q5385323 Q976607 Q7253815 Q2993308 Q3526980
OR((c(Q2684591),P138,Q1240916), (c(Q2684591),P138,Q173746))
action filter_type
action union
action find_reverse
entity Q1240916
relation P138
action find_reverse
entity Q173746
relation P138
type Q2684591
[ANSWERS] have András Prékopa or Paul Erdős as their toponym
{'OR': [[{'concept': 'Q2684591'}, 'P138', 'Q1240916'], [{'concept': 'Q2684591'}, 'P138', 'Q173746']]}
SELECT DISTINCT ?v WHERE { { { ?v property:P138 resource:Q173746 } UNION { ?v property:P138 resource:Q1240916 } } . ?v rdf:type ontology:Q2684591 }
Erdős–Kac theorem De Bruijn–Erdős theorem De Bruijn–Erdős theorem Erdős–Anning theorem Erdős–Ko–Rado theorem Erdős–Szemerédi theorem Erdős–Mordell inequality Hsu–Robbins–Erdős theorem Erdős–Pósa theorem Erdős–Nagy theorem Erdős–Turán inequality Erdős–Stone theorem Erdős–Rado theorem Erdős–Graham problem Erdős–Gallai theorem Erdős–Szekeres theorem Prékopa–Leindler inequality Cameron–Erdős conjecture Erdős–Fuchs theorem
Erdős–Nagy theorem, Hsu–Robbins–Erdős theorem, Erdős–Kac theorem, Erdős–Pósa theorem, Erdős–Anning theorem, Erdős–Rado theorem, Erdős–Stone theorem, Erdős–Turán inequality, Erdős–Szekeres theorem and Erdős–Szemerédi theorem have András Prékopa or Paul Erdős as their toponym
Erdős–Nagy theorem Hsu–Robbins–Erdős theorem Erdős–Kac theorem Erdős–Pósa theorem Erdős–Anning theorem Erdős–Rado theorem Erdős–Stone theorem Erdős–Turán inequality Erdős–Szekeres theorem Erdős–Szemerédi theorem
action filter_type
action union
action find_reverse
entity András Prékopa
relation named after
action find_reverse
entity Paul Erdős
relation named after
type statement
{'OR': [[{'concept': 'statement'}, 'named after', 'András Prékopa'], [{'concept': 'statement'}, 'named after', 'Paul Erdős']]}
SELECT DISTINCT ?v WHERE { { { ?v property:named_after resource:Paul_Erdős } UNION { ?v property:named_after resource:András_Prékopa } } . ?v rdf:type ontology:statement }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q173746
P138
Q2684591
USER
How many statements have Paul Erdős as their toponym ?
(c(Q2684591),P138,Q173746)
action count
action filter_type
action find_reverse
entity Q173746
relation P138
type Q2684591
[{'concept': 'Q2684591'}, 'P138', 'Q173746']
SELECT DISTINCT ( COUNT ( ?x ) AS ?b ) WHERE { ?x property:P138 resource:Q173746 . ?x rdf:type ontology:Q2684591 }
Paul Erdős
action count
action filter_type
action find_reverse
entity Paul Erdős
relation named after
type statement
[{'concept': 'statement'}, 'named after', 'Paul Erdős']
SELECT DISTINCT ( COUNT ( ?x ) AS ?b ) WHERE { ?x property:named_after resource:Paul_Erdős . ?x rdf:type ontology:statement }
[]
statement
SYSTEM
18
Q3527056 Q3527054 Q5385325 Q5385324 Q5385323 Q846840 Q5385327 Q5385326 Q990530 Q718875 Q976607 Q3526982 Q3526980 Q3526986 Q2993308 Q2902746 Q17027747 Q1366581
(c(Q2684591),P138,Q173746)
action count
action filter_type
action find_reverse
entity Q173746
relation P138
type Q2684591
[ANSWER]
[{'concept': 'Q2684591'}, 'P138', 'Q173746']
SELECT DISTINCT ( COUNT ( ?x ) AS ?b ) WHERE { ?x property:P138 resource:Q173746 . ?x rdf:type ontology:Q2684591 }
De Bruijn–Erdős theorem De Bruijn–Erdős theorem Erdős–Pósa theorem Erdős–Nagy theorem Erdős–Gallai theorem Erdős–Kac theorem Erdős–Turán inequality Erdős–Stone theorem Erdős–Mordell inequality Erdős–Ko–Rado theorem Erdős–Szekeres theorem Erdős–Anning theorem Erdős–Fuchs theorem Erdős–Szemerédi theorem Cameron–Erdős conjecture Erdős–Graham problem Hsu–Robbins–Erdős theorem Erdős–Rado theorem
18
action count
action filter_type
action find_reverse
entity Paul Erdős
relation named after
type statement
[{'concept': 'statement'}, 'named after', 'Paul Erdős']
SELECT DISTINCT ( COUNT ( ?x ) AS ?b ) WHERE { ?x property:named_after resource:Paul_Erdős . ?x rdf:type ontology:statement }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q173746
P161
Q838948
USER
Which work of art has that person as actor ?
action filter_type
action find_reverse
entity Q173746
relation P161
type Q838948
SELECT DISTINCT ?j WHERE { ?j property:P161 resource:Q173746 . ?j rdf:type ontology:Q838948 }
Paul Erdős
action filter_type
action find_reverse
entity Paul Erdős
relation cast member
type work of art
SELECT DISTINCT ?j WHERE { ?j property:cast_member resource:Paul_Erdős . ?j rdf:type ontology:work_of_art }
[]
work of art
Q6956300
SYSTEM
N Is a Number: A Portrait of Paul Erdős
Q6956300
action filter_type
action find_reverse
entity Q173746
relation P161
type Q838948
[ANSWER] has that person as actor
SELECT DISTINCT ?j WHERE { ?j property:P161 resource:Q173746 . ?j rdf:type ontology:Q838948 }
N Is a Number: A Portrait of Paul Erdős
N Is a Number: A Portrait of Paul Erdős has that person as actor
N Is a Number: A Portrait of Paul Erdős
action filter_type
action find_reverse
entity Paul Erdős
relation cast member
type work of art
SELECT DISTINCT ?j WHERE { ?j property:cast_member resource:Paul_Erdős . ?j rdf:type ontology:work_of_art }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q173746
P101
Q11862829
USER
Which academic disciplines are the area of Paul Erdős ?
(Q173746,P101,c(Q11862829))
action filter_type
action find
entity Q173746
relation P101
type Q11862829
['Q173746', 'P101', {'concept': 'Q11862829'}]
SELECT DISTINCT ?o WHERE { resource:Q173746 property:P101 ?o . ?o rdf:type ontology:Q11862829 }
Paul Erdős
action filter_type
action find
entity Paul Erdős
relation field of work
type academic discipline
['Paul Erdős', 'field of work', {'concept': 'academic discipline'}]
SELECT DISTINCT ?o WHERE { resource:Paul_Erdős property:field_of_work ?o . ?o rdf:type ontology:academic_discipline }
[]
academic discipline
Q12479 Q76592
SYSTEM
number theory, combinatorics
Q12479 Q76592
(Q173746,P101,c(Q11862829))
action filter_type
action find
entity Q173746
relation P101
type Q11862829
[ANSWERS] are the area of Paul Erdős
['Q173746', 'P101', {'concept': 'Q11862829'}]
SELECT DISTINCT ?o WHERE { resource:Q173746 property:P101 ?o . ?o rdf:type ontology:Q11862829 }
number theory combinatorics
Number theory and combinatorics are the area of Paul Erdős
number theory combinatorics
action filter_type
action find
entity Paul Erdős
relation field of work
type academic discipline
['Paul Erdős', 'field of work', {'concept': 'academic discipline'}]
SELECT DISTINCT ?o WHERE { resource:Paul_Erdős property:field_of_work ?o . ?o rdf:type ontology:academic_discipline }
[]