Simple Question (Direct)
Simple Question
Q85899
P27
Q1048835
USER
Which political territory does Hans Hermann von Berlepsch belong to ?
(Q85899,P27,c(Q1048835))
action filter_type
action find
entity Q85899
relation P27
type Q1048835
['Q85899', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:Q1048835 . resource:Q85899 property:P27 ?x }
Hans Hermann von Berlepsch
action filter_type
action find
entity Hans Hermann von Berlepsch
relation country of citizenship
type political territorial entity
['Hans Hermann von Berlepsch', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:political_territorial_entity . resource:Hans_Hermann_von_Berlepsch property:country_of_citizenship ?x }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
(Q85899,P27,c(Q1048835))
action filter_type
action find
entity Q85899
relation P27
type Q1048835
Hans Hermann von Berlepsch belongs to [ANSWER]
['Q85899', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:Q1048835 . resource:Q85899 property:P27 ?x }
Germany
Hans Hermann von Berlepsch belongs to Germany
Germany
action filter_type
action find
entity Hans Hermann von Berlepsch
relation country of citizenship
type political territorial entity
['Hans Hermann von Berlepsch', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:political_territorial_entity . resource:Hans_Hermann_von_Berlepsch property:country_of_citizenship ?x }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q85899
P937
Q56061
USER
What is the work location of that person ?
(Q183,P937,c(Q56061))
action filter_type
action find
entity Q85899
relation P937
type Q56061
['Q183', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?g WHERE { resource:Q85899 property:P937 ?g . ?g rdf:type ontology:Q56061 }
Hans Hermann von Berlepsch
action filter_type
action find
entity Hans Hermann von Berlepsch
relation work location
type administrative territorial entity
['Germany', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?g WHERE { resource:Hans_Hermann_von_Berlepsch property:work_location ?g . ?g rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q64
SYSTEM
Berlin
Q64
(Q183,P937,c(Q56061))
action filter_type
action find
entity Q85899
relation P937
type Q56061
The work location of that person is in [ANSWER]
['Q183', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?g WHERE { resource:Q85899 property:P937 ?g . ?g rdf:type ontology:Q56061 }
Berlin
The work location of that person is in Berlin
Berlin
action filter_type
action find
entity Hans Hermann von Berlepsch
relation work location
type administrative territorial entity
['Germany', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?g WHERE { resource:Hans_Hermann_von_Berlepsch property:work_location ?g . ?g rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q183
P17
Q1048835
USER
Which political territory is Germany present in ?
(Q183,P17,c(Q1048835))
action filter_type
action find
entity Q183
relation P17
type Q1048835
['Q183', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ?z WHERE { resource:Q183 property:P17 ?z . ?z rdf:type ontology:Q1048835 }
Germany
action filter_type
action find
entity Germany
relation country
type political territorial entity
['Germany', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?z WHERE { resource:Germany property:country ?z . ?z rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
(Q183,P17,c(Q1048835))
action filter_type
action find
entity Q183
relation P17
type Q1048835
Which political territory is [ANSWER] present in
['Q183', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ?z WHERE { resource:Q183 property:P17 ?z . ?z rdf:type ontology:Q1048835 }
Germany
Which political territory is Germany present in
Germany
action filter_type
action find
entity Germany
relation country
type political territorial entity
['Germany', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?z WHERE { resource:Germany property:country ?z . ?z rdf:type ontology:political_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q183
P1313
Q12737077
USER
Which occupation serves as the political office that is fulfilled by the head of the government of that political territory ?
(Q183,P1313,c(Q12737077))
action filter_type
action find
entity Q183
relation P1313
type Q12737077
['Q183', 'P1313', {'concept': 'Q12737077'}]
SELECT DISTINCT ?y WHERE { resource:Q183 property:P1313 ?y . ?y rdf:type ontology:Q12737077 }
Germany
action filter_type
action find
entity Germany
relation office held by head of government
type occupation
['Germany', 'office held by head of government', {'concept': 'occupation'}]
SELECT DISTINCT ?y WHERE { resource:Germany property:office_held_by_head_of_government ?y . ?y rdf:type ontology:occupation }
[]
occupation
Q4970706
SYSTEM
Federal Chancellor of Germany
Q4970706
(Q183,P1313,c(Q12737077))
action filter_type
action find
entity Q183
relation P1313
type Q12737077
[ANSWER] serves as the political office that is fulfilled by the head of the government of that political territory
['Q183', 'P1313', {'concept': 'Q12737077'}]
SELECT DISTINCT ?y WHERE { resource:Q183 property:P1313 ?y . ?y rdf:type ontology:Q12737077 }
Federal Chancellor of Germany
Federal Chancellor of Germany serves as the political office that is fulfilled by the head of the government of that political territory
Federal Chancellor of Germany
action filter_type
action find
entity Germany
relation office held by head of government
type occupation
['Germany', 'office held by head of government', {'concept': 'occupation'}]
SELECT DISTINCT ?y WHERE { resource:Germany property:office_held_by_head_of_government ?y . ?y rdf:type ontology:occupation }
[]
Logical Reasoning (All)
Logical|Difference|Multiple_Relation
Q5642360 Q183
P530 P27
Q15617994
USER
Which administrative territories have diplomatic relationships with Germany and are not the countries of citizenship of Halina Biegun ?
AND((Q183,P530,c(Q15617994)), NOT((Q5642360,P27,c(Q15617994))))
action filter_type
action difference
action find
entity Q183
relation P530
action find
entity Q5642360
relation P27
type Q15617994
{'AND': [['Q183', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q5642360', 'P27', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?r WHERE { resource:Q183 property:P530 ?r . FILTER NOT EXISTS { resource:Q5642360 property:P27 ?r } . ?r rdf:type ontology:Q15617994 }
Halina Biegun Germany
action filter_type
action difference
action find
entity Germany
relation diplomatic relation
action find
entity Halina Biegun
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Germany', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Halina Biegun', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?r WHERE { resource:Germany property:diplomatic_relation ?r . FILTER NOT EXISTS { resource:Halina_Biegun property:country_of_citizenship ?r } . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q1016 Q298 Q30 Q881 Q347 Q1006 Q39 Q711 Q958 Q811
SYSTEM
Some of them are Libya, Chile, United States of America, Vietnam, Liechtenstein, Guinea, Switzerland, Mongolia, South Sudan, Nicaragua
Q804 Q801 Q800 Q419 Q668 Q414 Q142 Q55 Q145 Q262 Q148 Q783 Q265 Q833 Q711 Q717 Q252 Q403 Q657 Q258 Q45 Q159 Q43 Q41 Q155 Q796 Q794 Q954 Q889 Q884 Q958 Q881 Q739 Q241 Q242 Q811 Q33 Q32 Q31 Q30 Q924 Q34 Q929 Q39 Q38 Q986 Q423 Q983 Q851 Q733 Q734 Q736 Q730 Q230 Q232 Q233 Q238 Q20 Q1045 Q1041 Q27 Q28 Q29 Q1049 Q189 Q843 Q184 Q1029 Q1028 Q786 Q347 Q227 Q225 Q224 Q222 Q96 Q229 Q228 Q17 Q902 Q1036 Q1037 Q1008 Q1032 Q1033 Q1030 Q965 Q967 Q962 Q963 Q298 Q115 Q114 Q117 Q750 Q212 Q213 Q217 Q214 Q215 Q218 Q219 Q912 Q917 Q916 Q1007 Q1006 Q1005 Q1009 Q974 Q971 Q79 Q77 Q878 Q774 Q948 Q810 Q1019 Q1016 Q1011 Q945 Q869 Q953
AND((Q183,P530,c(Q15617994)), NOT((Q5642360,P27,c(Q15617994))))
action filter_type
action difference
action find
entity Q183
relation P530
action find
entity Q5642360
relation P27
type Q15617994
[ANSWERS] have diplomatic relationships with Germany and are not the countries of citizenship of Halina Biegun
{'AND': [['Q183', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q5642360', 'P27', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?r WHERE { resource:Q183 property:P530 ?r . FILTER NOT EXISTS { resource:Q5642360 property:P27 ?r } . ?r rdf:type ontology:Q15617994 }
Panama Israel Costa Rica Peru India Argentina France Netherlands United Kingdom Algeria People's Republic of China Honduras Uzbekistan Malaysia Mongolia Venezuela Indonesia Serbia Chad South Africa Portugal Russia Turkey Greece Brazil Iraq Iran Zimbabwe Afghanistan South Korea South Sudan Vietnam Colombia Cuba Belize Nicaragua Finland Luxembourg Belgium United States of America Tanzania Sweden Central African Republic Switzerland Italy Eritrea North Korea Equatorial Guinea Saudi Arabia Paraguay Guyana Ecuador Suriname Georgia Kazakhstan Malta San Marino Norway Somalia Senegal Ireland Hungary Spain Sudan Iceland Pakistan Belarus Mozambique Morocco Dominican Republic Liechtenstein Azerbaijan Bosnia and Herzegovina Croatia Albania Mexico Cyprus Andorra Japan Bangladesh Uganda Rwanda Côte d'Ivoire Niger Nigeria Namibia Burkina Faso Burundi Benin Botswana Chile Ethiopia Kenya Ghana Bolivia Ukraine Czech Republic Republic of Moldova Slovakia Slovenia Romania Bulgaria Mali Bhutan Angola Guinea-Bissau Guinea Gambia Cameroon Democratic Republic of the Congo Republic of the Congo Egypt Uruguay United Arab Emirates Guatemala Tunisia Jordan Madagascar Libya Cape Verde Togo Thailand Zambia
Libya, Chile, United States of America, Vietnam, Liechtenstein, Guinea, Switzerland, Mongolia, South Sudan and Nicaragua have diplomatic relationships with Germany and are not the countries of citizenship of Halina Biegun
Libya Chile United States of America Vietnam Liechtenstein Guinea Switzerland Mongolia South Sudan Nicaragua
action filter_type
action difference
action find
entity Germany
relation diplomatic relation
action find
entity Halina Biegun
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Germany', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Halina Biegun', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?r WHERE { resource:Germany property:diplomatic_relation ?r . FILTER NOT EXISTS { resource:Halina_Biegun property:country_of_citizenship ?r } . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q183
P530
Q1048835
USER
Are Germany known to have diplomatic connections with those administrative territories ?
(Q183,P530,Q1016) (Q183,P530,Q298) (Q183,P530,Q30) (Q183,P530,Q881) (Q183,P530,Q347) (Q183,P530,Q1006) (Q183,P530,Q39) (Q183,P530,Q711) (Q183,P530,Q958) (Q183,P530,Q811)
action is_in
entity prev_answer
action find
entity Q183
relation P530
['Q183', 'P530', 'Q1016'] ['Q183', 'P530', 'Q298'] ['Q183', 'P530', 'Q30'] ['Q183', 'P530', 'Q881'] ['Q183', 'P530', 'Q347'] ['Q183', 'P530', 'Q1006'] ['Q183', 'P530', 'Q39'] ['Q183', 'P530', 'Q711'] ['Q183', 'P530', 'Q958'] ['Q183', 'P530', 'Q811']
ASK WHERE { VALUES ( ?z ) { ( resource:Q804 ) ( resource:Q801 ) ( resource:Q800 ) } . resource:Q183 property:P530 ?z }
Germany
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Libya'] ['Germany', 'diplomatic relation', 'Chile'] ['Germany', 'diplomatic relation', 'United States of America'] ['Germany', 'diplomatic relation', 'Vietnam'] ['Germany', 'diplomatic relation', 'Liechtenstein'] ['Germany', 'diplomatic relation', 'Guinea'] ['Germany', 'diplomatic relation', 'Switzerland'] ['Germany', 'diplomatic relation', 'Mongolia'] ['Germany', 'diplomatic relation', 'South Sudan'] ['Germany', 'diplomatic relation', 'Nicaragua']
ASK WHERE { VALUES ( ?z ) { ( resource:Panama ) ( resource:Israel ) ( resource:Costa_Rica ) } . resource:Germany property:diplomatic_relation ?z }
[]
political territorial entity
SYSTEM
YES
(Q183,P530,Q1016) (Q183,P530,Q298) (Q183,P530,Q30) (Q183,P530,Q881) (Q183,P530,Q347) (Q183,P530,Q1006) (Q183,P530,Q39) (Q183,P530,Q711) (Q183,P530,Q958) (Q183,P530,Q811)
action is_in
entity prev_answer
action find
entity Q183
relation P530
[ANSWER]
['Q183', 'P530', 'Q1016'] ['Q183', 'P530', 'Q298'] ['Q183', 'P530', 'Q30'] ['Q183', 'P530', 'Q881'] ['Q183', 'P530', 'Q347'] ['Q183', 'P530', 'Q1006'] ['Q183', 'P530', 'Q39'] ['Q183', 'P530', 'Q711'] ['Q183', 'P530', 'Q958'] ['Q183', 'P530', 'Q811']
ASK WHERE { VALUES ( ?z ) { ( resource:Q804 ) ( resource:Q801 ) ( resource:Q800 ) } . resource:Q183 property:P530 ?z }
Yes
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Libya'] ['Germany', 'diplomatic relation', 'Chile'] ['Germany', 'diplomatic relation', 'United States of America'] ['Germany', 'diplomatic relation', 'Vietnam'] ['Germany', 'diplomatic relation', 'Liechtenstein'] ['Germany', 'diplomatic relation', 'Guinea'] ['Germany', 'diplomatic relation', 'Switzerland'] ['Germany', 'diplomatic relation', 'Mongolia'] ['Germany', 'diplomatic relation', 'South Sudan'] ['Germany', 'diplomatic relation', 'Nicaragua']
ASK WHERE { VALUES ( ?z ) { ( resource:Panama ) ( resource:Israel ) ( resource:Costa_Rica ) } . resource:Germany property:diplomatic_relation ?z }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q64
P1376
Q183366
USER
Which territory has Berlin as its county seat ?
(Q64,P1376,c(Q183366))
action filter_type
action find
entity Q64
relation P1376
type Q183366
['Q64', 'P1376', {'concept': 'Q183366'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q183366 . resource:Q64 property:P1376 ?v }
Berlin
action filter_type
action find
entity Berlin
relation capital of
type territory
['Berlin', 'capital of', {'concept': 'territory'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:territory . resource:Berlin property:capital_of ?v }
[]
territory
Q2415901
SYSTEM
Allied-occupied Germany
Q2415901
(Q64,P1376,c(Q183366))
action filter_type
action find
entity Q64
relation P1376
type Q183366
[ANSWER] has Berlin as its county seat
['Q64', 'P1376', {'concept': 'Q183366'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q183366 . resource:Q64 property:P1376 ?v }
Allied-occupied Germany
Allied-occupied Germany has Berlin as its county seat
Allied-occupied Germany
action filter_type
action find
entity Berlin
relation capital of
type territory
['Berlin', 'capital of', {'concept': 'territory'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:territory . resource:Berlin property:capital_of ?v }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2415901
P36
Q56061
USER
Which administrative territory is called the capital of that territory ?
(Q2415901,P36,c(Q56061))
action filter_type
action find
entity Q2415901
relation P36
type Q56061
['Q2415901', 'P36', {'concept': 'Q56061'}]
SELECT DISTINCT ?g WHERE { resource:Q2415901 property:P36 ?g . ?g rdf:type ontology:Q56061 }
Allied-occupied Germany
action filter_type
action find
entity Allied-occupied Germany
relation capital
type administrative territorial entity
['Allied-occupied Germany', 'capital', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?g WHERE { resource:Allied-occupied_Germany property:capital ?g . ?g rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q64
SYSTEM
Berlin
Q64
(Q2415901,P36,c(Q56061))
action filter_type
action find
entity Q2415901
relation P36
type Q56061
[ANSWER] is called the capital of that territory
['Q2415901', 'P36', {'concept': 'Q56061'}]
SELECT DISTINCT ?g WHERE { resource:Q2415901 property:P36 ?g . ?g rdf:type ontology:Q56061 }
Berlin
Berlin is called the capital of that territory
Berlin
action filter_type
action find
entity Allied-occupied Germany
relation capital
type administrative territorial entity
['Allied-occupied Germany', 'capital', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?g WHERE { resource:Allied-occupied_Germany property:capital ?g . ?g rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q64 Q183
P1376
Q1048835
USER
Does Germany have that administrative territory has its first city ?
(Q64,P1376,Q183)
action is_in
entity Q183
action find
entity Q64
relation P1376
['Q64', 'P1376', 'Q183']
ASK WHERE { resource:Q64 property:P1376 resource:Q183 }
Berlin Germany
action is_in
entity Germany
action find
entity Berlin
relation capital of
['Berlin', 'capital of', 'Germany']
ASK WHERE { resource:Berlin property:capital_of resource:Germany }
[]
political territorial entity
SYSTEM
YES
(Q64,P1376,Q183)
action is_in
entity Q183
action find
entity Q64
relation P1376
[ANSWER]
['Q64', 'P1376', 'Q183']
ASK WHERE { resource:Q64 property:P1376 resource:Q183 }
Yes
action is_in
entity Germany
action find
entity Berlin
relation capital of
['Berlin', 'capital of', 'Germany']
ASK WHERE { resource:Berlin property:capital_of resource:Germany }
[]