Simple Question (Direct)
Simple Question
Q1581476
P20
Q56061
USER
Where did the demise of Hans Nagel occur ?
(Q1581476,P20,c(Q56061))
action filter_type
action find
entity Q1581476
relation P20
type Q56061
['Q1581476', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:Q56061 . resource:Q1581476 property:P20 ?n }
Hans Nagel
action filter_type
action find
entity Hans Nagel
relation place of death
type administrative territorial entity
['Hans Nagel', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:administrative_territorial_entity . resource:Hans_Nagel property:place_of_death ?n }
[]
administrative territorial entity
Q586
SYSTEM
Bonn
Q586
(Q1581476,P20,c(Q56061))
action filter_type
action find
entity Q1581476
relation P20
type Q56061
The demise of Hans Nagel occurred in [ANSWER]
['Q1581476', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:Q56061 . resource:Q1581476 property:P20 ?n }
Bonn
The demise of Hans Nagel occurred in Bonn
Bonn
action filter_type
action find
entity Hans Nagel
relation place of death
type administrative territorial entity
['Hans Nagel', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:administrative_territorial_entity . resource:Hans_Nagel property:place_of_death ?n }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1581476
P108
Q3914
USER
Which school is the workplace of Hans Nagel ?
(Q1581476,P108,c(Q3914))
action filter_type
action find
entity Q1581476
relation P108
type Q3914
['Q1581476', 'P108', {'concept': 'Q3914'}]
SELECT DISTINCT ?r WHERE { resource:Q1581476 property:P108 ?r . ?r rdf:type ontology:Q3914 }
Hans Nagel
action filter_type
action find
entity Hans Nagel
relation employer
type school
['Hans Nagel', 'employer', {'concept': 'school'}]
SELECT DISTINCT ?r WHERE { resource:Hans_Nagel property:employer ?r . ?r rdf:type ontology:school }
[]
school
Q55038
SYSTEM
Berlin University of the Arts
Q55038
(Q1581476,P108,c(Q3914))
action filter_type
action find
entity Q1581476
relation P108
type Q3914
[ANSWER] is the workplace of Hans Nagel
['Q1581476', 'P108', {'concept': 'Q3914'}]
SELECT DISTINCT ?r WHERE { resource:Q1581476 property:P108 ?r . ?r rdf:type ontology:Q3914 }
Berlin University of the Arts
Berlin University of the Arts is the workplace of Hans Nagel
Berlin University of the Arts
action filter_type
action find
entity Hans Nagel
relation employer
type school
['Hans Nagel', 'employer', {'concept': 'school'}]
SELECT DISTINCT ?r WHERE { resource:Hans_Nagel property:employer ?r . ?r rdf:type ontology:school }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q55038 Q471243
P108
Q502895
USER
Does Shinkichi Tajiri work for that school ?
(Q471243,P108,Q55038)
action is_in
entity Q55038
action find
entity Q471243
relation P108
['Q471243', 'P108', 'Q55038']
ASK WHERE { resource:Q471243 property:P108 resource:Q55038 }
Berlin University of the Arts Shinkichi Tajiri
action is_in
entity Berlin University of the Arts
action find
entity Shinkichi Tajiri
relation employer
['Shinkichi Tajiri', 'employer', 'Berlin University of the Arts']
ASK WHERE { resource:Shinkichi_Tajiri property:employer resource:Berlin_University_of_the_Arts }
[]
common name
SYSTEM
YES
(Q471243,P108,Q55038)
action is_in
entity Q55038
action find
entity Q471243
relation P108
[ANSWER]
['Q471243', 'P108', 'Q55038']
ASK WHERE { resource:Q471243 property:P108 resource:Q55038 }
Yes
action is_in
entity Berlin University of the Arts
action find
entity Shinkichi Tajiri
relation employer
['Shinkichi Tajiri', 'employer', 'Berlin University of the Arts']
ASK WHERE { resource:Shinkichi_Tajiri property:employer resource:Berlin_University_of_the_Arts }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1581476 Q4210602
P27
Q1048835
USER
Is Kalchyk the native country of Hans Nagel ?
(Q1581476,P27,Q4210602)
action is_in
entity Q4210602
action find
entity Q1581476
relation P27
['Q1581476', 'P27', 'Q4210602']
ASK WHERE { resource:Q1581476 property:P27 resource:Q4210602 }
Hans Nagel Kalchyk
action is_in
entity Kalchyk
action find
entity Hans Nagel
relation country of citizenship
['Hans Nagel', 'country of citizenship', 'Kalchyk']
ASK WHERE { resource:Hans_Nagel property:country_of_citizenship resource:Kalchyk }
[]
political territorial entity
SYSTEM
NO
(Q1581476,P27,Q4210602)
action is_in
entity Q4210602
action find
entity Q1581476
relation P27
[ANSWER]
['Q1581476', 'P27', 'Q4210602']
ASK WHERE { resource:Q1581476 property:P27 resource:Q4210602 }
No
action is_in
entity Kalchyk
action find
entity Hans Nagel
relation country of citizenship
['Hans Nagel', 'country of citizenship', 'Kalchyk']
ASK WHERE { resource:Hans_Nagel property:country_of_citizenship resource:Kalchyk }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q666165 Q55038
P17
Q1048835
USER
Which political territories are Berlin University of the Arts or Augusta Treverorum located in ?
OR((Q55038,P17,c(Q1048835)), (Q666165,P17,c(Q1048835)))
action filter_type
action union
action find
entity Q55038
relation P17
action find
entity Q666165
relation P17
type Q1048835
{'OR': [['Q55038', 'P17', {'concept': 'Q1048835'}], ['Q666165', 'P17', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Q55038 property:P17 ?j } UNION { resource:Q666165 property:P17 ?j } } . ?j rdf:type ontology:Q1048835 }
Augusta Treverorum Berlin University of the Arts
action filter_type
action union
action find
entity Berlin University of the Arts
relation country
action find
entity Augusta Treverorum
relation country
type political territorial entity
{'OR': [['Berlin University of the Arts', 'country', {'concept': 'political territorial entity'}], ['Augusta Treverorum', 'country', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Berlin_University_of_the_Arts property:country ?j } UNION { resource:Augusta_Treverorum property:country ?j } } . ?j rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q1747689 Q183
SYSTEM
Ancient Rome, Germany
Q1747689 Q183
OR((Q55038,P17,c(Q1048835)), (Q666165,P17,c(Q1048835)))
action filter_type
action union
action find
entity Q55038
relation P17
action find
entity Q666165
relation P17
type Q1048835
Berlin University of the Arts or Augusta Treverorum are located in [ANSWERS]
{'OR': [['Q55038', 'P17', {'concept': 'Q1048835'}], ['Q666165', 'P17', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Q55038 property:P17 ?j } UNION { resource:Q666165 property:P17 ?j } } . ?j rdf:type ontology:Q1048835 }
Ancient Rome Germany
Berlin University of the Arts or Augusta Treverorum are located in Ancient Rome and Germany
Ancient Rome Germany
action filter_type
action union
action find
entity Berlin University of the Arts
relation country
action find
entity Augusta Treverorum
relation country
type political territorial entity
{'OR': [['Berlin University of the Arts', 'country', {'concept': 'political territorial entity'}], ['Augusta Treverorum', 'country', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Berlin_University_of_the_Arts property:country ?j } UNION { resource:Augusta_Treverorum property:country ?j } } . ?j rdf:type ontology:political_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q35
P530
Q1048835 Q1048835
USER
Which political territories have a diplomatic relationship with more number of political territories than Denmark ?
(c(Q1048835),P530,c(Q1048835))
action greater
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action count
action filter_type
action find
entity Q35
relation P530
type Q1048835
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?q ) WHERE { ?c rdf:type ontology:Q1048835 . resource:Q35 property:P530 ?c } } . FILTER ( ?l > ?q ) . { SELECT DISTINCT ?i ( COUNT ( ?b ) AS ?l ) WHERE { ?i property:P530 ?b . ?i rdf:type ontology:Q1048835 . ?b rdf:type ontology:Q1048835 } GROUP BY ?i } }
Denmark
action greater
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action count
action filter_type
action find
entity Denmark
relation diplomatic relation
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?q ) WHERE { ?c rdf:type ontology:political_territorial_entity . resource:Denmark property:diplomatic_relation ?c } } . FILTER ( ?l > ?q ) . { SELECT DISTINCT ?i ( COUNT ( ?b ) AS ?l ) WHERE { ?i property:diplomatic_relation ?b . ?i rdf:type ontology:political_territorial_entity . ?b rdf:type ontology:political_territorial_entity } GROUP BY ?i } }
[]
political territorial entity political territorial entity
Q183 Q408 Q16
SYSTEM
Germany, Australia, Canada
Q183 Q408 Q16
(c(Q1048835),P530,c(Q1048835))
action greater
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action count
action filter_type
action find
entity Q35
relation P530
type Q1048835
[ANSWERS] have a diplomatic relationship with more number of political territories than Denmark
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?q ) WHERE { ?c rdf:type ontology:Q1048835 . resource:Q35 property:P530 ?c } } . FILTER ( ?l > ?q ) . { SELECT DISTINCT ?i ( COUNT ( ?b ) AS ?l ) WHERE { ?i property:P530 ?b . ?i rdf:type ontology:Q1048835 . ?b rdf:type ontology:Q1048835 } GROUP BY ?i } }
Germany Australia Canada
Germany, Australia and Canada have a diplomatic relationship with more number of political territories than Denmark
Germany Australia Canada
action greater
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action count
action filter_type
action find
entity Denmark
relation diplomatic relation
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?q ) WHERE { ?c rdf:type ontology:political_territorial_entity . resource:Denmark property:diplomatic_relation ?c } } . FILTER ( ?l > ?q ) . { SELECT DISTINCT ?i ( COUNT ( ?b ) AS ?l ) WHERE { ?i property:diplomatic_relation ?b . ?i rdf:type ontology:political_territorial_entity . ?b rdf:type ontology:political_territorial_entity } GROUP BY ?i } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q781
P530
Q1048835 Q1048835
USER
And how about Antigua and Barbuda?
(c(Q1048835),P530,c(Q1048835))
action greater
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action count
action filter_type
action find
entity Q781
relation P530
type Q1048835
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?q ) AS ?f ) WHERE { ?k property:P530 ?q . ?k rdf:type ontology:Q1048835 . ?q rdf:type ontology:Q1048835 } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?x ) WHERE { resource:Q781 property:P530 ?a . ?a rdf:type ontology:Q1048835 } } . FILTER ( ?f > ?x ) }
Antigua and Barbuda
action greater
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action count
action filter_type
action find
entity Antigua and Barbuda
relation diplomatic relation
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?q ) AS ?f ) WHERE { ?k property:diplomatic_relation ?q . ?k rdf:type ontology:political_territorial_entity . ?q rdf:type ontology:political_territorial_entity } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?x ) WHERE { resource:Antigua_and_Barbuda property:diplomatic_relation ?a . ?a rdf:type ontology:political_territorial_entity } } . FILTER ( ?f > ?x ) }
[]
political territorial entity political territorial entity
Q183 Q408 Q35
SYSTEM
Germany, Australia, Denmark
Q40 Q183 Q408 Q35 Q16 Q664
(c(Q1048835),P530,c(Q1048835))
action greater
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action count
action filter_type
action find
entity Q781
relation P530
type Q1048835
[ANSWERS]
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?q ) AS ?f ) WHERE { ?k property:P530 ?q . ?k rdf:type ontology:Q1048835 . ?q rdf:type ontology:Q1048835 } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?x ) WHERE { resource:Q781 property:P530 ?a . ?a rdf:type ontology:Q1048835 } } . FILTER ( ?f > ?x ) }
Austria Germany Australia Denmark Canada New Zealand
Germany Australia Denmark
action greater
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action count
action filter_type
action find
entity Antigua and Barbuda
relation diplomatic relation
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?q ) AS ?f ) WHERE { ?k property:diplomatic_relation ?q . ?k rdf:type ontology:political_territorial_entity . ?q rdf:type ontology:political_territorial_entity } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?x ) WHERE { resource:Antigua_and_Barbuda property:diplomatic_relation ?a . ?a rdf:type ontology:political_territorial_entity } } . FILTER ( ?f > ?x ) }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P530
Q1048835 Q1048835
USER
Which political territories have diplomatic relationships with min number of political territories ?
(c(Q1048835),P530,Q766)
action argmin
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
[{'concept': 'Q1048835'}, 'P530', 'Q766']
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( MIN ( ?p ) AS ?j ) { SELECT DISTINCT ?f ( COUNT ( ?m ) AS ?p ) WHERE { ?f rdf:type ontology:Q1048835 . ?m rdf:type ontology:Q1048835 . ?f property:P530 ?m } GROUP BY ?f } } . { SELECT DISTINCT ?c ( COUNT ( ?o ) AS ?t ) WHERE { ?c rdf:type ontology:Q1048835 . ?o rdf:type ontology:Q1048835 . ?c property:P530 ?o } GROUP BY ?c } . FILTER ( ?t = ?j ) }
action argmin
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', 'Jamaica']
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( MIN ( ?p ) AS ?j ) { SELECT DISTINCT ?f ( COUNT ( ?m ) AS ?p ) WHERE { ?f rdf:type ontology:political_territorial_entity . ?m rdf:type ontology:political_territorial_entity . ?f property:diplomatic_relation ?m } GROUP BY ?f } } . { SELECT DISTINCT ?c ( COUNT ( ?o ) AS ?t ) WHERE { ?c rdf:type ontology:political_territorial_entity . ?o rdf:type ontology:political_territorial_entity . ?c property:diplomatic_relation ?o } GROUP BY ?c } . FILTER ( ?t = ?j ) }
[]
political territorial entity political territorial entity
Q1000 Q769 Q691
SYSTEM
Gabon, Grenada, Papua New Guinea
Q1000 Q781 Q778 Q769 Q685 Q691 Q766
(c(Q1048835),P530,Q766)
action argmin
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
[ANSWERS] have diplomatic relationships with min number of political territories
[{'concept': 'Q1048835'}, 'P530', 'Q766']
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( MIN ( ?p ) AS ?j ) { SELECT DISTINCT ?f ( COUNT ( ?m ) AS ?p ) WHERE { ?f rdf:type ontology:Q1048835 . ?m rdf:type ontology:Q1048835 . ?f property:P530 ?m } GROUP BY ?f } } . { SELECT DISTINCT ?c ( COUNT ( ?o ) AS ?t ) WHERE { ?c rdf:type ontology:Q1048835 . ?o rdf:type ontology:Q1048835 . ?c property:P530 ?o } GROUP BY ?c } . FILTER ( ?t = ?j ) }
Gabon Antigua and Barbuda The Bahamas Grenada Solomon Islands Papua New Guinea Jamaica
Gabon, Grenada and Papua New Guinea have diplomatic relationships with min number of political territories
Gabon Grenada Papua New Guinea
action argmin
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', 'Jamaica']
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( MIN ( ?p ) AS ?j ) { SELECT DISTINCT ?f ( COUNT ( ?m ) AS ?p ) WHERE { ?f rdf:type ontology:political_territorial_entity . ?m rdf:type ontology:political_territorial_entity . ?f property:diplomatic_relation ?m } GROUP BY ?f } } . { SELECT DISTINCT ?c ( COUNT ( ?o ) AS ?t ) WHERE { ?c rdf:type ontology:political_territorial_entity . ?o rdf:type ontology:political_territorial_entity . ?c property:diplomatic_relation ?o } GROUP BY ?c } . FILTER ( ?t = ?j ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q408 Q35
P530
Q1048835
USER
Which political territories have diplomatic relationships with Denmark or Australia ?
OR((Q35,P530,c(Q1048835)), (Q408,P530,c(Q1048835)))
action filter_type
action union
action find
entity Q35
relation P530
action find
entity Q408
relation P530
type Q1048835
{'OR': [['Q35', 'P530', {'concept': 'Q1048835'}], ['Q408', 'P530', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?s WHERE { { VALUES ( ?m ) { ( resource:Q408 ) ( resource:Q35 ) } . ?m property:P530 ?s } . ?s rdf:type ontology:Q1048835 }
Australia Denmark
action filter_type
action union
action find
entity Denmark
relation diplomatic relation
action find
entity Australia
relation diplomatic relation
type political territorial entity
{'OR': [['Denmark', 'diplomatic relation', {'concept': 'political territorial entity'}], ['Australia', 'diplomatic relation', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { VALUES ( ?m ) { ( resource:Australia ) ( resource:Denmark ) } . ?m property:diplomatic_relation ?s } . ?s rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q691 Q35 Q16 Q408 Q781 Q664 Q769 Q766 Q778 Q685
SYSTEM
Some of them are Papua New Guinea, Denmark, Canada, Australia, Antigua and Barbuda, New Zealand, Grenada, Jamaica, The Bahamas, Solomon Islands
Q40 Q781 Q769 Q183 Q778 Q408 Q685 Q35 Q691 Q16 Q664 Q766
OR((Q35,P530,c(Q1048835)), (Q408,P530,c(Q1048835)))
action filter_type
action union
action find
entity Q35
relation P530
action find
entity Q408
relation P530
type Q1048835
[ANSWERS] have diplomatic relationships with Denmark or Australia
{'OR': [['Q35', 'P530', {'concept': 'Q1048835'}], ['Q408', 'P530', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?s WHERE { { VALUES ( ?m ) { ( resource:Q408 ) ( resource:Q35 ) } . ?m property:P530 ?s } . ?s rdf:type ontology:Q1048835 }
Austria Antigua and Barbuda Grenada Germany The Bahamas Australia Solomon Islands Denmark Papua New Guinea Canada New Zealand Jamaica
Papua New Guinea, Denmark, Canada, Australia, Antigua and Barbuda, New Zealand, Grenada, Jamaica, The Bahamas and Solomon Islands have diplomatic relationships with Denmark or Australia
Papua New Guinea Denmark Canada Australia Antigua and Barbuda New Zealand Grenada Jamaica The Bahamas Solomon Islands
action filter_type
action union
action find
entity Denmark
relation diplomatic relation
action find
entity Australia
relation diplomatic relation
type political territorial entity
{'OR': [['Denmark', 'diplomatic relation', {'concept': 'political territorial entity'}], ['Australia', 'diplomatic relation', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { VALUES ( ?m ) { ( resource:Australia ) ( resource:Denmark ) } . ?m property:diplomatic_relation ?s } . ?s rdf:type ontology:political_territorial_entity }
[]