Simple Question (Direct)
Simple Question
Q1272308
P27
Q1048835
USER
Which political territory is Emil Kraus a civilian of ?
(Q1272308,P27,c(Q1048835))
action filter_type
action find
entity Q1272308
relation P27
type Q1048835
['Q1272308', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q1048835 . resource:Q1272308 property:P27 ?b }
Emil Kraus
action filter_type
action find
entity Emil Kraus
relation country of citizenship
type political territorial entity
['Emil Kraus', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:political_territorial_entity . resource:Emil_Kraus property:country_of_citizenship ?b }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
(Q1272308,P27,c(Q1048835))
action filter_type
action find
entity Q1272308
relation P27
type Q1048835
[ANSWER] is Emil Kraus a civilian of
['Q1272308', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q1048835 . resource:Q1272308 property:P27 ?b }
Germany
Germany is Emil Kraus a civilian of
Germany
action filter_type
action find
entity Emil Kraus
relation country of citizenship
type political territorial entity
['Emil Kraus', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:political_territorial_entity . resource:Emil_Kraus property:country_of_citizenship ?b }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1272308
P106
Q12737077
USER
Which occupation has Emil Kraus as his/her 's career ?
(Q1272308,P106,c(Q12737077))
action filter_type
action find
entity Q1272308
relation P106
type Q12737077
['Q1272308', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?f WHERE { resource:Q1272308 property:P106 ?f . ?f rdf:type ontology:Q12737077 }
Emil Kraus
action filter_type
action find
entity Emil Kraus
relation occupation
type occupation
['Emil Kraus', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?f WHERE { resource:Emil_Kraus property:occupation ?f . ?f rdf:type ontology:occupation }
[]
occupation
Q82955
SYSTEM
politician
Q82955
(Q1272308,P106,c(Q12737077))
action filter_type
action find
entity Q1272308
relation P106
type Q12737077
The [ANSWER] has Emil Kraus as his/her 's career
['Q1272308', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?f WHERE { resource:Q1272308 property:P106 ?f . ?f rdf:type ontology:Q12737077 }
politician
The politician has Emil Kraus as his/her 's career
politician
action filter_type
action find
entity Emil Kraus
relation occupation
type occupation
['Emil Kraus', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?f WHERE { resource:Emil_Kraus property:occupation ?f . ?f rdf:type ontology:occupation }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q5589
P941
Q502895 Q234460 Q502895
USER
How many people were the sources of inspiration for lesser number of texts or people than Henri Matisse ?
(c(Q234460)|c(Q502895),P941,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P941
type Q502895
type Q234460
action find_reverse_tuple_counts
relation P941
type Q502895
type Q502895
action count
action filter_multi_types
action find_reverse
entity Q5589
relation P941
type Q234460
type Q502895
[[{'concept': 'Q234460'}, {'concept': 'Q502895'}], 'P941', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?b ) WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?n ) ?v WHERE { { ?o property:P941 ?v . ?o rdf:type ontology:Q234460 . ?v rdf:type ontology:Q502895 } UNION { ?v rdf:type ontology:Q502895 . ?o rdf:type ontology:Q502895 . ?o property:P941 ?v } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?t ) WHERE { ?z property:P941 resource:Q5589 . { { ?z rdf:type ontology:Q234460 } UNION { ?z rdf:type ontology:Q502895 } } } } . FILTER ( ?n < ?t ) }
Henri Matisse
action count
action less
action union
action find_reverse_tuple_counts
relation inspired by
type common name
type text
action find_reverse_tuple_counts
relation inspired by
type common name
type common name
action count
action filter_multi_types
action find_reverse
entity Henri Matisse
relation inspired by
type text
type common name
[[{'concept': 'text'}, {'concept': 'common name'}], 'inspired by', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?b ) WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?n ) ?v WHERE { { ?o property:inspired_by ?v . ?o rdf:type ontology:text . ?v rdf:type ontology:common_name } UNION { ?v rdf:type ontology:common_name . ?o rdf:type ontology:common_name . ?o property:inspired_by ?v } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?t ) WHERE { ?z property:inspired_by resource:Henri_Matisse . { { ?z rdf:type ontology:text } UNION { ?z rdf:type ontology:common_name } } } } . FILTER ( ?n < ?t ) }
[]
common name text common name
SYSTEM
182
Q19738291 Q23380 Q3481979 Q40475 Q366380 Q334001 Q42229 Q5296307 Q58801 Q129308 Q42305 Q558333 Q560792 Q35548 Q1067550 Q2707376 Q180919 Q105719 Q205002 Q37693 Q712955 Q302650 Q531161 Q8016 Q456270 Q127171 Q649801 Q43715 Q42786 Q312502 Q2864567 Q154545 Q5534471 Q2907490 Q1532260 Q892444 Q164823 Q184226 Q228024 Q182450 Q183221 Q3047248 Q2617543 Q711129 Q81960 Q5592 Q352 Q145746 Q921798 Q5594 Q538158 Q3984877 Q3741372 Q116462 Q357786 Q1779 Q310476 Q183458 Q34618 Q151573 Q3560424 Q947525 Q56016 Q458779 Q73089 Q182462 Q1353414 Q575668 Q171745 Q100937 Q5669 Q395274 Q272068 Q2437296 Q9077 Q443540 Q966425 Q1281170 Q47551 Q357951 Q676001 Q46373 Q5675905 Q267803 Q37079 Q103343 Q284047 Q464056 Q313270 Q48319 Q1288359 Q551643 Q2552694 Q3498875 Q273079 Q299271 Q849 Q6577515 Q2975042 Q104109 Q16397 Q79031 Q150679 Q528428 Q177692 Q83359 Q6246943 Q163118 Q2402882 Q129429 Q5599 Q22686 Q5545355 Q2121085 Q212531 Q5294232 Q463653 Q958996 Q483512 Q123075 Q229432 Q123071 Q44272 Q94002 Q49285 Q27429917 Q1523 Q367447 Q5582 Q219640 Q5822 Q28493 Q527735 Q2181776 Q27429984 Q34013 Q2836532 Q712497 Q221464 Q263241 Q550426 Q356129 Q3925 Q34851 Q26806 Q203219 Q983441 Q2552902 Q41554 Q83338 Q205365 Q1953018 Q983352 Q255815 Q3036807 Q3290501 Q189067 Q1086874 Q471023 Q5432 Q2412941 Q297816 Q3525855 Q159907 Q210447 Q2373032 Q1401 Q3719992 Q199369 Q2110873 Q192222 Q83155 Q193406 Q3385369 Q733965 Q2409128 Q1278282 Q233845 Q3429566 Q3047181 Q237813 Q578878
(c(Q234460)|c(Q502895),P941,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P941
type Q502895
type Q234460
action find_reverse_tuple_counts
relation P941
type Q502895
type Q502895
action count
action filter_multi_types
action find_reverse
entity Q5589
relation P941
type Q234460
type Q502895
[ANSWER]
[[{'concept': 'Q234460'}, {'concept': 'Q502895'}], 'P941', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?b ) WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?n ) ?v WHERE { { ?o property:P941 ?v . ?o rdf:type ontology:Q234460 . ?v rdf:type ontology:Q502895 } UNION { ?v rdf:type ontology:Q502895 . ?o rdf:type ontology:Q502895 . ?o property:P941 ?v } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?t ) WHERE { ?z property:P941 resource:Q5589 . { { ?z rdf:type ontology:Q234460 } UNION { ?z rdf:type ontology:Q502895 } } } } . FILTER ( ?n < ?t ) }
Walter O'Brien Jean Auguste Dominique Ingres Sherri Stoner Joan Crawford Allan Kaprow Thomas Cole Mel Gibson Donna Atwood Conrad Veidt John of England Richard I of England Buddy Hackett Allan Ramsay Paul Cézanne Charmaine Craig Dick Jones Natalie Wood Jean Harlow Joe Grant Paul Gauguin Bobby Driscoll Tate Donovan Elizabeth Kenny Winston Churchill Eleanor Audley Jean-Honoré Fragonard Fred Moore Vlad Tepes Audrey Hepburn Fiorello H. La Guardia Art Stevens Léopold Sédar Senghor Geoffrey Bowers Bo Gritz Al Hirschfeld Scott Weinger Girolamo Savonarola Gilles Deleuze John Smith George C. Scott Antoine Watteau Eddie Collins Marge Champion Terry-Thomas Robert Burns Michelangelo Adolf Hitler Joseph Sabu Dastagir Antonello da Messina Balthasar Denner Jeffrey Stone Armand d'Athos Helen Gahagan Douglas Divine Louis Armstrong Fats Waller Andrea del Verrocchio Gustave Courbet Paul Signac Violet Gordon-Woodhouse Robert Gant Katharine Hepburn Kathryn Beaumont Gene Kelly Janet Gaynor Robert Gober Lionel Atwill Jeremy Irons Fred Astaire Sandro Botticelli Michael J. Fox Heather Angel Eric Larson Moses Ollie Johnston Charles Hubert Millevoye Frances Bavier Titian Mehran Karimi Nasseri Eugène Devéria Edgar Degas Andrés López Muñoz Spring Byington Tom Cruise Jennifer Connelly Christy Turlington Gala Dalí Jerome Kern Hans Holbein Félix González-Torres Jean Goujon Madge Blake Steve Carlson Cab Calloway Bahram V François Villon Samuel Claire Du Brey Mary Pickford Bruce Lee Mike Tyson Anthony van Dyck Douglas Fairbanks Jr Andrea Palladio James Dean John Martin Marguerite Yourcenar Helene Stanley Vivien Leigh Peter Paul Rubens Donald Trump George Turberville Walter Catlett Kate Moss Donald DeFreeze Marie-Thérèse Walter Irene Bedard Isadora Duncan Robert Walser Lucretia Arnold Böcklin Michel Foucault Barbara Stanwyck Sally Ride Michelle Stacy Ramesses II Louis Prima Vincent van Gogh Vincent Price Piero della Francesca Ralph Fiennes Cedric Hardwicke Paul Collins John Culhane Georges Seurat Alice Ayres François Girardon Gilbert Gottfried Mary Wickes Jeffrey Katzenberg John Stamos Grace Kelly Elizabeth Taylor Danny DeVito Boris Karloff Thomas Moran Hans Conried Nicolas Poussin Robin Williams Cain Pratibha Ray Il Pordenone Tallulah Bankhead Donnie Dunagan Margaret Kerry Alyssa Milano Christopher Newport Jimmy Durante Francisco de Goya The Fox and the Cat Sammy Davis, Jr. T. Hee David Hockney Mark Hamill Pierre Gringoire Petrarch Edward Maria Wingfield Naomi Campbell Natalie Venetia Belcon Lysippos Jacques-Louis David Pocahontas Pierre Guillaume Jack Carlson Dušan Popov Eastman Johnson Gale Sondergaard Rhoda Williams Ed Kemmer Maila Nurmi Chief Powhatan
182
action count
action less
action union
action find_reverse_tuple_counts
relation inspired by
type common name
type text
action find_reverse_tuple_counts
relation inspired by
type common name
type common name
action count
action filter_multi_types
action find_reverse
entity Henri Matisse
relation inspired by
type text
type common name
[[{'concept': 'text'}, {'concept': 'common name'}], 'inspired by', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?b ) WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?n ) ?v WHERE { { ?o property:inspired_by ?v . ?o rdf:type ontology:text . ?v rdf:type ontology:common_name } UNION { ?v rdf:type ontology:common_name . ?o rdf:type ontology:common_name . ?o property:inspired_by ?v } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?t ) WHERE { ?z property:inspired_by resource:Henri_Matisse . { { ?z rdf:type ontology:text } UNION { ?z rdf:type ontology:common_name } } } } . FILTER ( ?n < ?t ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q352954
P941
Q502895 Q234460 Q502895
USER
And what about Carel Fabritius?
(c(Q234460)|c(Q502895),P941,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P941
type Q502895
type Q234460
action find_reverse_tuple_counts
relation P941
type Q502895
type Q502895
action count
action filter_multi_types
action find_reverse
entity Q352954
relation P941
type Q234460
type Q502895
[[{'concept': 'Q234460'}, {'concept': 'Q502895'}], 'P941', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?m ) AS ?l ) WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?p ) ?m WHERE { VALUES ( ?o ) { ( ontology:Q234460 ) ( ontology:Q502895 ) } . ?u rdf:type ?o } GROUP BY ?m } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?r ) WHERE { ?t property:P941 resource:Q352954 . { { ?t rdf:type ontology:Q502895 } UNION { ?t rdf:type ontology:Q234460 } } } } . FILTER ( ?p < ?r ) }
Carel Fabritius
action count
action less
action union
action find_reverse_tuple_counts
relation inspired by
type common name
type text
action find_reverse_tuple_counts
relation inspired by
type common name
type common name
action count
action filter_multi_types
action find_reverse
entity Carel Fabritius
relation inspired by
type text
type common name
[[{'concept': 'text'}, {'concept': 'common name'}], 'inspired by', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?m ) AS ?l ) WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?p ) ?m WHERE { VALUES ( ?o ) { ( ontology:text ) ( ontology:common_name ) } . ?u rdf:type ?o } GROUP BY ?m } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?r ) WHERE { ?t property:inspired_by resource:Carel_Fabritius . { { ?t rdf:type ontology:common_name } UNION { ?t rdf:type ontology:text } } } } . FILTER ( ?p < ?r ) }
[]
common name text common name
SYSTEM
182
Q19738291 Q23380 Q3481979 Q40475 Q366380 Q334001 Q42229 Q5296307 Q58801 Q129308 Q42305 Q558333 Q560792 Q35548 Q1067550 Q2707376 Q180919 Q105719 Q205002 Q37693 Q712955 Q302650 Q531161 Q8016 Q456270 Q127171 Q649801 Q43715 Q42786 Q312502 Q2864567 Q154545 Q5534471 Q2907490 Q1532260 Q892444 Q164823 Q184226 Q228024 Q182450 Q183221 Q3047248 Q2617543 Q711129 Q81960 Q5592 Q352 Q145746 Q921798 Q5594 Q538158 Q3984877 Q3741372 Q116462 Q357786 Q1779 Q310476 Q183458 Q34618 Q151573 Q3560424 Q947525 Q56016 Q458779 Q73089 Q182462 Q1353414 Q575668 Q171745 Q100937 Q5669 Q395274 Q272068 Q2437296 Q9077 Q443540 Q966425 Q1281170 Q47551 Q357951 Q676001 Q46373 Q5675905 Q267803 Q37079 Q103343 Q284047 Q464056 Q313270 Q48319 Q1288359 Q551643 Q2552694 Q3498875 Q273079 Q299271 Q849 Q6577515 Q2975042 Q104109 Q16397 Q79031 Q150679 Q528428 Q177692 Q83359 Q6246943 Q163118 Q2402882 Q129429 Q5599 Q22686 Q5545355 Q2121085 Q212531 Q5294232 Q463653 Q958996 Q483512 Q123075 Q229432 Q123071 Q44272 Q94002 Q49285 Q27429917 Q1523 Q367447 Q5582 Q219640 Q5822 Q28493 Q527735 Q2181776 Q27429984 Q34013 Q2836532 Q712497 Q221464 Q263241 Q550426 Q356129 Q3925 Q34851 Q26806 Q203219 Q983441 Q2552902 Q41554 Q83338 Q205365 Q1953018 Q983352 Q255815 Q3036807 Q3290501 Q189067 Q1086874 Q471023 Q5432 Q2412941 Q297816 Q3525855 Q159907 Q210447 Q2373032 Q1401 Q3719992 Q199369 Q2110873 Q192222 Q83155 Q193406 Q3385369 Q733965 Q2409128 Q1278282 Q233845 Q3429566 Q3047181 Q237813 Q578878
(c(Q234460)|c(Q502895),P941,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P941
type Q502895
type Q234460
action find_reverse_tuple_counts
relation P941
type Q502895
type Q502895
action count
action filter_multi_types
action find_reverse
entity Q352954
relation P941
type Q234460
type Q502895
[ANSWER]
[[{'concept': 'Q234460'}, {'concept': 'Q502895'}], 'P941', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?m ) AS ?l ) WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?p ) ?m WHERE { VALUES ( ?o ) { ( ontology:Q234460 ) ( ontology:Q502895 ) } . ?u rdf:type ?o } GROUP BY ?m } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?r ) WHERE { ?t property:P941 resource:Q352954 . { { ?t rdf:type ontology:Q502895 } UNION { ?t rdf:type ontology:Q234460 } } } } . FILTER ( ?p < ?r ) }
Walter O'Brien Jean Auguste Dominique Ingres Sherri Stoner Joan Crawford Allan Kaprow Thomas Cole Mel Gibson Donna Atwood Conrad Veidt John of England Richard I of England Buddy Hackett Allan Ramsay Paul Cézanne Charmaine Craig Dick Jones Natalie Wood Jean Harlow Joe Grant Paul Gauguin Bobby Driscoll Tate Donovan Elizabeth Kenny Winston Churchill Eleanor Audley Jean-Honoré Fragonard Fred Moore Vlad Tepes Audrey Hepburn Fiorello H. La Guardia Art Stevens Léopold Sédar Senghor Geoffrey Bowers Bo Gritz Al Hirschfeld Scott Weinger Girolamo Savonarola Gilles Deleuze John Smith George C. Scott Antoine Watteau Eddie Collins Marge Champion Terry-Thomas Robert Burns Michelangelo Adolf Hitler Joseph Sabu Dastagir Antonello da Messina Balthasar Denner Jeffrey Stone Armand d'Athos Helen Gahagan Douglas Divine Louis Armstrong Fats Waller Andrea del Verrocchio Gustave Courbet Paul Signac Violet Gordon-Woodhouse Robert Gant Katharine Hepburn Kathryn Beaumont Gene Kelly Janet Gaynor Robert Gober Lionel Atwill Jeremy Irons Fred Astaire Sandro Botticelli Michael J. Fox Heather Angel Eric Larson Moses Ollie Johnston Charles Hubert Millevoye Frances Bavier Titian Mehran Karimi Nasseri Eugène Devéria Edgar Degas Andrés López Muñoz Spring Byington Tom Cruise Jennifer Connelly Christy Turlington Gala Dalí Jerome Kern Hans Holbein Félix González-Torres Jean Goujon Madge Blake Steve Carlson Cab Calloway Bahram V François Villon Samuel Claire Du Brey Mary Pickford Bruce Lee Mike Tyson Anthony van Dyck Douglas Fairbanks Jr Andrea Palladio James Dean John Martin Marguerite Yourcenar Helene Stanley Vivien Leigh Peter Paul Rubens Donald Trump George Turberville Walter Catlett Kate Moss Donald DeFreeze Marie-Thérèse Walter Irene Bedard Isadora Duncan Robert Walser Lucretia Arnold Böcklin Michel Foucault Barbara Stanwyck Sally Ride Michelle Stacy Ramesses II Louis Prima Vincent van Gogh Vincent Price Piero della Francesca Ralph Fiennes Cedric Hardwicke Paul Collins John Culhane Georges Seurat Alice Ayres François Girardon Gilbert Gottfried Mary Wickes Jeffrey Katzenberg John Stamos Grace Kelly Elizabeth Taylor Danny DeVito Boris Karloff Thomas Moran Hans Conried Nicolas Poussin Robin Williams Cain Pratibha Ray Il Pordenone Tallulah Bankhead Donnie Dunagan Margaret Kerry Alyssa Milano Christopher Newport Jimmy Durante Francisco de Goya The Fox and the Cat Sammy Davis, Jr. T. Hee David Hockney Mark Hamill Pierre Gringoire Petrarch Edward Maria Wingfield Naomi Campbell Natalie Venetia Belcon Lysippos Jacques-Louis David Pocahontas Pierre Guillaume Jack Carlson Dušan Popov Eastman Johnson Gale Sondergaard Rhoda Williams Ed Kemmer Maila Nurmi Chief Powhatan
182
action count
action less
action union
action find_reverse_tuple_counts
relation inspired by
type common name
type text
action find_reverse_tuple_counts
relation inspired by
type common name
type common name
action count
action filter_multi_types
action find_reverse
entity Carel Fabritius
relation inspired by
type text
type common name
[[{'concept': 'text'}, {'concept': 'common name'}], 'inspired by', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?m ) AS ?l ) WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?p ) ?m WHERE { VALUES ( ?o ) { ( ontology:text ) ( ontology:common_name ) } . ?u rdf:type ?o } GROUP BY ?m } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?r ) WHERE { ?t property:inspired_by resource:Carel_Fabritius . { { ?t rdf:type ontology:common_name } UNION { ?t rdf:type ontology:text } } } } . FILTER ( ?p < ?r ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q3155297 Q1272308
P19
Q515
USER
Which cities are the places of birth of Emil Kraus or Isidora Aguirre ?
OR((Q1272308,P19,c(Q515)), (Q3155297,P19,c(Q515)))
action filter_type
action union
action find
entity Q1272308
relation P19
action find
entity Q3155297
relation P19
type Q515
{'OR': [['Q1272308', 'P19', {'concept': 'Q515'}], ['Q3155297', 'P19', {'concept': 'Q515'}]]}
SELECT DISTINCT ?h WHERE { { { resource:Q1272308 property:P19 ?h } UNION { resource:Q3155297 property:P19 ?h } } . ?h rdf:type ontology:Q515 }
Isidora Aguirre Emil Kraus
action filter_type
action union
action find
entity Emil Kraus
relation place of birth
action find
entity Isidora Aguirre
relation place of birth
type city
{'OR': [['Emil Kraus', 'place of birth', {'concept': 'city'}], ['Isidora Aguirre', 'place of birth', {'concept': 'city'}]]}
SELECT DISTINCT ?h WHERE { { { resource:Emil_Kraus property:place_of_birth ?h } UNION { resource:Isidora_Aguirre property:place_of_birth ?h } } . ?h rdf:type ontology:city }
[]
city
Q2887 Q1720
SYSTEM
Santiago, Mainz
Q2887 Q1720
OR((Q1272308,P19,c(Q515)), (Q3155297,P19,c(Q515)))
action filter_type
action union
action find
entity Q1272308
relation P19
action find
entity Q3155297
relation P19
type Q515
[ANSWERS] are the places of birth of Emil Kraus or Isidora Aguirre
{'OR': [['Q1272308', 'P19', {'concept': 'Q515'}], ['Q3155297', 'P19', {'concept': 'Q515'}]]}
SELECT DISTINCT ?h WHERE { { { resource:Q1272308 property:P19 ?h } UNION { resource:Q3155297 property:P19 ?h } } . ?h rdf:type ontology:Q515 }
Santiago Mainz
Santiago and Mainz are the places of birth of Emil Kraus or Isidora Aguirre
Santiago Mainz
action filter_type
action union
action find
entity Emil Kraus
relation place of birth
action find
entity Isidora Aguirre
relation place of birth
type city
{'OR': [['Emil Kraus', 'place of birth', {'concept': 'city'}], ['Isidora Aguirre', 'place of birth', {'concept': 'city'}]]}
SELECT DISTINCT ?h WHERE { { { resource:Emil_Kraus property:place_of_birth ?h } UNION { resource:Isidora_Aguirre property:place_of_birth ?h } } . ?h rdf:type ontology:city }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q3293392 Q3155297
P19 P20
Q515
USER
Which cities were Isidora Aguirre born at and are the places of death of Mario Carreño Morales ?
AND((Q3155297,P19,c(Q515)), (Q3293392,P20,c(Q515)))
action filter_type
action intersection
action find
entity Q3155297
relation P19
action find
entity Q3293392
relation P20
type Q515
{'AND': [['Q3155297', 'P19', {'concept': 'Q515'}], ['Q3293392', 'P20', {'concept': 'Q515'}]]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q515 . resource:Q3155297 property:P19 ?b . resource:Q3293392 property:P20 ?b }
Mario Carreño Morales Isidora Aguirre
action filter_type
action intersection
action find
entity Isidora Aguirre
relation place of birth
action find
entity Mario Carreño Morales
relation place of death
type city
{'AND': [['Isidora Aguirre', 'place of birth', {'concept': 'city'}], ['Mario Carreño Morales', 'place of death', {'concept': 'city'}]]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:city . resource:Isidora_Aguirre property:place_of_birth ?b . resource:Mario_Carreño_Morales property:place_of_death ?b }
[]
city
Q2887
SYSTEM
Santiago
Q2887
AND((Q3155297,P19,c(Q515)), (Q3293392,P20,c(Q515)))
action filter_type
action intersection
action find
entity Q3155297
relation P19
action find
entity Q3293392
relation P20
type Q515
Isidora Aguirre were born in [ANSWER] and are the places of death of Mario Carreño Morales
{'AND': [['Q3155297', 'P19', {'concept': 'Q515'}], ['Q3293392', 'P20', {'concept': 'Q515'}]]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q515 . resource:Q3155297 property:P19 ?b . resource:Q3293392 property:P20 ?b }
Santiago
Isidora Aguirre were born in Santiago and are the places of death of Mario Carreño Morales
Santiago
action filter_type
action intersection
action find
entity Isidora Aguirre
relation place of birth
action find
entity Mario Carreño Morales
relation place of death
type city
{'AND': [['Isidora Aguirre', 'place of birth', {'concept': 'city'}], ['Mario Carreño Morales', 'place of death', {'concept': 'city'}]]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:city . resource:Isidora_Aguirre property:place_of_birth ?b . resource:Mario_Carreño_Morales property:place_of_death ?b }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q2887 Q6660174
P20
Q502895
USER
Did Liz Heaston expire at that city ?
(Q6660174,P20,Q2887)
action is_in
entity Q6660174
action find
entity Q2887
relation P20
['Q6660174', 'P20', 'Q2887']
ASK WHERE { resource:Q2887 property:P20 resource:Q6660174 }
Santiago Liz Heaston
action is_in
entity Liz Heaston
action find
entity Santiago
relation place of death
['Liz Heaston', 'place of death', 'Santiago']
ASK WHERE { resource:Santiago property:place_of_death resource:Liz_Heaston }
[]
common name
SYSTEM
NO
(Q6660174,P20,Q2887)
action is_in
entity Q6660174
action find
entity Q2887
relation P20
[ANSWER]
['Q6660174', 'P20', 'Q2887']
ASK WHERE { resource:Q2887 property:P20 resource:Q6660174 }
No
action is_in
entity Liz Heaston
action find
entity Santiago
relation place of death
['Liz Heaston', 'place of death', 'Santiago']
ASK WHERE { resource:Santiago property:place_of_death resource:Liz_Heaston }
[]
Logical Reasoning (All)
Logical|Difference|Multiple_Relation
Q4716774 Q2887
P19 P190
Q515
USER
Which cities are twin towns of Santiago and were Alex Caceres not born in ?
AND((Q2887,P190,c(Q515)), NOT((Q4716774,P19,c(Q515))))
action filter_type
action difference
action find
entity Q2887
relation P190
action find
entity Q4716774
relation P19
type Q515
{'AND': [['Q2887', 'P190', {'concept': 'Q515'}], {'NOT': [['Q4716774', 'P19', {'concept': 'Q515'}]]}]}
SELECT DISTINCT ?t WHERE { resource:Q2887 property:P190 ?t . MINUS { resource:Q4716774 property:P19 ?t } . ?t rdf:type ontology:Q515 }
Alex Caceres Santiago
action filter_type
action difference
action find
entity Santiago
relation sister city
action find
entity Alex Caceres
relation place of birth
type city
{'AND': [['Santiago', 'sister city', {'concept': 'city'}], {'NOT': [['Alex Caceres', 'place of birth', {'concept': 'city'}]]}]}
SELECT DISTINCT ?t WHERE { resource:Santiago property:sister_city ?t . MINUS { resource:Alex_Caceres property:place_of_birth ?t } . ?t rdf:type ontology:city }
[]
city
Q185684 Q3572 Q1461 Q1899 Q1486 Q1773
SYSTEM
Hefei, Tunis, Manila, Kyiv, Buenos Aires, Riga
Q185684 Q3572 Q1461 Q1899 Q1486 Q1773
AND((Q2887,P190,c(Q515)), NOT((Q4716774,P19,c(Q515))))
action filter_type
action difference
action find
entity Q2887
relation P190
action find
entity Q4716774
relation P19
type Q515
[ANSWERS] are twin towns of Santiago and were Alex Caceres not born in
{'AND': [['Q2887', 'P190', {'concept': 'Q515'}], {'NOT': [['Q4716774', 'P19', {'concept': 'Q515'}]]}]}
SELECT DISTINCT ?t WHERE { resource:Q2887 property:P190 ?t . MINUS { resource:Q4716774 property:P19 ?t } . ?t rdf:type ontology:Q515 }
Hefei Tunis Manila Kyiv Buenos Aires Riga
Hefei, Tunis, Manila, Kyiv, Buenos Aires and Riga are twin towns of Santiago and were Alex Caceres not born in
Hefei Tunis Manila Kyiv Buenos Aires Riga
action filter_type
action difference
action find
entity Santiago
relation sister city
action find
entity Alex Caceres
relation place of birth
type city
{'AND': [['Santiago', 'sister city', {'concept': 'city'}], {'NOT': [['Alex Caceres', 'place of birth', {'concept': 'city'}]]}]}
SELECT DISTINCT ?t WHERE { resource:Santiago property:sister_city ?t . MINUS { resource:Alex_Caceres property:place_of_birth ?t } . ?t rdf:type ontology:city }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q11866605 Q352954
P27
Q15617994
USER
Which administrative territories are the native countriesof Carel Fabritius or Johan Kull ?
OR((Q352954,P27,c(Q15617994)), (Q11866605,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q352954
relation P27
action find
entity Q11866605
relation P27
type Q15617994
{'OR': [['Q352954', 'P27', {'concept': 'Q15617994'}], ['Q11866605', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?l WHERE { { ?d property:P27 ?l . VALUES ( ?d ) { ( resource:Q11866605 ) ( resource:Q352954 ) } } . ?l rdf:type ontology:Q15617994 }
Johan Kull Carel Fabritius
action filter_type
action union
action find
entity Carel Fabritius
relation country of citizenship
action find
entity Johan Kull
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Carel Fabritius', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Johan Kull', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?l WHERE { { ?d property:country_of_citizenship ?l . VALUES ( ?d ) { ( resource:Johan_Kull ) ( resource:Carel_Fabritius ) } } . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q33 Q55
SYSTEM
Finland, Netherlands
Q33 Q55
OR((Q352954,P27,c(Q15617994)), (Q11866605,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q352954
relation P27
action find
entity Q11866605
relation P27
type Q15617994
[ANSWERS] are the native countriesof Carel Fabritius or Johan Kull
{'OR': [['Q352954', 'P27', {'concept': 'Q15617994'}], ['Q11866605', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?l WHERE { { ?d property:P27 ?l . VALUES ( ?d ) { ( resource:Q11866605 ) ( resource:Q352954 ) } } . ?l rdf:type ontology:Q15617994 }
Finland Netherlands
Finland and Netherlands are the native countriesof Carel Fabritius or Johan Kull
Finland Netherlands
action filter_type
action union
action find
entity Carel Fabritius
relation country of citizenship
action find
entity Johan Kull
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Carel Fabritius', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Johan Kull', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?l WHERE { { ?d property:country_of_citizenship ?l . VALUES ( ?d ) { ( resource:Johan_Kull ) ( resource:Carel_Fabritius ) } } . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q408
P530
Q1048835
USER
Do Australia have diplomatic associations with those administrative territories ?
(Q408,P530,Q33) (Q408,P530,Q55)
action is_in
entity prev_answer
action find
entity Q408
relation P530
['Q408', 'P530', 'Q33'] ['Q408', 'P530', 'Q55']
ASK WHERE { VALUES ( ?o ) { ( resource:Q33 ) ( resource:Q55 ) } . resource:Q408 property:P530 ?o }
Australia
action is_in
entity prev_answer
action find
entity Australia
relation diplomatic relation
['Australia', 'diplomatic relation', 'Finland'] ['Australia', 'diplomatic relation', 'Netherlands']
ASK WHERE { VALUES ( ?o ) { ( resource:Finland ) ( resource:Netherlands ) } . resource:Australia property:diplomatic_relation ?o }
[]
political territorial entity
SYSTEM
YES
(Q408,P530,Q33) (Q408,P530,Q55)
action is_in
entity prev_answer
action find
entity Q408
relation P530
[ANSWER]
['Q408', 'P530', 'Q33'] ['Q408', 'P530', 'Q55']
ASK WHERE { VALUES ( ?o ) { ( resource:Q33 ) ( resource:Q55 ) } . resource:Q408 property:P530 ?o }
Yes
action is_in
entity prev_answer
action find
entity Australia
relation diplomatic relation
['Australia', 'diplomatic relation', 'Finland'] ['Australia', 'diplomatic relation', 'Netherlands']
ASK WHERE { VALUES ( ?o ) { ( resource:Finland ) ( resource:Netherlands ) } . resource:Australia property:diplomatic_relation ?o }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1899
P291
Q234460
USER
Which text was published in Kyiv ?
(c(Q234460),P291,Q1899)
action filter_type
action find_reverse
entity Q1899
relation P291
type Q234460
[{'concept': 'Q234460'}, 'P291', 'Q1899']
SELECT DISTINCT ?h WHERE { ?h property:P291 resource:Q1899 . ?h rdf:type ontology:Q234460 }
Kyiv
action filter_type
action find_reverse
entity Kyiv
relation place of publication
type text
[{'concept': 'text'}, 'place of publication', 'Kyiv']
SELECT DISTINCT ?h WHERE { ?h property:place_of_publication resource:Kyiv . ?h rdf:type ontology:text }
[]
text
Q2381890
SYSTEM
Sermon on Law and Grace
Q2381890
(c(Q234460),P291,Q1899)
action filter_type
action find_reverse
entity Q1899
relation P291
type Q234460
[ANSWER] was published in Kyiv
[{'concept': 'Q234460'}, 'P291', 'Q1899']
SELECT DISTINCT ?h WHERE { ?h property:P291 resource:Q1899 . ?h rdf:type ontology:Q234460 }
Sermon on Law and Grace
Sermon on Law and Grace was published in Kyiv
Sermon on Law and Grace
action filter_type
action find_reverse
entity Kyiv
relation place of publication
type text
[{'concept': 'text'}, 'place of publication', 'Kyiv']
SELECT DISTINCT ?h WHERE { ?h property:place_of_publication resource:Kyiv . ?h rdf:type ontology:text }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q33
P276
Q198
USER
Which war is located at Finland ?
(c(Q198),P276,Q33)
action filter_type
action find_reverse
entity Q33
relation P276
type Q198
[{'concept': 'Q198'}, 'P276', 'Q33']
SELECT DISTINCT ?i WHERE { ?i property:P276 resource:Q33 . ?i rdf:type ontology:Q198 }
Finland
action filter_type
action find_reverse
entity Finland
relation location
type war
[{'concept': 'war'}, 'location', 'Finland']
SELECT DISTINCT ?i WHERE { ?i property:location resource:Finland . ?i rdf:type ontology:war }
[]
war
Q211855
SYSTEM
Finnish Civil War
Q211855
(c(Q198),P276,Q33)
action filter_type
action find_reverse
entity Q33
relation P276
type Q198
The [ANSWER] is located at Finland
[{'concept': 'Q198'}, 'P276', 'Q33']
SELECT DISTINCT ?i WHERE { ?i property:P276 resource:Q33 . ?i rdf:type ontology:Q198 }
Finnish Civil War
The Finnish Civil War is located at Finland
Finnish Civil War
action filter_type
action find_reverse
entity Finland
relation location
type war
[{'concept': 'war'}, 'location', 'Finland']
SELECT DISTINCT ?i WHERE { ?i property:location resource:Finland . ?i rdf:type ontology:war }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q211855
P921
Q277759
USER
Which book series was mainly based on that war ?
(c(Q277759),P921,Q211855)
action filter_type
action find_reverse
entity Q211855
relation P921
type Q277759
[{'concept': 'Q277759'}, 'P921', 'Q211855']
SELECT DISTINCT ?v WHERE { ?v property:P921 resource:Q211855 . ?v rdf:type ontology:Q277759 }
Finnish Civil War
action filter_type
action find_reverse
entity Finnish Civil War
relation main subject
type book series
[{'concept': 'book series'}, 'main subject', 'Finnish Civil War']
SELECT DISTINCT ?v WHERE { ?v property:main_subject resource:Finnish_Civil_War . ?v rdf:type ontology:book_series }
[]
book series
Q3736125
SYSTEM
Under the North Star
Q3736125
(c(Q277759),P921,Q211855)
action filter_type
action find_reverse
entity Q211855
relation P921
type Q277759
War [ANSWER] was mainly based on that war
[{'concept': 'Q277759'}, 'P921', 'Q211855']
SELECT DISTINCT ?v WHERE { ?v property:P921 resource:Q211855 . ?v rdf:type ontology:Q277759 }
Under the North Star
War Under the North Star was mainly based on that war
Under the North Star
action filter_type
action find_reverse
entity Finnish Civil War
relation main subject
type book series
[{'concept': 'book series'}, 'main subject', 'Finnish Civil War']
SELECT DISTINCT ?v WHERE { ?v property:main_subject resource:Finnish_Civil_War . ?v rdf:type ontology:book_series }
[]