Simple Question (Direct)
Simple Question
Q664843
P641
Q349
USER
Which sport did Yves Allegro participate in ?
(Q664843,P641,c(Q349))
action filter_type
action find
entity Q664843
relation P641
type Q349
['Q664843', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?s WHERE { resource:Q664843 property:P641 ?s . ?s rdf:type ontology:Q349 }
Yves Allegro
action filter_type
action find
entity Yves Allegro
relation sport
type sport
['Yves Allegro', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?s WHERE { resource:Yves_Allegro property:sport ?s . ?s rdf:type ontology:sport }
[]
sport
Q847
SYSTEM
tennis
Q847
(Q664843,P641,c(Q349))
action filter_type
action find
entity Q664843
relation P641
type Q349
Yves Allegro participated in [ANSWER]
['Q664843', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?s WHERE { resource:Q664843 property:P641 ?s . ?s rdf:type ontology:Q349 }
tennis
Yves Allegro participated in tennis
tennis
action filter_type
action find
entity Yves Allegro
relation sport
type sport
['Yves Allegro', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?s WHERE { resource:Yves_Allegro property:sport ?s . ?s rdf:type ontology:sport }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q664843
P551
Q13220204
USER
Where did that person reside ?
(Q847,P551,c(Q13220204))
action filter_type
action find
entity Q664843
relation P551
type Q13220204
['Q847', 'P551', {'concept': 'Q13220204'}]
SELECT DISTINCT ?z WHERE { resource:Q664843 property:P551 ?z . ?z rdf:type ontology:Q13220204 }
Yves Allegro
action filter_type
action find
entity Yves Allegro
relation residence
type second-level administrative country subdivision
['tennis', 'residence', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ?z WHERE { resource:Yves_Allegro property:residence ?z . ?z rdf:type ontology:second-level_administrative_country_subdivision }
[]
second-level administrative country subdivision
Q70151
SYSTEM
Grône
Q70151
(Q847,P551,c(Q13220204))
action filter_type
action find
entity Q664843
relation P551
type Q13220204
That person resided in [ANSWER]
['Q847', 'P551', {'concept': 'Q13220204'}]
SELECT DISTINCT ?z WHERE { resource:Q664843 property:P551 ?z . ?z rdf:type ontology:Q13220204 }
Grône
That person resided in Grône
Grône
action filter_type
action find
entity Yves Allegro
relation residence
type second-level administrative country subdivision
['tennis', 'residence', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ?z WHERE { resource:Yves_Allegro property:residence ?z . ?z rdf:type ontology:second-level_administrative_country_subdivision }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q664843 Q15520887
P19
Q13220204
USER
How many administrative country subdivisions were Yves Allegro or Waldemar Ager born in ?
(Q664843,P19,c(Q13220204)) (Q15520887,P19,c(Q13220204))
action count
action union
action filter_type
action find
entity Q664843
relation P19
type Q13220204
action filter_type
action find
entity Q15520887
relation P19
type Q13220204
['Q664843', 'P19', {'concept': 'Q13220204'}] ['Q15520887', 'P19', {'concept': 'Q13220204'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?z ) WHERE { { resource:Q664843 property:P19 ?b . ?b rdf:type ontology:Q13220204 } UNION { resource:Q15520887 property:P19 ?b . ?b rdf:type ontology:Q13220204 } }
Yves Allegro Waldemar Ager
action count
action union
action filter_type
action find
entity Yves Allegro
relation place of birth
type second-level administrative country subdivision
action filter_type
action find
entity Waldemar Ager
relation place of birth
type second-level administrative country subdivision
['Yves Allegro', 'place of birth', {'concept': 'second-level administrative country subdivision'}] ['Waldemar Ager', 'place of birth', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?z ) WHERE { { resource:Yves_Allegro property:place_of_birth ?b . ?b rdf:type ontology:second-level_administrative_country_subdivision } UNION { resource:Waldemar_Ager property:place_of_birth ?b . ?b rdf:type ontology:second-level_administrative_country_subdivision } }
[]
second-level administrative country subdivision
SYSTEM
2
Q70151 Q107135
(Q664843,P19,c(Q13220204)) (Q15520887,P19,c(Q13220204))
action count
action union
action filter_type
action find
entity Q664843
relation P19
type Q13220204
action filter_type
action find
entity Q15520887
relation P19
type Q13220204
[ANSWER]
['Q664843', 'P19', {'concept': 'Q13220204'}] ['Q15520887', 'P19', {'concept': 'Q13220204'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?z ) WHERE { { resource:Q664843 property:P19 ?b . ?b rdf:type ontology:Q13220204 } UNION { resource:Q15520887 property:P19 ?b . ?b rdf:type ontology:Q13220204 } }
Grône Fredrikstad
2
action count
action union
action filter_type
action find
entity Yves Allegro
relation place of birth
type second-level administrative country subdivision
action filter_type
action find
entity Waldemar Ager
relation place of birth
type second-level administrative country subdivision
['Yves Allegro', 'place of birth', {'concept': 'second-level administrative country subdivision'}] ['Waldemar Ager', 'place of birth', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?z ) WHERE { { resource:Yves_Allegro property:place_of_birth ?b . ?b rdf:type ontology:second-level_administrative_country_subdivision } UNION { resource:Waldemar_Ager property:place_of_birth ?b . ?b rdf:type ontology:second-level_administrative_country_subdivision } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q16090814 Q664843
P27
Q15617994
USER
Which administrative territories are the native countriesof Yves Allegro or LEE DONG WOO ?
OR((Q664843,P27,c(Q15617994)), (Q16090814,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q664843
relation P27
action find
entity Q16090814
relation P27
type Q15617994
{'OR': [['Q664843', 'P27', {'concept': 'Q15617994'}], ['Q16090814', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?m WHERE { { { resource:Q664843 property:P27 ?m } UNION { resource:Q16090814 property:P27 ?m } } . ?m rdf:type ontology:Q15617994 }
LEE DONG WOO Yves Allegro
action filter_type
action union
action find
entity Yves Allegro
relation country of citizenship
action find
entity LEE DONG WOO
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Yves Allegro', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['LEE DONG WOO', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?m WHERE { { { resource:Yves_Allegro property:country_of_citizenship ?m } UNION { resource:LEE_DONG_WOO property:country_of_citizenship ?m } } . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q39 Q884
SYSTEM
Switzerland, South Korea
Q39 Q884
OR((Q664843,P27,c(Q15617994)), (Q16090814,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q664843
relation P27
action find
entity Q16090814
relation P27
type Q15617994
[ANSWERS] are the native countriesof Yves Allegro or LEE DONG WOO
{'OR': [['Q664843', 'P27', {'concept': 'Q15617994'}], ['Q16090814', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?m WHERE { { { resource:Q664843 property:P27 ?m } UNION { resource:Q16090814 property:P27 ?m } } . ?m rdf:type ontology:Q15617994 }
Switzerland South Korea
Switzerland and South Korea are the native countriesof Yves Allegro or LEE DONG WOO
Switzerland South Korea
action filter_type
action union
action find
entity Yves Allegro
relation country of citizenship
action find
entity LEE DONG WOO
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Yves Allegro', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['LEE DONG WOO', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?m WHERE { { { resource:Yves_Allegro property:country_of_citizenship ?m } UNION { resource:LEE_DONG_WOO property:country_of_citizenship ?m } } . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q39 Q884
P17
Q2385804
USER
Which educational institutions are present in Switzerland and South Korea ?
(c(Q2385804),P17,Q39) (c(Q2385804),P17,Q884)
action union
action filter_type
action find_reverse
entity Q39
relation P17
type Q2385804
action filter_type
action find_reverse
entity Q884
relation P17
type Q2385804
[{'concept': 'Q2385804'}, 'P17', 'Q39'] [{'concept': 'Q2385804'}, 'P17', 'Q884']
SELECT DISTINCT ?p WHERE { { ?p property:P17 resource:Q884 . ?p rdf:type ontology:Q2385804 } UNION { ?p property:P17 resource:Q39 . ?p rdf:type ontology:Q2385804 } }
Switzerland South Korea
action union
action filter_type
action find_reverse
entity Switzerland
relation country
type educational institution
action filter_type
action find_reverse
entity South Korea
relation country
type educational institution
[{'concept': 'educational institution'}, 'country', 'Switzerland'] [{'concept': 'educational institution'}, 'country', 'South Korea']
SELECT DISTINCT ?p WHERE { { ?p property:country resource:South_Korea . ?p rdf:type ontology:educational_institution } UNION { ?p property:country resource:Switzerland . ?p rdf:type ontology:educational_institution } }
[]
educational institution
Q19362307 Q19362401 Q19362410
SYSTEM
Ehemalige Lateinschule, Ehemals Höhere Technische Lehranstalt, Gemeindeschulhaus
Q19362307 Q16937385 Q10302389 Q1558284 Q4036405 Q258286 Q16937379 Q1250291 Q21508787 Q2983574 Q6538122 Q2206283 Q19362401 Q19362410 Q21499070 Q18700058 Q18604786 Q18604787 Q18604785 Q12603204 Q16092548 Q12591408 Q12603268 Q5651455 Q5922476 Q19941558 Q4129759 Q18648642 Q10331957 Q500004 Q4997503 Q500011 Q18683648 Q18683649 Q18605353 Q14579599 Q18605113 Q3181302 Q6705649 Q17686128 Q16095681 Q6431599
(c(Q2385804),P17,Q39) (c(Q2385804),P17,Q884)
action union
action filter_type
action find_reverse
entity Q39
relation P17
type Q2385804
action filter_type
action find_reverse
entity Q884
relation P17
type Q2385804
[ANSWERS] are present in Switzerland and South Korea
[{'concept': 'Q2385804'}, 'P17', 'Q39'] [{'concept': 'Q2385804'}, 'P17', 'Q884']
SELECT DISTINCT ?p WHERE { { ?p property:P17 resource:Q884 . ?p rdf:type ontology:Q2385804 } UNION { ?p property:P17 resource:Q39 . ?p rdf:type ontology:Q2385804 } }
Ehemalige Lateinschule Lycée Jean-Piaget Institut Alpin Videmanette Gymnasium am Münsterplatz Collège du Léman Benedict International Education Group Japanese School in Zurich Geneva School of Diplomacy and International Relations Theological-Deaconal Seminary Aarau Collège Champittet Leysin American School SIS Swiss International School Ehemals Höhere Technische Lehranstalt Gemeindeschulhaus LB Lernbegeisterung Seoul Sinnamseong Elementary School Kangdong Elementary School Kangdong Elementary School Kangdong Elementary School Susung High School Kangdong Elementary School Daegu Hwanggum Elementary School Suwonbuk Middle School Hanyang University College of Engineering Howon University Hungjin Elementary School High School of Theology Hosu Elementary School Kweon Kab-yong Go School Daegu Hagnam Elementary School Bundang High School Daegu Hamji Elementary School Gwangnam Elementary School Gwangnam Elementary School Wonmyung Elementary School Korea Presbyterian Theological Seminary Mu-geo Elementary School Sungkyul University Luther University Daegwang Elementary School Seoul Daechi Elementary School Korea Baptist Theological University and Seminary
Ehemalige Lateinschule, Ehemals Höhere Technische Lehranstalt and Gemeindeschulhaus are present in Switzerland and South Korea
Ehemalige Lateinschule Ehemals Höhere Technische Lehranstalt Gemeindeschulhaus
action union
action filter_type
action find_reverse
entity Switzerland
relation country
type educational institution
action filter_type
action find_reverse
entity South Korea
relation country
type educational institution
[{'concept': 'educational institution'}, 'country', 'Switzerland'] [{'concept': 'educational institution'}, 'country', 'South Korea']
SELECT DISTINCT ?p WHERE { { ?p property:country resource:South_Korea . ?p rdf:type ontology:educational_institution } UNION { ?p property:country resource:Switzerland . ?p rdf:type ontology:educational_institution } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q39
P127
Q44377
USER
Which tunnel belongs to Switzerland ?
(c(Q44377),P127,Q39)
action filter_type
action find_reverse
entity Q39
relation P127
type Q44377
[{'concept': 'Q44377'}, 'P127', 'Q39']
SELECT DISTINCT ?n WHERE { ?n property:P127 resource:Q39 . ?n rdf:type ontology:Q44377 }
Switzerland
action filter_type
action find_reverse
entity Switzerland
relation owned by
type tunnel
[{'concept': 'tunnel'}, 'owned by', 'Switzerland']
SELECT DISTINCT ?n WHERE { ?n property:owned_by resource:Switzerland . ?n rdf:type ontology:tunnel }
[]
tunnel
Q684927
SYSTEM
Gotthard Road Tunnel
Q684927
(c(Q44377),P127,Q39)
action filter_type
action find_reverse
entity Q39
relation P127
type Q44377
[ANSWER] belongs to Switzerland
[{'concept': 'Q44377'}, 'P127', 'Q39']
SELECT DISTINCT ?n WHERE { ?n property:P127 resource:Q39 . ?n rdf:type ontology:Q44377 }
Gotthard Road Tunnel
Gotthard Road Tunnel belongs to Switzerland
Gotthard Road Tunnel
action filter_type
action find_reverse
entity Switzerland
relation owned by
type tunnel
[{'concept': 'tunnel'}, 'owned by', 'Switzerland']
SELECT DISTINCT ?n WHERE { ?n property:owned_by resource:Switzerland . ?n rdf:type ontology:tunnel }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q39
P1376
Q56061
USER
Which administrative territory is the capital of that administrative territory ?
(c(Q56061),P1376,Q684927)
action filter_type
action find_reverse
entity Q39
relation P1376
type Q56061
[{'concept': 'Q56061'}, 'P1376', 'Q684927']
SELECT DISTINCT ?j WHERE { ?j property:P1376 resource:Q39 . ?j rdf:type ontology:Q56061 }
Switzerland
action filter_type
action find_reverse
entity Switzerland
relation capital of
type administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'capital of', 'Gotthard Road Tunnel']
SELECT DISTINCT ?j WHERE { ?j property:capital_of resource:Switzerland . ?j rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q70
SYSTEM
Bern
Q70
(c(Q56061),P1376,Q684927)
action filter_type
action find_reverse
entity Q39
relation P1376
type Q56061
[ANSWER] is the capital of that administrative territory
[{'concept': 'Q56061'}, 'P1376', 'Q684927']
SELECT DISTINCT ?j WHERE { ?j property:P1376 resource:Q39 . ?j rdf:type ontology:Q56061 }
Bern
Bern is the capital of that administrative territory
Bern
action filter_type
action find_reverse
entity Switzerland
relation capital of
type administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'capital of', 'Gotthard Road Tunnel']
SELECT DISTINCT ?j WHERE { ?j property:capital_of resource:Switzerland . ?j rdf:type ontology:administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Difference|Multiple_Relation
Q5145682 Q39
P530 P27
Q1048835
USER
Which political territories holds diplomatic relationship with Switzerland and are not the countries of citizenship of Colin William Wright ?
AND((Q39,P530,c(Q1048835)), NOT((Q5145682,P27,c(Q1048835))))
action filter_type
action difference
action find
entity Q39
relation P530
action find
entity Q5145682
relation P27
type Q1048835
{'AND': [['Q39', 'P530', {'concept': 'Q1048835'}], {'NOT': [['Q5145682', 'P27', {'concept': 'Q1048835'}]]}]}
SELECT DISTINCT ?y WHERE { resource:Q39 property:P530 ?y . MINUS { resource:Q5145682 property:P27 ?y } . ?y rdf:type ontology:Q1048835 }
Colin William Wright Switzerland
action filter_type
action difference
action find
entity Switzerland
relation diplomatic relation
action find
entity Colin William Wright
relation country of citizenship
type political territorial entity
{'AND': [['Switzerland', 'diplomatic relation', {'concept': 'political territorial entity'}], {'NOT': [['Colin William Wright', 'country of citizenship', {'concept': 'political territorial entity'}]]}]}
SELECT DISTINCT ?y WHERE { resource:Switzerland property:diplomatic_relation ?y . MINUS { resource:Colin_William_Wright property:country_of_citizenship ?y } . ?y rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q16 Q183
SYSTEM
Canada, Germany
Q16 Q183
AND((Q39,P530,c(Q1048835)), NOT((Q5145682,P27,c(Q1048835))))
action filter_type
action difference
action find
entity Q39
relation P530
action find
entity Q5145682
relation P27
type Q1048835
[ANSWERS] hold diplomatic relationship with Switzerland and are not the countries of citizenship of Colin William Wright
{'AND': [['Q39', 'P530', {'concept': 'Q1048835'}], {'NOT': [['Q5145682', 'P27', {'concept': 'Q1048835'}]]}]}
SELECT DISTINCT ?y WHERE { resource:Q39 property:P530 ?y . MINUS { resource:Q5145682 property:P27 ?y } . ?y rdf:type ontology:Q1048835 }
Canada Germany
Canada and Germany hold diplomatic relationship with Switzerland and are not the countries of citizenship of Colin William Wright
Canada Germany
action filter_type
action difference
action find
entity Switzerland
relation diplomatic relation
action find
entity Colin William Wright
relation country of citizenship
type political territorial entity
{'AND': [['Switzerland', 'diplomatic relation', {'concept': 'political territorial entity'}], {'NOT': [['Colin William Wright', 'country of citizenship', {'concept': 'political territorial entity'}]]}]}
SELECT DISTINCT ?y WHERE { resource:Switzerland property:diplomatic_relation ?y . MINUS { resource:Colin_William_Wright property:country_of_citizenship ?y } . ?y rdf:type ontology:political_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q21611418
P27
Q502895
USER
Are Gene Stanley Van Horn civilians of those political territories ?
(Q21611418,P27,Q16) (Q21611418,P27,Q183)
action is_in
entity prev_answer
action find
entity Q21611418
relation P27
['Q21611418', 'P27', 'Q16'] ['Q21611418', 'P27', 'Q183']
ASK WHERE { VALUES ( ?t ) { ( resource:Q16 ) ( resource:Q183 ) } . resource:Q21611418 property:P27 ?t }
Gene Stanley Van Horn
action is_in
entity prev_answer
action find
entity Gene Stanley Van Horn
relation country of citizenship
['Gene Stanley Van Horn', 'country of citizenship', 'Canada'] ['Gene Stanley Van Horn', 'country of citizenship', 'Germany']
ASK WHERE { VALUES ( ?t ) { ( resource:Canada ) ( resource:Germany ) } . resource:Gene_Stanley_Van_Horn property:country_of_citizenship ?t }
[]
common name
SYSTEM
NO
(Q21611418,P27,Q16) (Q21611418,P27,Q183)
action is_in
entity prev_answer
action find
entity Q21611418
relation P27
[ANSWER]
['Q21611418', 'P27', 'Q16'] ['Q21611418', 'P27', 'Q183']
ASK WHERE { VALUES ( ?t ) { ( resource:Q16 ) ( resource:Q183 ) } . resource:Q21611418 property:P27 ?t }
No
action is_in
entity prev_answer
action find
entity Gene Stanley Van Horn
relation country of citizenship
['Gene Stanley Van Horn', 'country of citizenship', 'Canada'] ['Gene Stanley Van Horn', 'country of citizenship', 'Germany']
ASK WHERE { VALUES ( ?t ) { ( resource:Canada ) ( resource:Germany ) } . resource:Gene_Stanley_Van_Horn property:country_of_citizenship ?t }
[]