Simple Question (Direct)
Simple Question
Q436796
P20
Q56061
USER
Where did Torill Thorstad Hauger expire ?
(Q436796,P20,c(Q56061))
action filter_type
action find
entity Q436796
relation P20
type Q56061
['Q436796', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:Q56061 . resource:Q436796 property:P20 ?k }
Torill Thorstad Hauger
action filter_type
action find
entity Torill Thorstad Hauger
relation place of death
type administrative territorial entity
['Torill Thorstad Hauger', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:administrative_territorial_entity . resource:Torill_Thorstad_Hauger property:place_of_death ?k }
[]
administrative territorial entity
Q585
SYSTEM
Oslo
Q585
(Q436796,P20,c(Q56061))
action filter_type
action find
entity Q436796
relation P20
type Q56061
Torill Thorstad Hauger expired in [ANSWER]
['Q436796', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:Q56061 . resource:Q436796 property:P20 ?k }
Oslo
Torill Thorstad Hauger expired in Oslo
Oslo
action filter_type
action find
entity Torill Thorstad Hauger
relation place of death
type administrative territorial entity
['Torill Thorstad Hauger', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:administrative_territorial_entity . resource:Torill_Thorstad_Hauger property:place_of_death ?k }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q436796
P27
Q15617994
USER
Which administrative territory is the native country of Torill Thorstad Hauger ?
(Q436796,P27,c(Q15617994))
action filter_type
action find
entity Q436796
relation P27
type Q15617994
['Q436796', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { resource:Q436796 property:P27 ?u . ?u rdf:type ontology:Q15617994 }
Torill Thorstad Hauger
action filter_type
action find
entity Torill Thorstad Hauger
relation country of citizenship
type designation for an administrative territorial entity
['Torill Thorstad Hauger', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Torill_Thorstad_Hauger property:country_of_citizenship ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q20
SYSTEM
Norway
Q20
(Q436796,P27,c(Q15617994))
action filter_type
action find
entity Q436796
relation P27
type Q15617994
[ANSWER] is the native country of Torill Thorstad Hauger
['Q436796', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { resource:Q436796 property:P27 ?u . ?u rdf:type ontology:Q15617994 }
Norway
Norway is the native country of Torill Thorstad Hauger
Norway
action filter_type
action find
entity Torill Thorstad Hauger
relation country of citizenship
type designation for an administrative territorial entity
['Torill Thorstad Hauger', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Torill_Thorstad_Hauger property:country_of_citizenship ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation|Incomplete
Q21394913 Q436796
P27
Q15617994
USER
Or Elder F. Morato?
OR((Q436796,P27,c(Q15617994)), (Q21394913,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q436796
relation P27
action find
entity Q21394913
relation P27
type Q15617994
{'OR': [['Q436796', 'P27', {'concept': 'Q15617994'}], ['Q21394913', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?i WHERE { { ?j property:P27 ?i . VALUES ( ?j ) { ( resource:Q21394913 ) ( resource:Q436796 ) } } . ?i rdf:type ontology:Q15617994 }
Elder F. Morato Torill Thorstad Hauger
action filter_type
action union
action find
entity Torill Thorstad Hauger
relation country of citizenship
action find
entity Elder F. Morato
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Torill Thorstad Hauger', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Elder F. Morato', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?i WHERE { { ?j property:country_of_citizenship ?i . VALUES ( ?j ) { ( resource:Elder_F._Morato ) ( resource:Torill_Thorstad_Hauger ) } } . ?i rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q20 Q155
SYSTEM
Norway, Brazil
Q20 Q155
OR((Q436796,P27,c(Q15617994)), (Q21394913,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q436796
relation P27
action find
entity Q21394913
relation P27
type Q15617994
[ANSWERS]
{'OR': [['Q436796', 'P27', {'concept': 'Q15617994'}], ['Q21394913', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?i WHERE { { ?j property:P27 ?i . VALUES ( ?j ) { ( resource:Q21394913 ) ( resource:Q436796 ) } } . ?i rdf:type ontology:Q15617994 }
Norway Brazil
Norway Brazil
action filter_type
action union
action find
entity Torill Thorstad Hauger
relation country of citizenship
action find
entity Elder F. Morato
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Torill Thorstad Hauger', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Elder F. Morato', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?i WHERE { { ?j property:country_of_citizenship ?i . VALUES ( ?j ) { ( resource:Elder_F._Morato ) ( resource:Torill_Thorstad_Hauger ) } } . ?i rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q11511816
P112
Q43229
USER
Were Asahimatsu Foods founded by those administrative territories ?
(Q11511816,P112,Q20) (Q11511816,P112,Q155)
action is_in
entity prev_answer
action find
entity Q11511816
relation P112
['Q11511816', 'P112', 'Q20'] ['Q11511816', 'P112', 'Q155']
ASK WHERE { VALUES ( ?t ) { ( resource:Q20 ) ( resource:Q155 ) } . resource:Q11511816 property:P112 ?t }
Asahimatsu Foods
action is_in
entity prev_answer
action find
entity Asahimatsu Foods
relation founder
['Asahimatsu Foods', 'founder', 'Norway'] ['Asahimatsu Foods', 'founder', 'Brazil']
ASK WHERE { VALUES ( ?t ) { ( resource:Norway ) ( resource:Brazil ) } . resource:Asahimatsu_Foods property:founder ?t }
[]
organization
SYSTEM
NO
(Q11511816,P112,Q20) (Q11511816,P112,Q155)
action is_in
entity prev_answer
action find
entity Q11511816
relation P112
[ANSWER]
['Q11511816', 'P112', 'Q20'] ['Q11511816', 'P112', 'Q155']
ASK WHERE { VALUES ( ?t ) { ( resource:Q20 ) ( resource:Q155 ) } . resource:Q11511816 property:P112 ?t }
No
action is_in
entity prev_answer
action find
entity Asahimatsu Foods
relation founder
['Asahimatsu Foods', 'founder', 'Norway'] ['Asahimatsu Foods', 'founder', 'Brazil']
ASK WHERE { VALUES ( ?t ) { ( resource:Norway ) ( resource:Brazil ) } . resource:Asahimatsu_Foods property:founder ?t }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P1001
Q15617994 Q1292279 Q4164871
USER
Which administrative territories belong to jurisdiction of atmost 3 political borders or positions ?
(c(Q1292279)|c(Q4164871),P1001,c(Q15617994))
action atmost
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q1292279
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q4164871
value 3
[[{'concept': 'Q1292279'}, {'concept': 'Q4164871'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?p ) ?t WHERE { ?y rdf:type ?o . VALUES ( ?o ) { ( ontology:Q4164871 ) ( ontology:Q1292279 ) } } GROUP BY ?t } . FILTER ( ?p <= 3 ) }
action atmost
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type political border
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type position
value 3
[[{'concept': 'political border'}, {'concept': 'position'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?p ) ?t WHERE { ?y rdf:type ?o . VALUES ( ?o ) { ( ontology:position ) ( ontology:political_border ) } } GROUP BY ?t } . FILTER ( ?p <= 3 ) }
[]
designation for an administrative territorial entity political border position
Q55 Q32 Q347
SYSTEM
Netherlands, Luxembourg, Liechtenstein
Q701 Q804 Q705 Q707 Q706679 Q2765 Q163012 Q22273061 Q55 Q2871 Q189 Q784 Q24764 Q2742 Q398 Q711 Q837 Q443815 Q50198 Q1028 Q187035 Q22274206 Q1462 Q6465 Q1979 Q792 Q4628 Q884 Q7688 Q3097 Q826 Q158893 Q2942 Q1965 Q817 Q11340 Q11343 Q1142326 Q1974 Q2899 Q2758 Q1952 Q921 Q4712 Q155019 Q3389 Q423 Q983 Q733 Q854 Q424 Q163966 Q769680 Q3068 Q730 Q1013 Q11323 Q1948 Q1093 Q238 Q119284 Q3403547 Q27 Q2667658 Q1027 Q1020 Q2009 Q2007 Q1101 Q2003 Q736 Q1904 Q32 Q228 Q3462133 Q225 Q223 Q347 Q1050 Q1989 Q2838 Q902 Q967 Q697 Q694 Q695 Q117 Q752 Q22274534 Q11337 Q11331 Q217 Q12642 Q154547 Q242 Q1216 Q12753 Q2805 Q917 Q2107 Q1007 Q1005 Q1951 Q1438 Q34020 Q2380910 Q686 Q574 Q11301 Q2904 Q158095 Q1044 Q77 Q775 Q776 Q770 Q773 Q772 Q1014 Q158083 Q1011 Q1243 Q945 Q72449 Q12549 Q22273285 Q129003 Q1039 Q672 Q176 Q33788 Q1267638 Q298 Q329609 Q2938 Q2023 Q1231 Q1237
(c(Q1292279)|c(Q4164871),P1001,c(Q15617994))
action atmost
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q1292279
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q4164871
value 3
[ANSWERS] belong to jurisdiction of atmost 3 political borders or positions
[[{'concept': 'Q1292279'}, {'concept': 'Q4164871'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?p ) ?t WHERE { ?y rdf:type ?o . VALUES ( ?o ) { ( ontology:Q4164871 ) ( ontology:Q1292279 ) } } GROUP BY ?t } . FILTER ( ?p <= 3 ) }
North Holland Panama Zeeland Flevoland Duchy of Bar Gelsenkirchen Pankow Duchy of Nemours Netherlands Hagen Iceland Dominica municipality of the Philippines Münster Bahrain Mongolia Nepal Altomünster province of Thailand Morocco Principality of Albania Duchy of Mercoeur Sardinia department of France Prince Edward Island El Salvador Faroe Islands South Korea raion Remscheid Maldives Friedrichshain-Kreuzberg Solingen New Brunswick Kuwait Sprockhövel Wetter (Ruhr) Seine British Columbia Mülheim an der Ruhr Mönchengladbach Nova Scotia Brunei Duchy of Burgundy Duchy of Lorraine Finistère North Korea Equatorial Guinea Paraguay Sri Lanka Cambodia Mitte Bornholm Loire-Atlantique Suriname Lesotho Breckerfeld Manitoba Limburg San Marino Marzahn-Hellersdorf principality of Phalsbourg and Lixheim Ireland Shushary, Saint Petersburg Mauritius Malawi Yukon Northwest Territories North Brabant Newfoundland and Labrador Ecuador Ontario Luxembourg Andorra Saxe-Coburg and Gotha Bosnia and Herzegovina Greenland Liechtenstein Swaziland Saskatchewan Oberhausen Bangladesh Burundi Nauru South Holland Palau Ghana Groningen Duchy of Elbeuf Herdecke Gevelsberg Republic of Moldova Morbihan duchy Belize Piedmont Seine-et-Marne Krefeld Bhutan Wuppertal Guinea-Bissau Gambia Alberta Campania Niue Duchy of Zaslawye Vanuatu East Timor Ennepetal Herne Charlottenburg-Wilmersdorf Sierra Leone Uruguay Gelderland Utrecht Friesland Overijssel Drenthe Liberia Spandau Cape Verde Veneto Togo Roccarainola Ille-et-Vilaine Duchy of Guise French Southern and Antarctic Lands Sao Tomé and Príncipe Tuvalu Quebec New Caledonia Beloostrov Chile Lichtenberg Leverkusen Nunavut Kosovo Region Trentino-South Tyrol
Netherlands, Luxembourg and Liechtenstein belong to jurisdiction of atmost 3 political borders or positions
Netherlands Luxembourg Liechtenstein
action atmost
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type political border
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type position
value 3
[[{'concept': 'political border'}, {'concept': 'position'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?p ) ?t WHERE { ?y rdf:type ?o . VALUES ( ?o ) { ( ontology:position ) ( ontology:political_border ) } } GROUP BY ?t } . FILTER ( ?p <= 3 ) }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q183
P530
Q1048835
USER
Do Germany have diplomatic associations with those administrative territories ?
(Q183,P530,Q55) (Q183,P530,Q32) (Q183,P530,Q347)
action is_in
entity prev_answer
action find
entity Q183
relation P530
['Q183', 'P530', 'Q55'] ['Q183', 'P530', 'Q32'] ['Q183', 'P530', 'Q347']
ASK WHERE { VALUES ( ?c ) { ( resource:Q701 ) ( resource:Q804 ) ( resource:Q705 ) } . resource:Q183 property:P530 ?c }
Germany
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Netherlands'] ['Germany', 'diplomatic relation', 'Luxembourg'] ['Germany', 'diplomatic relation', 'Liechtenstein']
ASK WHERE { VALUES ( ?c ) { ( resource:North_Holland ) ( resource:Panama ) ( resource:Zeeland ) } . resource:Germany property:diplomatic_relation ?c }
[]
political territorial entity
SYSTEM
YES
(Q183,P530,Q55) (Q183,P530,Q32) (Q183,P530,Q347)
action is_in
entity prev_answer
action find
entity Q183
relation P530
[ANSWER]
['Q183', 'P530', 'Q55'] ['Q183', 'P530', 'Q32'] ['Q183', 'P530', 'Q347']
ASK WHERE { VALUES ( ?c ) { ( resource:Q701 ) ( resource:Q804 ) ( resource:Q705 ) } . resource:Q183 property:P530 ?c }
Yes
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Netherlands'] ['Germany', 'diplomatic relation', 'Luxembourg'] ['Germany', 'diplomatic relation', 'Liechtenstein']
ASK WHERE { VALUES ( ?c ) { ( resource:North_Holland ) ( resource:Panama ) ( resource:Zeeland ) } . resource:Germany property:diplomatic_relation ?c }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q55 Q166445
P530
Q1048835
USER
Does Poconé have diplomatic relations with Netherlands ?
(Q55,P530,Q166445)
action is_in
entity Q166445
action find
entity Q55
relation P530
['Q55', 'P530', 'Q166445']
ASK WHERE { resource:Q55 property:P530 resource:Q166445 }
Netherlands Poconé
action is_in
entity Poconé
action find
entity Netherlands
relation diplomatic relation
['Netherlands', 'diplomatic relation', 'Poconé']
ASK WHERE { resource:Netherlands property:diplomatic_relation resource:Poconé }
[]
political territorial entity
SYSTEM
NO
(Q55,P530,Q166445)
action is_in
entity Q166445
action find
entity Q55
relation P530
[ANSWER]
['Q55', 'P530', 'Q166445']
ASK WHERE { resource:Q55 property:P530 resource:Q166445 }
No
action is_in
entity Poconé
action find
entity Netherlands
relation diplomatic relation
['Netherlands', 'diplomatic relation', 'Poconé']
ASK WHERE { resource:Netherlands property:diplomatic_relation resource:Poconé }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q347 Q4215187 Q7490656
P530
Q1048835
USER
Is Liechtenstein known to have diplomatic connections with Zoria and Shatoja District ?
(Q347,P530,Q4215187) (Q347,P530,Q7490656)
action is_in
entity Q347
action intersection
action find_reverse
entity Q4215187
relation P530
action find_reverse
entity Q7490656
relation P530
['Q347', 'P530', 'Q4215187'] ['Q347', 'P530', 'Q7490656']
ASK WHERE { resource:Q347 property:P530 resource:Q4215187 . resource:Q347 property:P530 resource:Q7490656 }
Liechtenstein Zoria Shatoja District
action is_in
entity Liechtenstein
action intersection
action find_reverse
entity Zoria
relation diplomatic relation
action find_reverse
entity Shatoja District
relation diplomatic relation
['Liechtenstein', 'diplomatic relation', 'Zoria'] ['Liechtenstein', 'diplomatic relation', 'Shatoja District']
ASK WHERE { resource:Liechtenstein property:diplomatic_relation resource:Zoria . resource:Liechtenstein property:diplomatic_relation resource:Shatoja_District }
[]
political territorial entity
SYSTEM
NO
(Q347,P530,Q4215187) (Q347,P530,Q7490656)
action is_in
entity Q347
action intersection
action find_reverse
entity Q4215187
relation P530
action find_reverse
entity Q7490656
relation P530
[ANSWER]
['Q347', 'P530', 'Q4215187'] ['Q347', 'P530', 'Q7490656']
ASK WHERE { resource:Q347 property:P530 resource:Q4215187 . resource:Q347 property:P530 resource:Q7490656 }
No
action is_in
entity Liechtenstein
action intersection
action find_reverse
entity Zoria
relation diplomatic relation
action find_reverse
entity Shatoja District
relation diplomatic relation
['Liechtenstein', 'diplomatic relation', 'Zoria'] ['Liechtenstein', 'diplomatic relation', 'Shatoja District']
ASK WHERE { resource:Liechtenstein property:diplomatic_relation resource:Zoria . resource:Liechtenstein property:diplomatic_relation resource:Shatoja_District }
[]