Simple Question (Direct)
Simple Question
Q1655425
P101
Q11862829
USER
Which field does Ian Agol belong to ?
(Q1655425,P101,c(Q11862829))
action filter_type
action find
entity Q1655425
relation P101
type Q11862829
['Q1655425', 'P101', {'concept': 'Q11862829'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q11862829 . resource:Q1655425 property:P101 ?z }
Ian Agol
action filter_type
action find
entity Ian Agol
relation field of work
type academic discipline
['Ian Agol', 'field of work', {'concept': 'academic discipline'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:academic_discipline . resource:Ian_Agol property:field_of_work ?z }
[]
academic discipline
Q42989
SYSTEM
topology
Q42989
(Q1655425,P101,c(Q11862829))
action filter_type
action find
entity Q1655425
relation P101
type Q11862829
Ian Agol belongs to [ANSWER]
['Q1655425', 'P101', {'concept': 'Q11862829'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q11862829 . resource:Q1655425 property:P101 ?z }
topology
Ian Agol belongs to topology
topology
action filter_type
action find
entity Ian Agol
relation field of work
type academic discipline
['Ian Agol', 'field of work', {'concept': 'academic discipline'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:academic_discipline . resource:Ian_Agol property:field_of_work ?z }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1655425
P184
Q502895
USER
Which person was the doctoral supervisor of that one ?
(Q42989,P184,c(Q502895))
action filter_type
action find
entity Q1655425
relation P184
type Q502895
['Q42989', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?p WHERE { resource:Q1655425 property:P184 ?p . ?p rdf:type ontology:Q502895 }
Ian Agol
action filter_type
action find
entity Ian Agol
relation doctoral advisor
type common name
['topology', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?p WHERE { resource:Ian_Agol property:doctoral_advisor ?p . ?p rdf:type ontology:common_name }
[]
common name
Q333494
SYSTEM
Michael Freedman
Q333494
(Q42989,P184,c(Q502895))
action filter_type
action find
entity Q1655425
relation P184
type Q502895
[ANSWER] was the doctoral supervisor of that one
['Q42989', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?p WHERE { resource:Q1655425 property:P184 ?p . ?p rdf:type ontology:Q502895 }
Michael Freedman
Michael Freedman was the doctoral supervisor of that one
Michael Freedman
action filter_type
action find
entity Ian Agol
relation doctoral advisor
type common name
['topology', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?p WHERE { resource:Ian_Agol property:doctoral_advisor ?p . ?p rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q333494 Q30 Q111100
P27
Q15617994
USER
Is that person a native of United States of America and Bagnolo in Piano ?
(Q333494,P27,Q30) (Q333494,P27,Q111100)
action is_in
entity Q333494
action intersection
action find_reverse
entity Q30
relation P27
action find_reverse
entity Q111100
relation P27
['Q333494', 'P27', 'Q30'] ['Q333494', 'P27', 'Q111100']
ASK WHERE { resource:Q333494 property:P27 resource:Q30 . resource:Q333494 property:P27 resource:Q111100 }
Michael Freedman United States of America Bagnolo in Piano
action is_in
entity Michael Freedman
action intersection
action find_reverse
entity United States of America
relation country of citizenship
action find_reverse
entity Bagnolo in Piano
relation country of citizenship
['Michael Freedman', 'country of citizenship', 'United States of America'] ['Michael Freedman', 'country of citizenship', 'Bagnolo in Piano']
ASK WHERE { resource:Michael_Freedman property:country_of_citizenship resource:United_States_of_America . resource:Michael_Freedman property:country_of_citizenship resource:Bagnolo_in_Piano }
[]
designation for an administrative territorial entity
SYSTEM
YES and NO respectively
(Q333494,P27,Q30) (Q333494,P27,Q111100)
action is_in
entity Q333494
action intersection
action find_reverse
entity Q30
relation P27
action find_reverse
entity Q111100
relation P27
[ANSWER]
['Q333494', 'P27', 'Q30'] ['Q333494', 'P27', 'Q111100']
ASK WHERE { resource:Q333494 property:P27 resource:Q30 . resource:Q333494 property:P27 resource:Q111100 }
YES and NO respectively
action is_in
entity Michael Freedman
action intersection
action find_reverse
entity United States of America
relation country of citizenship
action find_reverse
entity Bagnolo in Piano
relation country of citizenship
['Michael Freedman', 'country of citizenship', 'United States of America'] ['Michael Freedman', 'country of citizenship', 'Bagnolo in Piano']
ASK WHERE { resource:Michael_Freedman property:country_of_citizenship resource:United_States_of_America . resource:Michael_Freedman property:country_of_citizenship resource:Bagnolo_in_Piano }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q333494
P166
Q618779
USER
What was won by Michael Freedman ?
(Q333494,P166,c(Q618779))
action filter_type
action find
entity Q333494
relation P166
type Q618779
['Q333494', 'P166', {'concept': 'Q618779'}]
SELECT DISTINCT ?l WHERE { ?l rdf:type ontology:Q618779 . resource:Q333494 property:P166 ?l }
Michael Freedman
action filter_type
action find
entity Michael Freedman
relation award received
type award
['Michael Freedman', 'award received', {'concept': 'award'}]
SELECT DISTINCT ?l WHERE { ?l rdf:type ontology:award . resource:Michael_Freedman property:award_received ?l }
[]
award
Q28835
SYSTEM
Fields Medal
Q28835
(Q333494,P166,c(Q618779))
action filter_type
action find
entity Q333494
relation P166
type Q618779
The [ANSWER] was won by Michael Freedman
['Q333494', 'P166', {'concept': 'Q618779'}]
SELECT DISTINCT ?l WHERE { ?l rdf:type ontology:Q618779 . resource:Q333494 property:P166 ?l }
Fields Medal
The Fields Medal was won by Michael Freedman
Fields Medal
action filter_type
action find
entity Michael Freedman
relation award received
type award
['Michael Freedman', 'award received', {'concept': 'award'}]
SELECT DISTINCT ?l WHERE { ?l rdf:type ontology:award . resource:Michael_Freedman property:award_received ?l }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q333494
P19
Q56061
USER
How many administrative territories were Michael Freedman born in ?
(Q333494,P19,c(Q56061))
action count
action filter_type
action find
entity Q333494
relation P19
type Q56061
['Q333494', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?k ) WHERE { resource:Q333494 property:P19 ?l . ?l rdf:type ontology:Q56061 }
Michael Freedman
action count
action filter_type
action find
entity Michael Freedman
relation place of birth
type administrative territorial entity
['Michael Freedman', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?k ) WHERE { resource:Michael_Freedman property:place_of_birth ?l . ?l rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
SYSTEM
1
Q65
(Q333494,P19,c(Q56061))
action count
action filter_type
action find
entity Q333494
relation P19
type Q56061
[ANSWER]
['Q333494', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?k ) WHERE { resource:Q333494 property:P19 ?l . ?l rdf:type ontology:Q56061 }
Los Angeles
1
action count
action filter_type
action find
entity Michael Freedman
relation place of birth
type administrative territorial entity
['Michael Freedman', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?k ) WHERE { resource:Michael_Freedman property:place_of_birth ?l . ?l rdf:type ontology:administrative_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Incomplete count-based ques
Q1441490
Q56061
USER
And what about Francis F. Patterson, Jr.?
(Q1441490,P19,c(Q56061))
action count
action filter_type
action find
entity Q1441490
relation P19
type Q56061
['Q1441490', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?m ) WHERE { resource:Q1441490 property:P19 ?t . ?t rdf:type ontology:Q56061 }
Francis F. Patterson, Jr.
action count
action filter_type
action find
entity Francis F. Patterson, Jr.
relation place of birth
type administrative territorial entity
['Francis F. Patterson, Jr.', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?m ) WHERE { resource:Francis_F._Patterson,_Jr. property:place_of_birth ?t . ?t rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
SYSTEM
1
(Q1441490,P19,c(Q56061))
action count
action filter_type
action find
entity Q1441490
relation P19
type Q56061
[ANSWER]
['Q1441490', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?m ) WHERE { resource:Q1441490 property:P19 ?t . ?t rdf:type ontology:Q56061 }
1
action count
action filter_type
action find
entity Francis F. Patterson, Jr.
relation place of birth
type administrative territorial entity
['Francis F. Patterson, Jr.', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?m ) WHERE { resource:Francis_F._Patterson,_Jr. property:place_of_birth ?t . ?t rdf:type ontology:administrative_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q333494
P1346
Q618779
USER
How many awards were won by Michael Freedman ?
(c(Q618779),P1346,Q333494)
action count
action filter_type
action find_reverse
entity Q333494
relation P1346
type Q618779
[{'concept': 'Q618779'}, 'P1346', 'Q333494']
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { ?v property:P1346 resource:Q333494 . ?v rdf:type ontology:Q618779 }
Michael Freedman
action count
action filter_type
action find_reverse
entity Michael Freedman
relation winner
type award
[{'concept': 'award'}, 'winner', 'Michael Freedman']
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { ?v property:winner resource:Michael_Freedman . ?v rdf:type ontology:award }
[]
award
SYSTEM
1
Q28835
(c(Q618779),P1346,Q333494)
action count
action filter_type
action find_reverse
entity Q333494
relation P1346
type Q618779
[ANSWER]
[{'concept': 'Q618779'}, 'P1346', 'Q333494']
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { ?v property:P1346 resource:Q333494 . ?v rdf:type ontology:Q618779 }
Fields Medal
1
action count
action filter_type
action find_reverse
entity Michael Freedman
relation winner
type award
[{'concept': 'award'}, 'winner', 'Michael Freedman']
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { ?v property:winner resource:Michael_Freedman . ?v rdf:type ontology:award }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q16606451 Q1655425
P27
Q15617994
USER
Which administrative territories are the countries of citizenship of Ian Agol or Mercedes Peñas Domingo ?
OR((Q1655425,P27,c(Q15617994)), (Q16606451,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q1655425
relation P27
action find
entity Q16606451
relation P27
type Q15617994
{'OR': [['Q1655425', 'P27', {'concept': 'Q15617994'}], ['Q16606451', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Q1655425 property:P27 ?r } UNION { resource:Q16606451 property:P27 ?r } } . ?r rdf:type ontology:Q15617994 }
Mercedes Peñas Domingo Ian Agol
action filter_type
action union
action find
entity Ian Agol
relation country of citizenship
action find
entity Mercedes Peñas Domingo
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Ian Agol', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Mercedes Peñas Domingo', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Ian_Agol property:country_of_citizenship ?r } UNION { resource:Mercedes_Peñas_Domingo property:country_of_citizenship ?r } } . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q29 Q30 Q800
SYSTEM
Spain, United States of America, Costa Rica
Q29 Q30 Q800
OR((Q1655425,P27,c(Q15617994)), (Q16606451,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q1655425
relation P27
action find
entity Q16606451
relation P27
type Q15617994
[ANSWERS] are the countries of citizenship of Ian Agol or Mercedes Peñas Domingo
{'OR': [['Q1655425', 'P27', {'concept': 'Q15617994'}], ['Q16606451', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Q1655425 property:P27 ?r } UNION { resource:Q16606451 property:P27 ?r } } . ?r rdf:type ontology:Q15617994 }
Spain United States of America Costa Rica
Spain, United States of America and Costa Rica are the countries of citizenship of Ian Agol or Mercedes Peñas Domingo
Spain United States of America Costa Rica
action filter_type
action union
action find
entity Ian Agol
relation country of citizenship
action find
entity Mercedes Peñas Domingo
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Ian Agol', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Mercedes Peñas Domingo', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Ian_Agol property:country_of_citizenship ?r } UNION { resource:Mercedes_Peñas_Domingo property:country_of_citizenship ?r } } . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]