Simple Question (Direct)
Simple Question
Q5103907
P27
Q15617994
USER
Which administrative territory is the native country of Choi Jin-soo ?
(Q5103907,P27,c(Q15617994))
action filter_type
action find
entity Q5103907
relation P27
type Q15617994
['Q5103907', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?r WHERE { resource:Q5103907 property:P27 ?r . ?r rdf:type ontology:Q15617994 }
Choi Jin-soo
action filter_type
action find
entity Choi Jin-soo
relation country of citizenship
type designation for an administrative territorial entity
['Choi Jin-soo', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?r WHERE { resource:Choi_Jin-soo property:country_of_citizenship ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q884
SYSTEM
South Korea
Q884
(Q5103907,P27,c(Q15617994))
action filter_type
action find
entity Q5103907
relation P27
type Q15617994
[ANSWER] is the native country of Choi Jin-soo
['Q5103907', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?r WHERE { resource:Q5103907 property:P27 ?r . ?r rdf:type ontology:Q15617994 }
South Korea
South Korea is the native country of Choi Jin-soo
South Korea
action filter_type
action find
entity Choi Jin-soo
relation country of citizenship
type designation for an administrative territorial entity
['Choi Jin-soo', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?r WHERE { resource:Choi_Jin-soo property:country_of_citizenship ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q884
P127
Q811979
USER
Which architectural structure is under posessision of that administrative territory ?
(c(Q811979),P127,Q884)
action filter_type
action find_reverse
entity Q884
relation P127
type Q811979
[{'concept': 'Q811979'}, 'P127', 'Q884']
SELECT DISTINCT ?k WHERE { ?k property:P127 resource:Q884 . ?k rdf:type ontology:Q811979 }
South Korea
action filter_type
action find_reverse
entity South Korea
relation owned by
type architectural structure
[{'concept': 'architectural structure'}, 'owned by', 'South Korea']
SELECT DISTINCT ?k WHERE { ?k property:owned_by resource:South_Korea . ?k rdf:type ontology:architectural_structure }
[]
architectural structure
Q5624070
SYSTEM
Gyeongju Tower
Q5624070
(c(Q811979),P127,Q884)
action filter_type
action find_reverse
entity Q884
relation P127
type Q811979
[ANSWER] is under posessision of that administrative territory
[{'concept': 'Q811979'}, 'P127', 'Q884']
SELECT DISTINCT ?k WHERE { ?k property:P127 resource:Q884 . ?k rdf:type ontology:Q811979 }
Gyeongju Tower
Gyeongju Tower is under posessision of that administrative territory
Gyeongju Tower
action filter_type
action find_reverse
entity South Korea
relation owned by
type architectural structure
[{'concept': 'architectural structure'}, 'owned by', 'South Korea']
SELECT DISTINCT ?k WHERE { ?k property:owned_by resource:South_Korea . ?k rdf:type ontology:architectural_structure }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q5624070 Q4966820 Q444834
P17
Q15617994
USER
Is that architectural structure located in Bridgeville Elementary School District and Lesnoy, Kaliningrad Oblast ?
(Q5624070,P17,Q4966820) (Q5624070,P17,Q444834)
action is_in
entity Q5624070
action intersection
action find_reverse
entity Q4966820
relation P17
action find_reverse
entity Q444834
relation P17
['Q5624070', 'P17', 'Q4966820'] ['Q5624070', 'P17', 'Q444834']
ASK WHERE { resource:Q5624070 property:P17 resource:Q4966820 . resource:Q5624070 property:P17 resource:Q444834 }
Gyeongju Tower Bridgeville Elementary School District Lesnoy, Kaliningrad Oblast
action is_in
entity Gyeongju Tower
action intersection
action find_reverse
entity Bridgeville Elementary School District
relation country
action find_reverse
entity Lesnoy, Kaliningrad Oblast
relation country
['Gyeongju Tower', 'country', 'Bridgeville Elementary School District'] ['Gyeongju Tower', 'country', 'Lesnoy, Kaliningrad Oblast']
ASK WHERE { resource:Gyeongju_Tower property:country resource:Bridgeville_Elementary_School_District . resource:Gyeongju_Tower property:country resource:Lesnoy,_Kaliningrad_Oblast }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q5624070,P17,Q4966820) (Q5624070,P17,Q444834)
action is_in
entity Q5624070
action intersection
action find_reverse
entity Q4966820
relation P17
action find_reverse
entity Q444834
relation P17
[ANSWER]
['Q5624070', 'P17', 'Q4966820'] ['Q5624070', 'P17', 'Q444834']
ASK WHERE { resource:Q5624070 property:P17 resource:Q4966820 . resource:Q5624070 property:P17 resource:Q444834 }
No
action is_in
entity Gyeongju Tower
action intersection
action find_reverse
entity Bridgeville Elementary School District
relation country
action find_reverse
entity Lesnoy, Kaliningrad Oblast
relation country
['Gyeongju Tower', 'country', 'Bridgeville Elementary School District'] ['Gyeongju Tower', 'country', 'Lesnoy, Kaliningrad Oblast']
ASK WHERE { resource:Gyeongju_Tower property:country resource:Bridgeville_Elementary_School_District . resource:Gyeongju_Tower property:country resource:Lesnoy,_Kaliningrad_Oblast }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q399
P17
Q15617994 Q3700011 Q1076486
USER
Which administrative territories are less number of districts of Indonesia or sports venues situated in than Armenia ?
(c(Q3700011)|c(Q1076486),P17,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q3700011
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q1076486
action count
action filter_multi_types
action find_reverse
entity Q399
relation P17
type Q3700011
type Q1076486
[[{'concept': 'Q3700011'}, {'concept': 'Q1076486'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?v ) ?k WHERE { ?f rdf:type ?l . VALUES ( ?l ) { ( ontology:Q3700011 ) ( ontology:Q1076486 ) } } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?q ) WHERE { ?m property:P17 resource:Q399 . { { ?m rdf:type ontology:Q1076486 } UNION { ?m rdf:type ontology:Q3700011 } } } } . FILTER ( ?v < ?q ) }
Armenia
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type district of Indonesia
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type sports venue
action count
action filter_multi_types
action find_reverse
entity Armenia
relation country
type district of Indonesia
type sports venue
[[{'concept': 'district of Indonesia'}, {'concept': 'sports venue'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?v ) ?k WHERE { ?f rdf:type ?l . VALUES ( ?l ) { ( ontology:district_of_Indonesia ) ( ontology:sports_venue ) } } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?q ) WHERE { ?m property:country resource:Armenia . { { ?m rdf:type ontology:sports_venue } UNION { ?m rdf:type ontology:district_of_Indonesia } } } } . FILTER ( ?v < ?q ) }
[]
designation for an administrative territorial entity district of Indonesia sports venue
Q230 Q953 Q184
SYSTEM
Georgia, Zambia, Belarus
Q702 Q804 Q800 Q1256 Q709 Q398 Q805 Q339952 Q419 Q270508 Q684030 Q2172530 Q12536 Q783 Q784 Q214 Q640426 Q36678 Q736029 Q712 Q711 Q710 Q717 Q837 Q565812 Q187035 Q1462 Q403 Q657 Q792 Q790 Q517333 Q796 Q954 Q889 Q2001966 Q326029 Q958 Q881 Q986 Q153529 Q695316 Q4628 Q826 Q165040 Q822 Q241 Q242 Q244 Q315667 Q811 Q736 Q153136 Q1210 Q921 Q924 Q928 Q155019 Q739 Q423 Q983 Q851 Q733 Q29999 Q854 Q734 Q819 Q107426 Q424 Q730 Q1282 Q159626 Q236 Q230 Q233 Q238 Q1045 Q1044 Q1042 Q1041 Q27 Q28 Q177323 Q313175 Q149621 Q1025 Q1027 Q1020 Q189 Q842 Q184 Q1029 Q1028 Q836 Q34762 Q1458 Q786 Q32 Q228 Q3462133 Q225 Q224 Q223 Q221 Q815731 Q47261 Q229 Q347 Q1050 Q977 Q704288 Q10957559 Q1036 Q1037 Q974 Q1032 Q1030 Q191 Q965 Q967 Q962 Q963 Q697 Q695 Q115 Q114 Q117 Q389004 Q754 Q750 Q213 Q211 Q217 Q1013 Q160307 Q164092 Q37 Q1483510 Q912 Q2662372 Q917 Q916 Q1007 Q1006 Q1005 Q829700 Q1009 Q1008 Q971 Q970 Q239502 Q683 Q15581 Q34020 Q2380910 Q686 Q193152 Q760 Q574 Q655621 Q2502354 Q154849 Q159856 Q2621010 Q874 Q696651 Q77 Q858 Q774 Q948 Q817 Q810 Q1019 Q813 Q1014 Q1016 Q148499 Q1011 Q945 Q678 Q8575586 Q529605 Q1039 Q672 Q33788 Q929 Q11024667 Q863 Q1049 Q426025 Q953
(c(Q3700011)|c(Q1076486),P17,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q3700011
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q1076486
action count
action filter_multi_types
action find_reverse
entity Q399
relation P17
type Q3700011
type Q1076486
[ANSWERS] are less number of districts of Indonesia or sports venues situated in than Armenia
[[{'concept': 'Q3700011'}, {'concept': 'Q1076486'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?v ) ?k WHERE { ?f rdf:type ?l . VALUES ( ?l ) { ( ontology:Q3700011 ) ( ontology:Q1076486 ) } } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?q ) WHERE { ?m property:P17 resource:Q399 . { { ?m rdf:type ontology:Q1076486 } UNION { ?m rdf:type ontology:Q3700011 } } } } . FILTER ( ?v < ?q ) }
Federated States of Micronesia Panama Costa Rica Liguria Marshall Islands Bahrain Yemen Principality of Orange-Nassau Peru Andora Principality of Serbia Electorate of Württemberg Abbasid caliphate Honduras Dominica Slovakia Stahnsdorf West Bank Nassau-Siegen Fiji Mongolia Kiribati Venezuela Nepal Principality of Calenberg Principality of Albania Sardinia Serbia Chad El Salvador Haiti Principality of Polotsk Iraq Zimbabwe Afghanistan Company rule in India Duchy of Brunswick South Sudan Vietnam Eritrea Duchy of Milan Schwarzburg-Rudolstadt Faroe Islands Maldives Duchy of Parma Lebanon Cuba Belize Barbados Saxe-Weimar Nicaragua Ecuador Habsburg Empire Lombardy Brunei Tanzania Philippines Duchy of Lorraine Colombia North Korea Equatorial Guinea Saudi Arabia Paraguay Kingdom of the Netherlands Sri Lanka Guyana Laos Anjou Cambodia Suriname Lazio Württemberg Montenegro Georgia Malta San Marino Somalia Sierra Leone Seychelles Senegal Ireland Hungary developing country Saxe-Lauenburg district Mauritania Mauritius Malawi Iceland Oman Belarus Mozambique Morocco Myanmar Principality of Bayreuth Calabria Dominican Republic Luxembourg Andorra Saxe-Coburg and Gotha Bosnia and Herzegovina Croatia Greenland Republic of Macedonia Principality of Bulgaria Duchy of Bavaria Cyprus Liechtenstein Swaziland Djibouti Duchy of Holstein Moldavia Uganda Rwanda Democratic Republic of the Congo Niger Namibia Estonia Burkina Faso Burundi Benin Botswana Nauru Palau Ethiopia Kenya Ghana Wallachia Trinidad and Tobago Bolivia Czech Republic Latvia Republic of Moldova Lesotho Fatimid caliphate Duchy of Saxony Lithuania Principality of Wales Mali Principality of Minsk Bhutan Angola Guinea-Bissau Guinea Gambia Saxe-Jena Cameroon Côte d'Ivoire Republic of the Congo Comoros Kingdom of Galicia–Volhynia Samoa Principality of Catalonia Niue Duchy of Zaslawye Vanuatu Great Moravia Saint Lucia East Timor Principality of Transylvania Principality of Goroden Grand Duchy of Tuscany Duchy of Brabant Principality of Vitebsk Turkmenistan Saxe-Eisenach Uruguay Syria Guatemala Tunisia Kuwait Jordan Madagascar Kyrgyzstan Liberia Libya Margraviate of Brandenburg Cape Verde Togo Tonga Umayyad Caliphate Electorate of Hesse Sao Tomé and Príncipe Tuvalu New Caledonia Central African Republic Duchy of Mecklenburg-Schwerin Tajikistan Sudan Duchy of Savoy Zambia
Georgia, Zambia and Belarus are less number of districts of Indonesia or sports venues situated in than Armenia
Georgia Zambia Belarus
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type district of Indonesia
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type sports venue
action count
action filter_multi_types
action find_reverse
entity Armenia
relation country
type district of Indonesia
type sports venue
[[{'concept': 'district of Indonesia'}, {'concept': 'sports venue'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?v ) ?k WHERE { ?f rdf:type ?l . VALUES ( ?l ) { ( ontology:district_of_Indonesia ) ( ontology:sports_venue ) } } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?q ) WHERE { ?m property:country resource:Armenia . { { ?m rdf:type ontology:sports_venue } UNION { ?m rdf:type ontology:district_of_Indonesia } } } } . FILTER ( ?v < ?q ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q953
P17
Q15617994 Q3700011 Q1076486
USER
And how about Zambia?
(c(Q3700011)|c(Q1076486),P17,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q3700011
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q1076486
action count
action filter_multi_types
action find_reverse
entity Q953
relation P17
type Q3700011
type Q1076486
[[{'concept': 'Q3700011'}, {'concept': 'Q1076486'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( COUNT ( ?s ) AS ?i ) ?j WHERE { ?s rdf:type ?g . VALUES ( ?g ) { ( ontology:Q3700011 ) ( ontology:Q1076486 ) } } GROUP BY ?j } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?b ) WHERE { { { ?l rdf:type ontology:Q1076486 } UNION { ?l rdf:type ontology:Q3700011 } } . ?l property:P17 resource:Q953 } } . FILTER ( ?i < ?b ) }
Zambia
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type district of Indonesia
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type sports venue
action count
action filter_multi_types
action find_reverse
entity Zambia
relation country
type district of Indonesia
type sports venue
[[{'concept': 'district of Indonesia'}, {'concept': 'sports venue'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( COUNT ( ?s ) AS ?i ) ?j WHERE { ?s rdf:type ?g . VALUES ( ?g ) { ( ontology:district_of_Indonesia ) ( ontology:sports_venue ) } } GROUP BY ?j } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?b ) WHERE { { { ?l rdf:type ontology:sports_venue } UNION { ?l rdf:type ontology:district_of_Indonesia } } . ?l property:country resource:Zambia } } . FILTER ( ?i < ?b ) }
[]
designation for an administrative territorial entity district of Indonesia sports venue
Q32 Q347 Q805
SYSTEM
Luxembourg, Liechtenstein, Yemen
Q702 Q804 Q800 Q1256 Q709 Q398 Q805 Q339952 Q270508 Q684030 Q2172530 Q12536 Q783 Q784 Q640426 Q36678 Q736029 Q712 Q711 Q710 Q837 Q565812 Q187035 Q1462 Q657 Q790 Q517333 Q954 Q889 Q2001966 Q326029 Q958 Q986 Q153529 Q695316 Q4628 Q826 Q165040 Q241 Q244 Q315667 Q811 Q736 Q153136 Q1210 Q921 Q924 Q928 Q155019 Q739 Q983 Q733 Q29999 Q854 Q734 Q819 Q107426 Q424 Q730 Q1282 Q159626 Q233 Q238 Q1045 Q1044 Q1042 Q1041 Q177323 Q313175 Q149621 Q1025 Q1027 Q1020 Q189 Q842 Q1029 Q836 Q34762 Q1458 Q786 Q32 Q228 Q3462133 Q224 Q223 Q815731 Q47261 Q229 Q347 Q1050 Q977 Q704288 Q10957559 Q1036 Q1037 Q974 Q1032 Q191 Q965 Q967 Q962 Q963 Q697 Q695 Q115 Q114 Q389004 Q754 Q750 Q1013 Q160307 Q164092 Q1483510 Q912 Q2662372 Q917 Q916 Q1007 Q1006 Q1005 Q829700 Q1009 Q1008 Q971 Q970 Q239502 Q683 Q15581 Q34020 Q2380910 Q686 Q193152 Q760 Q574 Q655621 Q2502354 Q154849 Q159856 Q2621010 Q696651 Q774 Q810 Q1019 Q813 Q1014 Q148499 Q945 Q678 Q8575586 Q529605 Q1039 Q672 Q33788 Q929 Q11024667 Q863 Q1049 Q426025
(c(Q3700011)|c(Q1076486),P17,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q3700011
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q1076486
action count
action filter_multi_types
action find_reverse
entity Q953
relation P17
type Q3700011
type Q1076486
[ANSWERS]
[[{'concept': 'Q3700011'}, {'concept': 'Q1076486'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( COUNT ( ?s ) AS ?i ) ?j WHERE { ?s rdf:type ?g . VALUES ( ?g ) { ( ontology:Q3700011 ) ( ontology:Q1076486 ) } } GROUP BY ?j } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?b ) WHERE { { { ?l rdf:type ontology:Q1076486 } UNION { ?l rdf:type ontology:Q3700011 } } . ?l property:P17 resource:Q953 } } . FILTER ( ?i < ?b ) }
Federated States of Micronesia Panama Costa Rica Liguria Marshall Islands Bahrain Yemen Principality of Orange-Nassau Andora Principality of Serbia Electorate of Württemberg Abbasid caliphate Honduras Dominica Stahnsdorf West Bank Nassau-Siegen Fiji Mongolia Kiribati Nepal Principality of Calenberg Principality of Albania Sardinia Chad Haiti Principality of Polotsk Zimbabwe Afghanistan Company rule in India Duchy of Brunswick South Sudan Eritrea Duchy of Milan Schwarzburg-Rudolstadt Faroe Islands Maldives Duchy of Parma Cuba Barbados Saxe-Weimar Nicaragua Ecuador Habsburg Empire Lombardy Brunei Tanzania Philippines Duchy of Lorraine Colombia Equatorial Guinea Paraguay Kingdom of the Netherlands Sri Lanka Guyana Laos Anjou Cambodia Suriname Lazio Württemberg Malta San Marino Somalia Sierra Leone Seychelles Senegal developing country Saxe-Lauenburg district Mauritania Mauritius Malawi Iceland Oman Mozambique Myanmar Principality of Bayreuth Calabria Dominican Republic Luxembourg Andorra Saxe-Coburg and Gotha Croatia Greenland Principality of Bulgaria Duchy of Bavaria Cyprus Liechtenstein Swaziland Djibouti Duchy of Holstein Moldavia Uganda Rwanda Democratic Republic of the Congo Niger Estonia Burkina Faso Burundi Benin Botswana Nauru Palau Ethiopia Kenya Wallachia Trinidad and Tobago Bolivia Lesotho Fatimid caliphate Duchy of Saxony Principality of Wales Mali Principality of Minsk Bhutan Angola Guinea-Bissau Guinea Gambia Saxe-Jena Cameroon Côte d'Ivoire Republic of the Congo Comoros Kingdom of Galicia–Volhynia Samoa Principality of Catalonia Niue Duchy of Zaslawye Vanuatu Great Moravia Saint Lucia East Timor Principality of Transylvania Principality of Goroden Grand Duchy of Tuscany Duchy of Brabant Principality of Vitebsk Saxe-Eisenach Guatemala Jordan Madagascar Kyrgyzstan Liberia Margraviate of Brandenburg Togo Tonga Umayyad Caliphate Electorate of Hesse Sao Tomé and Príncipe Tuvalu New Caledonia Central African Republic Duchy of Mecklenburg-Schwerin Tajikistan Sudan Duchy of Savoy
Luxembourg Liechtenstein Yemen
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type district of Indonesia
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type sports venue
action count
action filter_multi_types
action find_reverse
entity Zambia
relation country
type district of Indonesia
type sports venue
[[{'concept': 'district of Indonesia'}, {'concept': 'sports venue'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( COUNT ( ?s ) AS ?i ) ?j WHERE { ?s rdf:type ?g . VALUES ( ?g ) { ( ontology:district_of_Indonesia ) ( ontology:sports_venue ) } } GROUP BY ?j } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?b ) WHERE { { { ?l rdf:type ontology:sports_venue } UNION { ?l rdf:type ontology:district_of_Indonesia } } . ?l property:country resource:Zambia } } . FILTER ( ?i < ?b ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q14686 Q884
P530 P17
Q15617994
USER
Which administrative territories holds diplomatic relationship with South Korea and are Gulf of Finland located in ?
AND((Q884,P530,c(Q15617994)), (Q14686,P17,c(Q15617994)))
action filter_type
action intersection
action find
entity Q884
relation P530
action find
entity Q14686
relation P17
type Q15617994
{'AND': [['Q884', 'P530', {'concept': 'Q15617994'}], ['Q14686', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?f WHERE { resource:Q884 property:P530 ?f . resource:Q14686 property:P17 ?f . ?f rdf:type ontology:Q15617994 }
Gulf of Finland South Korea
action filter_type
action intersection
action find
entity South Korea
relation diplomatic relation
action find
entity Gulf of Finland
relation country
type designation for an administrative territorial entity
{'AND': [['South Korea', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Gulf of Finland', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?f WHERE { resource:South_Korea property:diplomatic_relation ?f . resource:Gulf_of_Finland property:country ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q159
SYSTEM
Russia
Q159
AND((Q884,P530,c(Q15617994)), (Q14686,P17,c(Q15617994)))
action filter_type
action intersection
action find
entity Q884
relation P530
action find
entity Q14686
relation P17
type Q15617994
[ANSWER] holds diplomatic relationship with South Korea and are Gulf of Finland located in
{'AND': [['Q884', 'P530', {'concept': 'Q15617994'}], ['Q14686', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?f WHERE { resource:Q884 property:P530 ?f . resource:Q14686 property:P17 ?f . ?f rdf:type ontology:Q15617994 }
Russia
Russia holds diplomatic relationship with South Korea and are Gulf of Finland located in
Russia
action filter_type
action intersection
action find
entity South Korea
relation diplomatic relation
action find
entity Gulf of Finland
relation country
type designation for an administrative territorial entity
{'AND': [['South Korea', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Gulf of Finland', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?f WHERE { resource:South_Korea property:diplomatic_relation ?f . resource:Gulf_of_Finland property:country ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q159
P463
Q43229
USER
Which organizations were that administrative territory a member of ?
(Q159,P463,c(Q43229))
action filter_type
action find
entity Q159
relation P463
type Q43229
['Q159', 'P463', {'concept': 'Q43229'}]
SELECT DISTINCT ?w WHERE { resource:Q159 property:P463 ?w . ?w rdf:type ontology:Q43229 }
Russia
action filter_type
action find
entity Russia
relation member of
type organization
['Russia', 'member of', {'concept': 'organization'}]
SELECT DISTINCT ?w WHERE { resource:Russia property:member_of ?w . ?w rdf:type ontology:organization }
[]
organization
Q7779 Q7825 Q191384
SYSTEM
Commonwealth of Independent States, World Trade Organization, International Bank for Reconstruction and Development
Q191384 Q7779 Q656801 Q380340 Q485207 Q7825 Q170481 Q243630 Q827525
(Q159,P463,c(Q43229))
action filter_type
action find
entity Q159
relation P463
type Q43229
[ANSWERS] were that administrative territory a member of
['Q159', 'P463', {'concept': 'Q43229'}]
SELECT DISTINCT ?w WHERE { resource:Q159 property:P463 ?w . ?w rdf:type ontology:Q43229 }
International Bank for Reconstruction and Development Commonwealth of Independent States International Finance Corporation Organization of the Black Sea Economic Cooperation Shanghai Cooperation Organisation World Trade Organization Asia-Pacific Economic Cooperation BRICS International Development Association
Commonwealth of Independent States, World Trade Organization and International Bank for Reconstruction and Development were that administrative territory a member of
Commonwealth of Independent States World Trade Organization International Bank for Reconstruction and Development
action filter_type
action find
entity Russia
relation member of
type organization
['Russia', 'member of', {'concept': 'organization'}]
SELECT DISTINCT ?w WHERE { resource:Russia property:member_of ?w . ?w rdf:type ontology:organization }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q159
P463
Q15617994
USER
Do Russia have a membership of those organizations ?
(Q159,P463,Q7779) (Q159,P463,Q7825) (Q159,P463,Q191384)
action is_in
entity prev_answer
action find
entity Q159
relation P463
['Q159', 'P463', 'Q7779'] ['Q159', 'P463', 'Q7825'] ['Q159', 'P463', 'Q191384']
ASK WHERE { resource:Q159 property:P463 ?p . VALUES ( ?p ) { ( resource:Q191384 ) ( resource:Q7779 ) ( resource:Q656801 ) } }
Russia
action is_in
entity prev_answer
action find
entity Russia
relation member of
['Russia', 'member of', 'Commonwealth of Independent States'] ['Russia', 'member of', 'World Trade Organization'] ['Russia', 'member of', 'International Bank for Reconstruction and Development']
ASK WHERE { resource:Russia property:member_of ?p . VALUES ( ?p ) { ( resource:International_Bank_for_Reconstruction_and_Development ) ( resource:Commonwealth_of_Independent_States ) ( resource:International_Finance_Corporation ) } }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q159,P463,Q7779) (Q159,P463,Q7825) (Q159,P463,Q191384)
action is_in
entity prev_answer
action find
entity Q159
relation P463
[ANSWER]
['Q159', 'P463', 'Q7779'] ['Q159', 'P463', 'Q7825'] ['Q159', 'P463', 'Q191384']
ASK WHERE { resource:Q159 property:P463 ?p . VALUES ( ?p ) { ( resource:Q191384 ) ( resource:Q7779 ) ( resource:Q656801 ) } }
Yes
action is_in
entity prev_answer
action find
entity Russia
relation member of
['Russia', 'member of', 'Commonwealth of Independent States'] ['Russia', 'member of', 'World Trade Organization'] ['Russia', 'member of', 'International Bank for Reconstruction and Development']
ASK WHERE { resource:Russia property:member_of ?p . VALUES ( ?p ) { ( resource:International_Bank_for_Reconstruction_and_Development ) ( resource:Commonwealth_of_Independent_States ) ( resource:International_Finance_Corporation ) } }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q7825 Q5105580
P159
Q56061
USER
Is Chowtapalli the head office for World Trade Organization located ?
(Q7825,P159,Q5105580)
action is_in
entity Q5105580
action find
entity Q7825
relation P159
['Q7825', 'P159', 'Q5105580']
ASK WHERE { resource:Q7825 property:P159 resource:Q5105580 }
World Trade Organization Chowtapalli
action is_in
entity Chowtapalli
action find
entity World Trade Organization
relation headquarters location
['World Trade Organization', 'headquarters location', 'Chowtapalli']
ASK WHERE { resource:World_Trade_Organization property:headquarters_location resource:Chowtapalli }
[]
administrative territorial entity
SYSTEM
NO
(Q7825,P159,Q5105580)
action is_in
entity Q5105580
action find
entity Q7825
relation P159
[ANSWER]
['Q7825', 'P159', 'Q5105580']
ASK WHERE { resource:Q7825 property:P159 resource:Q5105580 }
No
action is_in
entity Chowtapalli
action find
entity World Trade Organization
relation headquarters location
['World Trade Organization', 'headquarters location', 'Chowtapalli']
ASK WHERE { resource:World_Trade_Organization property:headquarters_location resource:Chowtapalli }
[]