Simple Question (Direct)
Simple Question
Q15836878
P39
Q12737077
USER
Which occupation was a position held by Nikolaus Kraus ?
(Q15836878,P39,c(Q12737077))
action filter_type
action find
entity Q15836878
relation P39
type Q12737077
['Q15836878', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?y WHERE { resource:Q15836878 property:P39 ?y . ?y rdf:type ontology:Q12737077 }
Nikolaus Kraus
action filter_type
action find
entity Nikolaus Kraus
relation position held
type occupation
['Nikolaus Kraus', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?y WHERE { resource:Nikolaus_Kraus property:position_held ?y . ?y rdf:type ontology:occupation }
[]
occupation
Q17586301
SYSTEM
Member of the Landtag of Bavaria
Q17586301
(Q15836878,P39,c(Q12737077))
action filter_type
action find
entity Q15836878
relation P39
type Q12737077
[ANSWER] was a position held by Nikolaus Kraus
['Q15836878', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?y WHERE { resource:Q15836878 property:P39 ?y . ?y rdf:type ontology:Q12737077 }
Member of the Landtag of Bavaria
Member of the Landtag of Bavaria was a position held by Nikolaus Kraus
Member of the Landtag of Bavaria
action filter_type
action find
entity Nikolaus Kraus
relation position held
type occupation
['Nikolaus Kraus', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?y WHERE { resource:Nikolaus_Kraus property:position_held ?y . ?y rdf:type ontology:occupation }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q17586301 Q183
P17
Q1048835
USER
Is that occupation present in Germany ?
(Q17586301,P17,Q183)
action is_in
entity Q183
action find
entity Q17586301
relation P17
['Q17586301', 'P17', 'Q183']
ASK WHERE { resource:Q17586301 property:P17 resource:Q183 }
Member of the Landtag of Bavaria Germany
action is_in
entity Germany
action find
entity Member of the Landtag of Bavaria
relation country
['Member of the Landtag of Bavaria', 'country', 'Germany']
ASK WHERE { resource:Member_of_the_Landtag_of_Bavaria property:country resource:Germany }
[]
political territorial entity
SYSTEM
YES
(Q17586301,P17,Q183)
action is_in
entity Q183
action find
entity Q17586301
relation P17
[ANSWER]
['Q17586301', 'P17', 'Q183']
ASK WHERE { resource:Q17586301 property:P17 resource:Q183 }
Yes
action is_in
entity Germany
action find
entity Member of the Landtag of Bavaria
relation country
['Member of the Landtag of Bavaria', 'country', 'Germany']
ASK WHERE { resource:Member_of_the_Landtag_of_Bavaria property:country resource:Germany }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q15836878 Q1726
P937
Q56061
USER
Is Munich the work location of Nikolaus Kraus ?
(Q15836878,P937,Q1726)
action is_in
entity Q1726
action find
entity Q15836878
relation P937
['Q15836878', 'P937', 'Q1726']
ASK WHERE { resource:Q15836878 property:P937 resource:Q1726 }
Nikolaus Kraus Munich
action is_in
entity Munich
action find
entity Nikolaus Kraus
relation work location
['Nikolaus Kraus', 'work location', 'Munich']
ASK WHERE { resource:Nikolaus_Kraus property:work_location resource:Munich }
[]
administrative territorial entity
SYSTEM
YES
(Q15836878,P937,Q1726)
action is_in
entity Q1726
action find
entity Q15836878
relation P937
[ANSWER]
['Q15836878', 'P937', 'Q1726']
ASK WHERE { resource:Q15836878 property:P937 resource:Q1726 }
Yes
action is_in
entity Munich
action find
entity Nikolaus Kraus
relation work location
['Nikolaus Kraus', 'work location', 'Munich']
ASK WHERE { resource:Nikolaus_Kraus property:work_location resource:Munich }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q17586301 Q1780289
P17
Q1048835
USER
Is Member of the Landtag of Bavaria a part of Raposos ?
(Q17586301,P17,Q1780289)
action is_in
entity Q1780289
action find
entity Q17586301
relation P17
['Q17586301', 'P17', 'Q1780289']
ASK WHERE { resource:Q17586301 property:P17 resource:Q1780289 }
Member of the Landtag of Bavaria Raposos
action is_in
entity Raposos
action find
entity Member of the Landtag of Bavaria
relation country
['Member of the Landtag of Bavaria', 'country', 'Raposos']
ASK WHERE { resource:Member_of_the_Landtag_of_Bavaria property:country resource:Raposos }
[]
political territorial entity
SYSTEM
NO
(Q17586301,P17,Q1780289)
action is_in
entity Q1780289
action find
entity Q17586301
relation P17
[ANSWER]
['Q17586301', 'P17', 'Q1780289']
ASK WHERE { resource:Q17586301 property:P17 resource:Q1780289 }
No
action is_in
entity Raposos
action find
entity Member of the Landtag of Bavaria
relation country
['Member of the Landtag of Bavaria', 'country', 'Raposos']
ASK WHERE { resource:Member_of_the_Landtag_of_Bavaria property:country resource:Raposos }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q3176474 Q15836878
P27
Q1048835
USER
Which political territories are the native countriesof Nikolaus Kraus or Jeff Daniels ?
OR((Q15836878,P27,c(Q1048835)), (Q3176474,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q15836878
relation P27
action find
entity Q3176474
relation P27
type Q1048835
{'OR': [['Q15836878', 'P27', {'concept': 'Q1048835'}], ['Q3176474', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Q15836878 property:P27 ?c } UNION { resource:Q3176474 property:P27 ?c } } . ?c rdf:type ontology:Q1048835 }
Jeff Daniels Nikolaus Kraus
action filter_type
action union
action find
entity Nikolaus Kraus
relation country of citizenship
action find
entity Jeff Daniels
relation country of citizenship
type political territorial entity
{'OR': [['Nikolaus Kraus', 'country of citizenship', {'concept': 'political territorial entity'}], ['Jeff Daniels', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Nikolaus_Kraus property:country_of_citizenship ?c } UNION { resource:Jeff_Daniels property:country_of_citizenship ?c } } . ?c rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q16 Q183
SYSTEM
Canada, Germany
Q16 Q183
OR((Q15836878,P27,c(Q1048835)), (Q3176474,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q15836878
relation P27
action find
entity Q3176474
relation P27
type Q1048835
[ANSWERS] are the native countriesof Nikolaus Kraus or Jeff Daniels
{'OR': [['Q15836878', 'P27', {'concept': 'Q1048835'}], ['Q3176474', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Q15836878 property:P27 ?c } UNION { resource:Q3176474 property:P27 ?c } } . ?c rdf:type ontology:Q1048835 }
Canada Germany
Canada and Germany are the native countriesof Nikolaus Kraus or Jeff Daniels
Canada Germany
action filter_type
action union
action find
entity Nikolaus Kraus
relation country of citizenship
action find
entity Jeff Daniels
relation country of citizenship
type political territorial entity
{'OR': [['Nikolaus Kraus', 'country of citizenship', {'concept': 'political territorial entity'}], ['Jeff Daniels', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Nikolaus_Kraus property:country_of_citizenship ?c } UNION { resource:Jeff_Daniels property:country_of_citizenship ?c } } . ?c rdf:type ontology:political_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q16 Q183
P17
Q15700808
USER
Which urban unit definitions are present in Canada and Germany ?
(c(Q15700808),P17,Q16) (c(Q15700808),P17,Q183)
action union
action filter_type
action find_reverse
entity Q16
relation P17
type Q15700808
action filter_type
action find_reverse
entity Q183
relation P17
type Q15700808
[{'concept': 'Q15700808'}, 'P17', 'Q16'] [{'concept': 'Q15700808'}, 'P17', 'Q183']
SELECT DISTINCT ?t WHERE { ?t property:P17 ?z . VALUES ( ?z ) { ( resource:Q16 ) ( resource:Q183 ) } }
Canada Germany
action union
action filter_type
action find_reverse
entity Canada
relation country
type urban unit definition
action filter_type
action find_reverse
entity Germany
relation country
type urban unit definition
[{'concept': 'urban unit definition'}, 'country', 'Canada'] [{'concept': 'urban unit definition'}, 'country', 'Germany']
SELECT DISTINCT ?t WHERE { ?t property:country ?z . VALUES ( ?z ) { ( resource:Canada ) ( resource:Germany ) } }
[]
urban unit definition
Q1723642 Q5581463 Q1272244
SYSTEM
Kanata, Gondola Point, Dürrwangen
Q1723642 Q5581463 Q1272244
(c(Q15700808),P17,Q16) (c(Q15700808),P17,Q183)
action union
action filter_type
action find_reverse
entity Q16
relation P17
type Q15700808
action filter_type
action find_reverse
entity Q183
relation P17
type Q15700808
[ANSWERS] are present in Canada and Germany
[{'concept': 'Q15700808'}, 'P17', 'Q16'] [{'concept': 'Q15700808'}, 'P17', 'Q183']
SELECT DISTINCT ?t WHERE { ?t property:P17 ?z . VALUES ( ?z ) { ( resource:Q16 ) ( resource:Q183 ) } }
Kanata Gondola Point Dürrwangen
Kanata, Gondola Point and Dürrwangen are present in Canada and Germany
Kanata Gondola Point Dürrwangen
action union
action filter_type
action find_reverse
entity Canada
relation country
type urban unit definition
action filter_type
action find_reverse
entity Germany
relation country
type urban unit definition
[{'concept': 'urban unit definition'}, 'country', 'Canada'] [{'concept': 'urban unit definition'}, 'country', 'Germany']
SELECT DISTINCT ?t WHERE { ?t property:country ?z . VALUES ( ?z ) { ( resource:Canada ) ( resource:Germany ) } }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q1723642 Q5581463 Q1272244
P17
Q1048835
USER
Which political territories are Kanata, Gondola Point and Dürrwangen a part of ?
(Q1723642,P17,c(Q1048835)) (Q5581463,P17,c(Q1048835)) (Q1272244,P17,c(Q1048835))
action union
action filter_type
action find
entity Q1723642
relation P17
type Q1048835
action filter_type
action find
entity Q5581463
relation P17
type Q1048835
action filter_type
action find
entity Q1272244
relation P17
type Q1048835
['Q1723642', 'P17', {'concept': 'Q1048835'}] ['Q5581463', 'P17', {'concept': 'Q1048835'}] ['Q1272244', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ?k WHERE { VALUES ( ?m ) { ( resource:Q5581463 ) ( resource:Q1723642 ) } . ?m property:P17 ?k }
Kanata Gondola Point Dürrwangen
action union
action filter_type
action find
entity Kanata
relation country
type political territorial entity
action filter_type
action find
entity Gondola Point
relation country
type political territorial entity
action filter_type
action find
entity Dürrwangen
relation country
type political territorial entity
['Kanata', 'country', {'concept': 'political territorial entity'}] ['Gondola Point', 'country', {'concept': 'political territorial entity'}] ['Dürrwangen', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?k WHERE { VALUES ( ?m ) { ( resource:Gondola_Point ) ( resource:Kanata ) } . ?m property:country ?k }
[]
political territorial entity
Q16 Q16 Q183
SYSTEM
Canada for 1st, 2nd, Germany for 3rd
Q16 Q16 Q183
(Q1723642,P17,c(Q1048835)) (Q5581463,P17,c(Q1048835)) (Q1272244,P17,c(Q1048835))
action union
action filter_type
action find
entity Q1723642
relation P17
type Q1048835
action filter_type
action find
entity Q5581463
relation P17
type Q1048835
action filter_type
action find
entity Q1272244
relation P17
type Q1048835
[ANSWERS]
['Q1723642', 'P17', {'concept': 'Q1048835'}] ['Q5581463', 'P17', {'concept': 'Q1048835'}] ['Q1272244', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ?k WHERE { VALUES ( ?m ) { ( resource:Q5581463 ) ( resource:Q1723642 ) } . ?m property:P17 ?k }
Canada Canada Germany
Canada, Canada and Germany are Kanata, Gondola Point and Dürrwangen a part of
Canada Canada Germany
action union
action filter_type
action find
entity Kanata
relation country
type political territorial entity
action filter_type
action find
entity Gondola Point
relation country
type political territorial entity
action filter_type
action find
entity Dürrwangen
relation country
type political territorial entity
['Kanata', 'country', {'concept': 'political territorial entity'}] ['Gondola Point', 'country', {'concept': 'political territorial entity'}] ['Dürrwangen', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?k WHERE { VALUES ( ?m ) { ( resource:Gondola_Point ) ( resource:Kanata ) } . ?m property:country ?k }
[]