Simple Question (Direct)
Simple Question
Q1663
P190
Q15617994
USER
Which administrative territories are twin towns of Split ?
(Q1663,P190,c(Q15617994))
action filter_type
action find
entity Q1663
relation P190
type Q15617994
['Q1663', 'P190', {'concept': 'Q15617994'}]
SELECT DISTINCT ?m WHERE { resource:Q1663 property:P190 ?m . ?m rdf:type ontology:Q15617994 }
Split
action filter_type
action find
entity Split
relation sister city
type designation for an administrative territorial entity
['Split', 'sister city', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { resource:Split property:sister_city ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q158095 Q190514 Q13437
SYSTEM
Charlottenburg-Wilmersdorf, Cagli, Benevento
Q158095 Q190514 Q13437
(Q1663,P190,c(Q15617994))
action filter_type
action find
entity Q1663
relation P190
type Q15617994
[ANSWERS] are twin towns of Split
['Q1663', 'P190', {'concept': 'Q15617994'}]
SELECT DISTINCT ?m WHERE { resource:Q1663 property:P190 ?m . ?m rdf:type ontology:Q15617994 }
Charlottenburg-Wilmersdorf Cagli Benevento
Charlottenburg-Wilmersdorf, Cagli and Benevento are twin towns of Split
Charlottenburg-Wilmersdorf Cagli Benevento
action filter_type
action find
entity Split
relation sister city
type designation for an administrative territorial entity
['Split', 'sister city', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { resource:Split property:sister_city ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Mult. Entity
Q158095 Q190514 Q13437
P190
Q13220204
USER
Which administrative country subdivisions are sister towns of those administrative territories ?
(Q158095,P190,c(Q13220204)) (Q190514,P190,c(Q13220204)) (Q13437,P190,c(Q13220204))
action filter_type
action find
entity prev_answer
relation P190
type Q13220204
['Q158095', 'P190', {'concept': 'Q13220204'}] ['Q190514', 'P190', {'concept': 'Q13220204'}] ['Q13437', 'P190', {'concept': 'Q13220204'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q13220204 . VALUES ( ?u ) { ( resource:Q158095 ) ( resource:Q190514 ) ( resource:Q13437 ) } . ?u property:P190 ?f }
Charlottenburg-Wilmersdorf Cagli Benevento
action filter_type
action find
entity prev_answer
relation sister city
type second-level administrative country subdivision
['Charlottenburg-Wilmersdorf', 'sister city', {'concept': 'second-level administrative country subdivision'}] ['Cagli', 'sister city', {'concept': 'second-level administrative country subdivision'}] ['Benevento', 'sister city', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:second-level_administrative_country_subdivision . VALUES ( ?u ) { ( resource:Charlottenburg-Wilmersdorf ) ( resource:Cagli ) ( resource:Benevento ) } . ?u property:sister_city ?f }
[]
second-level administrative country subdivision
Q101918 Q1663 Q1663
SYSTEM
Split for 2nd, 3rd, Apeldoorn for 1st
Q1663 Q101918 Q1663 Q1663
(Q158095,P190,c(Q13220204)) (Q190514,P190,c(Q13220204)) (Q13437,P190,c(Q13220204))
action filter_type
action find
entity prev_answer
relation P190
type Q13220204
[ANSWERS]
['Q158095', 'P190', {'concept': 'Q13220204'}] ['Q190514', 'P190', {'concept': 'Q13220204'}] ['Q13437', 'P190', {'concept': 'Q13220204'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q13220204 . VALUES ( ?u ) { ( resource:Q158095 ) ( resource:Q190514 ) ( resource:Q13437 ) } . ?u property:P190 ?f }
Split Apeldoorn Split Split
Apeldoorn, Split and Split are sister towns of those administrative territories
Apeldoorn Split Split
action filter_type
action find
entity prev_answer
relation sister city
type second-level administrative country subdivision
['Charlottenburg-Wilmersdorf', 'sister city', {'concept': 'second-level administrative country subdivision'}] ['Cagli', 'sister city', {'concept': 'second-level administrative country subdivision'}] ['Benevento', 'sister city', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:second-level_administrative_country_subdivision . VALUES ( ?u ) { ( resource:Charlottenburg-Wilmersdorf ) ( resource:Cagli ) ( resource:Benevento ) } . ?u property:sister_city ?f }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q13437
P47
Q15617994
USER
Which administrative territories share border with Benevento ?
(Q13437,P47,c(Q15617994))
action filter_type
action find
entity Q13437
relation P47
type Q15617994
['Q13437', 'P47', {'concept': 'Q15617994'}]
SELECT DISTINCT ?o WHERE { resource:Q13437 property:P47 ?o . ?o rdf:type ontology:Q15617994 }
Benevento
action filter_type
action find
entity Benevento
relation shares border with
type designation for an administrative territorial entity
['Benevento', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:Benevento property:shares_border_with ?o . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q55973 Q55958 Q55908
SYSTEM
San Nicola Manfredi, San Giorgio del Sannio, Fragneto Monforte
Q55946 Q55991 Q55889 Q55849 Q55977 Q55959 Q55973 Q55958 Q55904 Q55949 Q55908 Q55935
(Q13437,P47,c(Q15617994))
action filter_type
action find
entity Q13437
relation P47
type Q15617994
[ANSWERS] share border with Benevento
['Q13437', 'P47', {'concept': 'Q15617994'}]
SELECT DISTINCT ?o WHERE { resource:Q13437 property:P47 ?o . ?o rdf:type ontology:Q15617994 }
Pesco Sannita Torrecuso Castelpoto Apollosa Sant'Angelo a Cupolo San Leucio del Sannio San Nicola Manfredi San Giorgio del Sannio Foglianise Pietrelcina Fragneto Monforte Paduli
San Nicola Manfredi, San Giorgio del Sannio and Fragneto Monforte share border with Benevento
San Nicola Manfredi San Giorgio del Sannio Fragneto Monforte
action filter_type
action find
entity Benevento
relation shares border with
type designation for an administrative territorial entity
['Benevento', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:Benevento property:shares_border_with ?o . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q252
P530
Q15617994 Q15617994
USER
Which administrative territories have a diplomatic relationship with lesser number of administrative territories than Indonesia ?
(c(Q15617994),P530,c(Q15617994))
action less
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find_reverse
entity Q252
relation P530
type Q15617994
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?q ) AS ?r ) WHERE { ?q property:P530 ?g . ?g rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q15617994 } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?t ) WHERE { ?m property:P530 resource:Q252 . ?m rdf:type ontology:Q15617994 } } . FILTER ( ?r < ?t ) }
Indonesia
action less
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find_reverse
entity Indonesia
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?q ) AS ?r ) WHERE { ?q property:diplomatic_relation ?g . ?g rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?t ) WHERE { ?m property:diplomatic_relation resource:Indonesia . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity } } . FILTER ( ?r < ?t ) }
[]
designation for an administrative territorial entity designation for an administrative territorial entity
Q230 Q55 Q36
SYSTEM
Georgia, Netherlands, Poland
Q702 Q804 Q800 Q419 Q55 Q262 Q783 Q784 Q265 Q712 Q710 Q717 Q837 Q398 Q657 Q45 Q792 Q790 Q954 Q889 Q884 Q958 Q881 Q986 Q242 Q244 Q811 Q33 Q32 Q924 Q36 Q34 Q928 Q929 Q39 Q739 Q423 Q983 Q851 Q733 Q29999 Q854 Q734 Q819 Q424 Q730 Q1013 Q236 Q230 Q232 Q233 Q238 Q20 Q1045 Q1041 Q28 Q921 Q1049 Q1027 Q1020 Q189 Q843 Q842 Q184 Q1029 Q1028 Q736 Q786 Q228 Q227 Q225 Q224 Q221 Q96 Q229 Q902 Q1036 Q1037 Q974 Q1032 Q1033 Q1030 Q191 Q965 Q967 Q962 Q963 Q697 Q298 Q695 Q115 Q114 Q117 Q754 Q750 Q212 Q211 Q217 Q214 Q215 Q218 Q219 Q912 Q917 Q1007 Q1006 Q1005 Q833 Q977 Q1009 Q1008 Q971 Q970 Q683 Q34020 Q686 Q836 Q574 Q874 Q77 Q858 Q878 Q774 Q948 Q817 Q810 Q1019 Q945 Q678 Q29 Q33788 Q869
(c(Q15617994),P530,c(Q15617994))
action less
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find_reverse
entity Q252
relation P530
type Q15617994
[ANSWERS] have a diplomatic relationship with lesser number of administrative territories than Indonesia
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?q ) AS ?r ) WHERE { ?q property:P530 ?g . ?g rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q15617994 } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?t ) WHERE { ?m property:P530 resource:Q252 . ?m rdf:type ontology:Q15617994 } } . FILTER ( ?r < ?t ) }
Federated States of Micronesia Panama Costa Rica Peru Netherlands Algeria Honduras Dominica Uzbekistan Fiji Kiribati Venezuela Nepal Bahrain Chad Portugal El Salvador Haiti Zimbabwe Afghanistan South Korea South Sudan Vietnam Eritrea Belize Barbados Nicaragua Finland Luxembourg Tanzania Poland Sweden Philippines Central African Republic Switzerland Colombia North Korea Equatorial Guinea Saudi Arabia Paraguay Kingdom of the Netherlands Sri Lanka Guyana Laos Cambodia Suriname Lesotho Montenegro Georgia Kazakhstan Malta San Marino Norway Somalia Senegal Hungary Brunei Sudan Mauritius Malawi Iceland Pakistan Oman Belarus Mozambique Morocco Ecuador Dominican Republic Andorra Azerbaijan Bosnia and Herzegovina Croatia Republic of Macedonia Mexico Cyprus Bangladesh Uganda Rwanda Democratic Republic of the Congo Niger Nigeria Namibia Estonia Burkina Faso Burundi Benin Botswana Nauru Chile Palau Ethiopia Kenya Ghana Trinidad and Tobago Bolivia Ukraine Latvia Republic of Moldova Slovakia Slovenia Romania Bulgaria Mali Bhutan Guinea-Bissau Guinea Gambia Malaysia Djibouti Cameroon Côte d'Ivoire Republic of the Congo Comoros Samoa Niue Vanuatu Myanmar East Timor Turkmenistan Uruguay Syria United Arab Emirates Guatemala Tunisia Kuwait Jordan Madagascar Togo Tonga Spain New Caledonia Thailand
Georgia, Netherlands and Poland have a diplomatic relationship with lesser number of administrative territories than Indonesia
Georgia Netherlands Poland
action less
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find_reverse
entity Indonesia
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?q ) AS ?r ) WHERE { ?q property:diplomatic_relation ?g . ?g rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?t ) WHERE { ?m property:diplomatic_relation resource:Indonesia . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity } } . FILTER ( ?r < ?t ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q717
P530
Q15617994 Q15617994
USER
And how about Venezuela?
(c(Q15617994),P530,c(Q15617994))
action less
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find
entity Q717
relation P530
type Q15617994
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ?s ( COUNT ( ?j ) AS ?w ) WHERE { ?j property:P530 ?s . ?s rdf:type ontology:Q15617994 . ?j rdf:type ontology:Q15617994 } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?q ) WHERE { resource:Q717 property:P530 ?f . ?f rdf:type ontology:Q15617994 } } . FILTER ( ?w < ?q ) }
Venezuela
action less
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Venezuela
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ?s ( COUNT ( ?j ) AS ?w ) WHERE { ?j property:diplomatic_relation ?s . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?q ) WHERE { resource:Venezuela property:diplomatic_relation ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity } } . FILTER ( ?w < ?q ) }
[]
designation for an administrative territorial entity designation for an administrative territorial entity
Q218 Q20 Q948
SYSTEM
Romania, Norway, Tunisia
Q702 Q804 Q783 Q784 Q265 Q712 Q710 Q837 Q657 Q792 Q790 Q986 Q242 Q244 Q811 Q929 Q29999 Q854 Q819 Q424 Q730 Q1013 Q232 Q238 Q20 Q1045 Q1041 Q921 Q1027 Q1020 Q842 Q1028 Q786 Q1036 Q1037 Q1032 Q965 Q967 Q962 Q697 Q695 Q117 Q754 Q218 Q912 Q917 Q1007 Q1006 Q1005 Q833 Q977 Q970 Q683 Q34020 Q686 Q836 Q574 Q774 Q948 Q817 Q1019 Q945 Q678 Q33788
(c(Q15617994),P530,c(Q15617994))
action less
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find
entity Q717
relation P530
type Q15617994
[ANSWERS]
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ?s ( COUNT ( ?j ) AS ?w ) WHERE { ?j property:P530 ?s . ?s rdf:type ontology:Q15617994 . ?j rdf:type ontology:Q15617994 } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?q ) WHERE { resource:Q717 property:P530 ?f . ?f rdf:type ontology:Q15617994 } } . FILTER ( ?w < ?q ) }
Federated States of Micronesia Panama Honduras Dominica Uzbekistan Fiji Kiribati Nepal Chad El Salvador Haiti Eritrea Belize Barbados Nicaragua Central African Republic Kingdom of the Netherlands Sri Lanka Laos Cambodia Suriname Lesotho Kazakhstan San Marino Norway Somalia Senegal Brunei Mauritius Malawi Oman Morocco Dominican Republic Uganda Rwanda Niger Burkina Faso Burundi Benin Nauru Palau Ghana Trinidad and Tobago Romania Mali Bhutan Guinea-Bissau Guinea Gambia Malaysia Djibouti Comoros Samoa Niue Vanuatu Myanmar East Timor Guatemala Tunisia Kuwait Madagascar Togo Tonga New Caledonia
Romania Norway Tunisia
action less
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Venezuela
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ?s ( COUNT ( ?j ) AS ?w ) WHERE { ?j property:diplomatic_relation ?s . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?q ) WHERE { resource:Venezuela property:diplomatic_relation ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity } } . FILTER ( ?w < ?q ) }
[]
Clarification
Simple Question|Single Entity|Indirect
Q218
P1027
Q618779
USER
Which award is granted by that administrative territory ?
(c(Q618779),P1027,Q218)
action filter_type
action find_reverse
entity Q218
relation P1027
type Q618779
[{'concept': 'Q618779'}, 'P1027', 'Q218']
SELECT DISTINCT ?q WHERE { ?q property:P1027 resource:Q218 . ?q rdf:type ontology:Q618779 }
Romania
action filter_type
action find_reverse
entity Romania
relation conferred by
type award
[{'concept': 'award'}, 'conferred by', 'Romania']
SELECT DISTINCT ?q WHERE { ?q property:conferred_by resource:Romania . ?q rdf:type ontology:award }
[]
award
Clarification for simple ques.
Q20
SYSTEM
Did you mean Norway ?
Q218 Q20 Q948
(c(Q618779),P1027,Q218) (c(Q618779),P1027,Q20) (c(Q618779),P1027,Q948)
[ANSWER]
[{'concept': 'Q618779'}, 'P1027', 'Q218'] [{'concept': 'Q618779'}, 'P1027', 'Q20'] [{'concept': 'Q618779'}, 'P1027', 'Q948']
SELECT DISTINCT ?q WHERE { ?q property:P1027 resource:Q218 . ?q rdf:type ontology:Q618779 }
Romania Norway Tunisia
Did you mean Norway ?
Norway
[{'concept': 'award'}, 'conferred by', 'Romania'] [{'concept': 'award'}, 'conferred by', 'Norway'] [{'concept': 'award'}, 'conferred by', 'Tunisia']
SELECT DISTINCT ?q WHERE { ?q property:conferred_by resource:Romania . ?q rdf:type ontology:award }
[]
Simple Question (Coreferenced)
USER
No, I meant Romania. Could you tell me the answer for that?
(c(Q618779),P1027,Q218)
Q218
[{'concept': 'Q618779'}, 'P1027', 'Q218']
[{'concept': 'award'}, 'conferred by', 'Romania']
[]
Q26706836
SYSTEM
sport merit order
Q26706836
(c(Q618779),P1027,Q218)
action filter_type
action find_reverse
entity Q218
relation P1027
type Q618779
[ANSWER] is granted by that administrative territory
[{'concept': 'Q618779'}, 'P1027', 'Q218']
SELECT DISTINCT ?q WHERE { ?q property:P1027 resource:Q218 . ?q rdf:type ontology:Q618779 }
sport merit order
Sport merit order is granted by that administrative territory
sport merit order
action filter_type
action find_reverse
entity Romania
relation conferred by
type award
[{'concept': 'award'}, 'conferred by', 'Romania']
SELECT DISTINCT ?q WHERE { ?q property:conferred_by resource:Romania . ?q rdf:type ontology:award }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q26706836 Q34773
P1027
Q15617994
USER
Does Talheim, Tuttlingen confer that award ?
(Q26706836,P1027,Q34773)
action is_in
entity Q34773
action find
entity Q26706836
relation P1027
['Q26706836', 'P1027', 'Q34773']
ASK WHERE { resource:Q26706836 property:P1027 resource:Q34773 }
sport merit order Talheim, Tuttlingen
action is_in
entity Talheim, Tuttlingen
action find
entity sport merit order
relation conferred by
['sport merit order', 'conferred by', 'Talheim, Tuttlingen']
ASK WHERE { resource:sport_merit_order property:conferred_by resource:Talheim,_Tuttlingen }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q26706836,P1027,Q34773)
action is_in
entity Q34773
action find
entity Q26706836
relation P1027
[ANSWER]
['Q26706836', 'P1027', 'Q34773']
ASK WHERE { resource:Q26706836 property:P1027 resource:Q34773 }
No
action is_in
entity Talheim, Tuttlingen
action find
entity sport merit order
relation conferred by
['sport merit order', 'conferred by', 'Talheim, Tuttlingen']
ASK WHERE { resource:sport_merit_order property:conferred_by resource:Talheim,_Tuttlingen }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q101918 Q3061911
P1383
Q56061
USER
Does London belong to Apeldoorn ?
(Q101918,P1383,Q3061911)
action is_in
entity Q3061911
action find
entity Q101918
relation P1383
['Q101918', 'P1383', 'Q3061911']
ASK WHERE { resource:Q101918 property:P1383 resource:Q3061911 }
Apeldoorn London
action is_in
entity London
action find
entity Apeldoorn
relation contains settlement
['Apeldoorn', 'contains settlement', 'London']
ASK WHERE { resource:Apeldoorn property:contains_settlement resource:London }
[]
administrative territorial entity
SYSTEM
NO
(Q101918,P1383,Q3061911)
action is_in
entity Q3061911
action find
entity Q101918
relation P1383
[ANSWER]
['Q101918', 'P1383', 'Q3061911']
ASK WHERE { resource:Q101918 property:P1383 resource:Q3061911 }
No
action is_in
entity London
action find
entity Apeldoorn
relation contains settlement
['Apeldoorn', 'contains settlement', 'London']
ASK WHERE { resource:Apeldoorn property:contains_settlement resource:London }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q13437 Q38
P17
Q15617994
USER
Is Benevento a part of Italy ?
(Q13437,P17,Q38)
action is_in
entity Q38
action find
entity Q13437
relation P17
['Q13437', 'P17', 'Q38']
ASK WHERE { resource:Q13437 property:P17 resource:Q38 }
Benevento Italy
action is_in
entity Italy
action find
entity Benevento
relation country
['Benevento', 'country', 'Italy']
ASK WHERE { resource:Benevento property:country resource:Italy }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q13437,P17,Q38)
action is_in
entity Q38
action find
entity Q13437
relation P17
[ANSWER]
['Q13437', 'P17', 'Q38']
ASK WHERE { resource:Q13437 property:P17 resource:Q38 }
Yes
action is_in
entity Italy
action find
entity Benevento
relation country
['Benevento', 'country', 'Italy']
ASK WHERE { resource:Benevento property:country resource:Italy }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q20 Q35 Q2013634
P47
Q1048835
USER
Does Norway have an adjacent border with Denmark and Monteirópolis ?
(Q20,P47,Q35) (Q20,P47,Q2013634)
action is_in
entity Q20
action intersection
action find_reverse
entity Q35
relation P47
action find_reverse
entity Q2013634
relation P47
['Q20', 'P47', 'Q35'] ['Q20', 'P47', 'Q2013634']
ASK WHERE { resource:Q20 property:P47 resource:Q35 . resource:Q20 property:P47 resource:Q2013634 }
Norway Denmark Monteirópolis
action is_in
entity Norway
action intersection
action find_reverse
entity Denmark
relation shares border with
action find_reverse
entity Monteirópolis
relation shares border with
['Norway', 'shares border with', 'Denmark'] ['Norway', 'shares border with', 'Monteirópolis']
ASK WHERE { resource:Norway property:shares_border_with resource:Denmark . resource:Norway property:shares_border_with resource:Monteirópolis }
[]
political territorial entity
SYSTEM
YES and NO respectively
(Q20,P47,Q35) (Q20,P47,Q2013634)
action is_in
entity Q20
action intersection
action find_reverse
entity Q35
relation P47
action find_reverse
entity Q2013634
relation P47
[ANSWER]
['Q20', 'P47', 'Q35'] ['Q20', 'P47', 'Q2013634']
ASK WHERE { resource:Q20 property:P47 resource:Q35 . resource:Q20 property:P47 resource:Q2013634 }
YES and NO respectively
action is_in
entity Norway
action intersection
action find_reverse
entity Denmark
relation shares border with
action find_reverse
entity Monteirópolis
relation shares border with
['Norway', 'shares border with', 'Denmark'] ['Norway', 'shares border with', 'Monteirópolis']
ASK WHERE { resource:Norway property:shares_border_with resource:Denmark . resource:Norway property:shares_border_with resource:Monteirópolis }
[]