Simple Question (Direct)
Simple Question
Q1993090
P19
Q15617994
USER
Where was Nino Castelli born ?
(Q1993090,P19,c(Q15617994))
action filter_type
action find
entity Q1993090
relation P19
type Q15617994
['Q1993090', 'P19', {'concept': 'Q15617994'}]
SELECT DISTINCT ?i WHERE { resource:Q1993090 property:P19 ?i . ?i rdf:type ontology:Q15617994 }
Nino Castelli
action filter_type
action find
entity Nino Castelli
relation place of birth
type designation for an administrative territorial entity
['Nino Castelli', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?i WHERE { resource:Nino_Castelli property:place_of_birth ?i . ?i rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q6237
SYSTEM
Lecco
Q6237
(Q1993090,P19,c(Q15617994))
action filter_type
action find
entity Q1993090
relation P19
type Q15617994
Nino Castelli was born in [ANSWER]
['Q1993090', 'P19', {'concept': 'Q15617994'}]
SELECT DISTINCT ?i WHERE { resource:Q1993090 property:P19 ?i . ?i rdf:type ontology:Q15617994 }
Lecco
Nino Castelli was born in Lecco
Lecco
action filter_type
action find
entity Nino Castelli
relation place of birth
type designation for an administrative territorial entity
['Nino Castelli', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?i WHERE { resource:Nino_Castelli property:place_of_birth ?i . ?i rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q6237
P36
Q15089
USER
Which province of Italy contains that administrative territory as its capital ?
(c(Q15089),P36,Q6237)
action filter_type
action find_reverse
entity Q6237
relation P36
type Q15089
[{'concept': 'Q15089'}, 'P36', 'Q6237']
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:Q15089 . ?x property:P36 resource:Q6237 }
Lecco
action filter_type
action find_reverse
entity Lecco
relation capital
type province of Italy
[{'concept': 'province of Italy'}, 'capital', 'Lecco']
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:province_of_Italy . ?x property:capital resource:Lecco }
[]
province of Italy
Q16199
SYSTEM
Province of Lecco
Q16199
(c(Q15089),P36,Q6237)
action filter_type
action find_reverse
entity Q6237
relation P36
type Q15089
The [ANSWER] contains that administrative territory as its capital
[{'concept': 'Q15089'}, 'P36', 'Q6237']
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:Q15089 . ?x property:P36 resource:Q6237 }
Province of Lecco
The Province of Lecco contains that administrative territory as its capital
Province of Lecco
action filter_type
action find_reverse
entity Lecco
relation capital
type province of Italy
[{'concept': 'province of Italy'}, 'capital', 'Lecco']
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:province_of_Italy . ?x property:capital resource:Lecco }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q16199
P1376
Q15617994
USER
Which administrative territory is the county seat of that province of Italy ?
(c(Q15617994),P1376,Q16199)
action filter_type
action find_reverse
entity Q16199
relation P1376
type Q15617994
[{'concept': 'Q15617994'}, 'P1376', 'Q16199']
SELECT DISTINCT ?b WHERE { ?b property:P1376 resource:Q16199 . ?b rdf:type ontology:Q15617994 }
Province of Lecco
action filter_type
action find_reverse
entity Province of Lecco
relation capital of
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'capital of', 'Province of Lecco']
SELECT DISTINCT ?b WHERE { ?b property:capital_of resource:Province_of_Lecco . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q6237
SYSTEM
Lecco
Q6237
(c(Q15617994),P1376,Q16199)
action filter_type
action find_reverse
entity Q16199
relation P1376
type Q15617994
[ANSWER] is the county seat of that province of Italy
[{'concept': 'Q15617994'}, 'P1376', 'Q16199']
SELECT DISTINCT ?b WHERE { ?b property:P1376 resource:Q16199 . ?b rdf:type ontology:Q15617994 }
Lecco
Lecco is the county seat of that province of Italy
Lecco
action filter_type
action find_reverse
entity Province of Lecco
relation capital of
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'capital of', 'Province of Lecco']
SELECT DISTINCT ?b WHERE { ?b property:capital_of resource:Province_of_Lecco . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q6237
P47
Q15617994
USER
Which administrative territories share border with that one ?
(c(Q15617994),P47,Q6237)
action filter_type
action find
entity Q6237
relation P47
type Q15617994
[{'concept': 'Q15617994'}, 'P47', 'Q6237']
SELECT DISTINCT ?m WHERE { resource:Q6237 property:P47 ?m . ?m rdf:type ontology:Q15617994 }
Lecco
action filter_type
action find
entity Lecco
relation shares border with
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Lecco']
SELECT DISTINCT ?m WHERE { resource:Lecco property:shares_border_with ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q43071 Q42935 Q100016
SYSTEM
Galbiate, Mandello del Lario, Brumano
Q42626 Q43071 Q42862 Q42550 Q42540 Q42790 Q43050 Q42935 Q100016 Q42265 Q42819
(c(Q15617994),P47,Q6237)
action filter_type
action find
entity Q6237
relation P47
type Q15617994
[ANSWERS] share border with that one
[{'concept': 'Q15617994'}, 'P47', 'Q6237']
SELECT DISTINCT ?m WHERE { resource:Q6237 property:P47 ?m . ?m rdf:type ontology:Q15617994 }
Vercurago Galbiate Garlate Pescate Malgrate Ballabio Morterone Mandello del Lario Brumano Abbadia Lariana Erve
Galbiate, Mandello del Lario and Brumano share border with that one
Galbiate Mandello del Lario Brumano
action filter_type
action find
entity Lecco
relation shares border with
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Lecco']
SELECT DISTINCT ?m WHERE { resource:Lecco property:shares_border_with ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q723666 Q6237
P27 P17
Q15617994
USER
Which administrative territories are Lecco located in and do Guido Crepax belong to ?
AND((Q6237,P17,c(Q15617994)), (Q723666,P27,c(Q15617994)))
action filter_type
action intersection
action find
entity Q6237
relation P17
action find
entity Q723666
relation P27
type Q15617994
{'AND': [['Q6237', 'P17', {'concept': 'Q15617994'}], ['Q723666', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?i WHERE { resource:Q6237 property:P17 ?i . resource:Q723666 property:P27 ?i . ?i rdf:type ontology:Q15617994 }
Guido Crepax Lecco
action filter_type
action intersection
action find
entity Lecco
relation country
action find
entity Guido Crepax
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Lecco', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Guido Crepax', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?i WHERE { resource:Lecco property:country ?i . resource:Guido_Crepax property:country_of_citizenship ?i . ?i rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q38
SYSTEM
Italy
Q38
AND((Q6237,P17,c(Q15617994)), (Q723666,P27,c(Q15617994)))
action filter_type
action intersection
action find
entity Q6237
relation P17
action find
entity Q723666
relation P27
type Q15617994
Lecco are located belong to the [ANSWER]
{'AND': [['Q6237', 'P17', {'concept': 'Q15617994'}], ['Q723666', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?i WHERE { resource:Q6237 property:P17 ?i . resource:Q723666 property:P27 ?i . ?i rdf:type ontology:Q15617994 }
Italy
Lecco are located belong to the Italy
Italy
action filter_type
action intersection
action find
entity Lecco
relation country
action find
entity Guido Crepax
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Lecco', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Guido Crepax', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?i WHERE { resource:Lecco property:country ?i . resource:Guido_Crepax property:country_of_citizenship ?i . ?i rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q38 Q54700 Q227
P530
Q15617994
USER
Does that administrative territory have diplomatic relations with Capistrano, Calabria and Azerbaijan ?
(Q38,P530,Q54700) (Q38,P530,Q227)
action is_in
entity Q38
action intersection
action find_reverse
entity Q54700
relation P530
action find_reverse
entity Q227
relation P530
['Q38', 'P530', 'Q54700'] ['Q38', 'P530', 'Q227']
ASK WHERE { resource:Q38 property:P530 resource:Q54700 . resource:Q38 property:P530 resource:Q227 }
Italy Capistrano, Calabria Azerbaijan
action is_in
entity Italy
action intersection
action find_reverse
entity Capistrano, Calabria
relation diplomatic relation
action find_reverse
entity Azerbaijan
relation diplomatic relation
['Italy', 'diplomatic relation', 'Capistrano, Calabria'] ['Italy', 'diplomatic relation', 'Azerbaijan']
ASK WHERE { resource:Italy property:diplomatic_relation resource:Capistrano,_Calabria . resource:Italy property:diplomatic_relation resource:Azerbaijan }
[]
designation for an administrative territorial entity
SYSTEM
NO and YES respectively
(Q38,P530,Q54700) (Q38,P530,Q227)
action is_in
entity Q38
action intersection
action find_reverse
entity Q54700
relation P530
action find_reverse
entity Q227
relation P530
[ANSWER]
['Q38', 'P530', 'Q54700'] ['Q38', 'P530', 'Q227']
ASK WHERE { resource:Q38 property:P530 resource:Q54700 . resource:Q38 property:P530 resource:Q227 }
NO and YES respectively
action is_in
entity Italy
action intersection
action find_reverse
entity Capistrano, Calabria
relation diplomatic relation
action find_reverse
entity Azerbaijan
relation diplomatic relation
['Italy', 'diplomatic relation', 'Capistrano, Calabria'] ['Italy', 'diplomatic relation', 'Azerbaijan']
ASK WHERE { resource:Italy property:diplomatic_relation resource:Capistrano,_Calabria . resource:Italy property:diplomatic_relation resource:Azerbaijan }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q917
P17
Q15617994 Q41176 Q14524493
USER
How many administrative territories do less number of buildings or terrains belong to than Bhutan ?
(c(Q41176)|c(Q14524493),P17,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q41176
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q14524493
action count
action filter_multi_types
action find_reverse
entity Q917
relation P17
type Q41176
type Q14524493
[[{'concept': 'Q41176'}, {'concept': 'Q14524493'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?s ) WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?x ) WHERE { { VALUES ( ?z ) { ( ontology:Q41176 ) ( ontology:Q14524493 ) } . ?b rdf:type ?z } . ?b property:P17 resource:Q917 } } . FILTER ( ?m < ?x ) . { SELECT DISTINCT ?u ( COUNT ( ?r ) AS ?m ) WHERE { { ?r property:P17 ?u . ?u rdf:type ontology:Q15617994 . ?r rdf:type ontology:Q41176 } UNION { ?r property:P17 ?u . ?u rdf:type ontology:Q15617994 . ?r rdf:type ontology:Q14524493 } } GROUP BY ?u } }
Bhutan
action count
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type building
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type terrain
action count
action filter_multi_types
action find_reverse
entity Bhutan
relation country
type building
type terrain
[[{'concept': 'building'}, {'concept': 'terrain'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?s ) WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?x ) WHERE { { VALUES ( ?z ) { ( ontology:building ) ( ontology:terrain ) } . ?b rdf:type ?z } . ?b property:country resource:Bhutan } } . FILTER ( ?m < ?x ) . { SELECT DISTINCT ?u ( COUNT ( ?r ) AS ?m ) WHERE { { ?r property:country ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?r rdf:type ontology:building } UNION { ?r property:country ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?r rdf:type ontology:terrain } } GROUP BY ?u } }
[]
designation for an administrative territorial entity building terrain
SYSTEM
109
Q702 Q1256 Q709 Q398 Q339952 Q270508 Q684030 Q2172530 Q12536 Q783 Q784 Q640426 Q36678 Q736029 Q710 Q565812 Q187035 Q1462 Q657 Q517333 Q2001966 Q326029 Q958 Q153529 Q695316 Q826 Q165040 Q241 Q244 Q315667 Q153136 Q1210 Q921 Q155019 Q983 Q733 Q29999 Q107426 Q730 Q1282 Q159626 Q238 Q1045 Q1044 Q1041 Q177323 Q313175 Q149621 Q1025 Q842 Q34762 Q1458 Q786 Q3462133 Q815731 Q47261 Q1050 Q704288 Q10957559 Q1037 Q1032 Q965 Q967 Q962 Q963 Q697 Q695 Q117 Q389004 Q160307 Q164092 Q1483510 Q912 Q2662372 Q1007 Q1006 Q1005 Q829700 Q1008 Q971 Q970 Q239502 Q683 Q15581 Q34020 Q2380910 Q193152 Q760 Q574 Q655621 Q2502354 Q154849 Q159856 Q2621010 Q874 Q696651 Q817 Q1014 Q148499 Q945 Q8575586 Q529605 Q1039 Q672 Q33788 Q929 Q11024667 Q426025 Q953
(c(Q41176)|c(Q14524493),P17,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q41176
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q14524493
action count
action filter_multi_types
action find_reverse
entity Q917
relation P17
type Q41176
type Q14524493
[ANSWER]
[[{'concept': 'Q41176'}, {'concept': 'Q14524493'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?s ) WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?x ) WHERE { { VALUES ( ?z ) { ( ontology:Q41176 ) ( ontology:Q14524493 ) } . ?b rdf:type ?z } . ?b property:P17 resource:Q917 } } . FILTER ( ?m < ?x ) . { SELECT DISTINCT ?u ( COUNT ( ?r ) AS ?m ) WHERE { { ?r property:P17 ?u . ?u rdf:type ontology:Q15617994 . ?r rdf:type ontology:Q41176 } UNION { ?r property:P17 ?u . ?u rdf:type ontology:Q15617994 . ?r rdf:type ontology:Q14524493 } } GROUP BY ?u } }
Federated States of Micronesia Liguria Marshall Islands Bahrain Principality of Orange-Nassau Andora Principality of Serbia Electorate of Württemberg Abbasid caliphate Honduras Dominica Stahnsdorf West Bank Nassau-Siegen Kiribati Principality of Calenberg Principality of Albania Sardinia Chad Principality of Polotsk Company rule in India Duchy of Brunswick South Sudan Duchy of Milan Schwarzburg-Rudolstadt Maldives Duchy of Parma Cuba Barbados Saxe-Weimar Habsburg Empire Lombardy Brunei Duchy of Lorraine Equatorial Guinea Paraguay Kingdom of the Netherlands Anjou Suriname Lazio Württemberg San Marino Somalia Sierra Leone Senegal developing country Saxe-Lauenburg district Mauritania Oman Principality of Bayreuth Calabria Dominican Republic Saxe-Coburg and Gotha Principality of Bulgaria Duchy of Bavaria Swaziland Duchy of Holstein Moldavia Rwanda Niger Burkina Faso Burundi Benin Botswana Nauru Palau Ghana Wallachia Fatimid caliphate Duchy of Saxony Principality of Wales Mali Principality of Minsk Guinea-Bissau Guinea Gambia Saxe-Jena Côte d'Ivoire Republic of the Congo Comoros Kingdom of Galicia–Volhynia Samoa Principality of Catalonia Niue Duchy of Zaslawye 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 Kuwait Liberia Margraviate of Brandenburg Togo Umayyad Caliphate Electorate of Hesse Sao Tomé and Príncipe Tuvalu New Caledonia Central African Republic Duchy of Mecklenburg-Schwerin Duchy of Savoy Zambia
109
action count
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type building
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type terrain
action count
action filter_multi_types
action find_reverse
entity Bhutan
relation country
type building
type terrain
[[{'concept': 'building'}, {'concept': 'terrain'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?s ) WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?x ) WHERE { { VALUES ( ?z ) { ( ontology:building ) ( ontology:terrain ) } . ?b rdf:type ?z } . ?b property:country resource:Bhutan } } . FILTER ( ?m < ?x ) . { SELECT DISTINCT ?u ( COUNT ( ?r ) AS ?m ) WHERE { { ?r property:country ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?r rdf:type ontology:building } UNION { ?r property:country ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?r rdf:type ontology:terrain } } GROUP BY ?u } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q912
P17
Q15617994 Q41176 Q14524493
USER
And how about Mali?
(c(Q41176)|c(Q14524493),P17,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q41176
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q14524493
action count
action filter_multi_types
action find_reverse
entity Q912
relation P17
type Q41176
type Q14524493
[[{'concept': 'Q41176'}, {'concept': 'Q14524493'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?r ) WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?o ) ?p WHERE { { ?p rdf:type ontology:Q15617994 . ?f rdf:type ontology:Q41176 . ?f property:P17 ?p } UNION { ?f property:P17 ?p . ?p rdf:type ontology:Q15617994 . ?f rdf:type ontology:Q14524493 } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { ?v property:P17 resource:Q912 . { { ?v rdf:type ontology:Q41176 } UNION { ?v rdf:type ontology:Q14524493 } } } } . FILTER ( ?o < ?x ) }
Mali
action count
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type building
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type terrain
action count
action filter_multi_types
action find_reverse
entity Mali
relation country
type building
type terrain
[[{'concept': 'building'}, {'concept': 'terrain'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?r ) WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?o ) ?p WHERE { { ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?f rdf:type ontology:building . ?f property:country ?p } UNION { ?f property:country ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?f rdf:type ontology:terrain } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { ?v property:country resource:Mali . { { ?v rdf:type ontology:building } UNION { ?v rdf:type ontology:terrain } } } } . FILTER ( ?o < ?x ) }
[]
designation for an administrative territorial entity building terrain
SYSTEM
70
Q1256 Q709 Q339952 Q270508 Q684030 Q2172530 Q12536 Q640426 Q36678 Q736029 Q710 Q565812 Q187035 Q1462 Q517333 Q2001966 Q326029 Q153529 Q695316 Q165040 Q315667 Q153136 Q1210 Q921 Q155019 Q29999 Q107426 Q1282 Q159626 Q177323 Q313175 Q149621 Q34762 Q1458 Q3462133 Q815731 Q47261 Q704288 Q10957559 Q697 Q695 Q389004 Q160307 Q164092 Q1483510 Q2662372 Q1007 Q1005 Q829700 Q971 Q970 Q239502 Q15581 Q34020 Q2380910 Q193152 Q655621 Q2502354 Q154849 Q159856 Q2621010 Q696651 Q148499 Q8575586 Q529605 Q1039 Q672 Q33788 Q11024667 Q426025
(c(Q41176)|c(Q14524493),P17,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q41176
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q14524493
action count
action filter_multi_types
action find_reverse
entity Q912
relation P17
type Q41176
type Q14524493
[ANSWER]
[[{'concept': 'Q41176'}, {'concept': 'Q14524493'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?r ) WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?o ) ?p WHERE { { ?p rdf:type ontology:Q15617994 . ?f rdf:type ontology:Q41176 . ?f property:P17 ?p } UNION { ?f property:P17 ?p . ?p rdf:type ontology:Q15617994 . ?f rdf:type ontology:Q14524493 } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { ?v property:P17 resource:Q912 . { { ?v rdf:type ontology:Q41176 } UNION { ?v rdf:type ontology:Q14524493 } } } } . FILTER ( ?o < ?x ) }
Liguria Marshall Islands Principality of Orange-Nassau Andora Principality of Serbia Electorate of Württemberg Abbasid caliphate Stahnsdorf West Bank Nassau-Siegen Kiribati Principality of Calenberg Principality of Albania Sardinia Principality of Polotsk Company rule in India Duchy of Brunswick Duchy of Milan Schwarzburg-Rudolstadt Duchy of Parma Saxe-Weimar Habsburg Empire Lombardy Brunei Duchy of Lorraine Kingdom of the Netherlands Anjou Lazio Württemberg developing country Saxe-Lauenburg district Principality of Bayreuth Calabria Saxe-Coburg and Gotha Principality of Bulgaria Duchy of Bavaria Duchy of Holstein Moldavia Nauru Palau Wallachia Fatimid caliphate Duchy of Saxony Principality of Wales Principality of Minsk Guinea-Bissau Gambia Saxe-Jena Republic of the Congo Comoros Kingdom of Galicia–Volhynia Principality of Catalonia Niue Duchy of Zaslawye Great Moravia Principality of Transylvania Principality of Goroden Grand Duchy of Tuscany Duchy of Brabant Principality of Vitebsk Saxe-Eisenach Margraviate of Brandenburg Umayyad Caliphate Electorate of Hesse Sao Tomé and Príncipe Tuvalu New Caledonia Duchy of Mecklenburg-Schwerin Duchy of Savoy
70
action count
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type building
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type terrain
action count
action filter_multi_types
action find_reverse
entity Mali
relation country
type building
type terrain
[[{'concept': 'building'}, {'concept': 'terrain'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?r ) WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?o ) ?p WHERE { { ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?f rdf:type ontology:building . ?f property:country ?p } UNION { ?f property:country ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?f rdf:type ontology:terrain } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { ?v property:country resource:Mali . { { ?v rdf:type ontology:building } UNION { ?v rdf:type ontology:terrain } } } } . FILTER ( ?o < ?x ) }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P1376
Q15617994 Q486972 Q20667921
USER
Which administrative territories have atmost 4 human settlements or french administrative divisions as their capital ?
(c(Q486972)|c(Q20667921),P1376,c(Q15617994))
action atmost
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q486972
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q20667921
value 4
[[{'concept': 'Q486972'}, {'concept': 'Q20667921'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?j WHERE { FILTER ( ?u <= 4 ) . { SELECT DISTINCT ?j ( COUNT ( ?q ) AS ?u ) WHERE { { ?q property:P1376 ?j . ?j rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q20667921 } UNION { ?q property:P1376 ?j . ?j rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q486972 } } GROUP BY ?j } }
action atmost
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type human settlement
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type type of french administrative division
value 4
[[{'concept': 'human settlement'}, {'concept': 'type of french administrative division'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?j WHERE { FILTER ( ?u <= 4 ) . { SELECT DISTINCT ?j ( COUNT ( ?q ) AS ?u ) WHERE { { ?q property:capital_of ?j . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:type_of_french_administrative_division } UNION { ?q property:capital_of ?j . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:human_settlement } } GROUP BY ?j } }
[]
designation for an administrative territorial entity human settlement type of french administrative division
Q38 Q155 Q30
SYSTEM
Italy, Brazil, United States of America
Q805 Q804 Q801 Q800 Q1098820 Q12631 Q419 Q414 Q3368 Q1111401 Q55 Q783 Q784 Q786 Q568833 Q1452650 Q2998020 Q3044731 Q252 Q399 Q398 Q258 Q1465069 Q1324549 Q1979 Q159 Q155 Q1664120 Q12526 Q12689 Q1974 Q2527360 Q699731 Q3377 Q3372 Q611074 Q2007299 Q3093 Q1254171 Q220249 Q979470 Q3259 Q1270648 Q2528268 Q12594 Q1899307 Q30675 Q739 Q983 Q730 Q733 Q734 Q736 Q12574 Q12798 Q1280 Q1282 Q12792 Q1284 Q1338277 Q384731 Q1816477 Q1273 Q1279 Q1025 Q1049 Q1027 Q1020 Q189 Q843 Q2007 Q184 Q1029 Q1028 Q541811 Q1390630 Q1458 Q1452 Q12700 Q12703 Q815731 Q31074 Q31075 Q96 Q12709 Q1050 Q311803 Q298 Q29937 Q115 Q114 Q117 Q30786 Q12569 Q1270638 Q1788988 Q1544445 Q466061 Q1515346 Q12642 Q683 Q1483510 Q3924533 Q12559 Q1270636 Q3216 Q3194 Q34020 Q541589 Q760 Q12804 Q12808 Q14762300 Q3326 Q696651 Q3286 Q3528124 Q2719360 Q948 Q1243 Q945 Q3266 Q3105 Q639100 Q731547 Q33788 Q855327 Q328134 Q1237 Q701 Q702 Q968630 Q705 Q707 Q709 Q4450475 Q668 Q1093 Q12740 Q12745 Q1090684 Q12779 Q1263830 Q833 Q3509886 Q836 Q837 Q2305610 Q565812 Q1460 Q2068764 Q1462 Q403 Q691890 Q12607 Q290739 Q45 Q43 Q41 Q792 Q790 Q796 Q794 Q1232680 Q889 Q12789 Q884 Q1452646 Q881 Q231168 Q2281221 Q241 Q1965 Q1508919 Q242 Q1437719 Q1244497 Q12694 Q29965 Q12515 Q12517 Q33 Q32 Q31 Q30 Q37 Q36 Q34 Q3361 Q39 Q38 Q3364 Q302479 Q541095 Q3148 Q2567535 Q280312 Q3068 Q3389 Q30644 Q236 Q492437 Q230 Q232 Q233 Q1777256 Q238 Q12549 Q12675 Q129003 Q12589 Q12584 Q12580 Q1101 Q1206596 Q3131 Q12788 Q12784 Q3139 Q12782 Q686312 Q902 Q1036 Q1037 Q1032 Q1033 Q1030 Q1024985 Q1039 Q697 Q694 Q695 Q754 Q752 Q750 Q12730 Q2562901 Q31068 Q12736 Q31067 Q31065 Q1270568 Q1773268 Q12657 Q30835 Q12652 Q30831 Q12556 Q574 Q1558632 Q694594 Q191 Q874 Q79 Q77 Q199688 Q878 Q46130 Q3044651 Q3044714 Q3044715 Q176 Q12816 Q30682 Q30683 Q1951 Q2091235 Q2006764 Q1952 Q3353 Q3357 Q669802 Q753795 Q1256 Q1250 Q452565 Q389004 Q3305157 Q492430 Q684030 Q2567507 Q3278 Q3044623 Q651394 Q30946 Q3184 Q3044781 Q239502 Q712 Q711 Q710 Q717 Q3044777 Q2900529 Q12770 Q12772 Q657 Q1789890 Q1090678 Q12538 Q954 Q1393469 Q953 Q2001966 Q1886098 Q958 Q986 Q219 Q957825 Q826 Q822 Q689837 Q1142326 Q153136 Q2621010 Q1999970 Q155019 Q1974486 Q153091 Q107426 Q693658 Q1508927 Q1948 Q511365 Q654849 Q2038939 Q311794 Q12661 Q20 Q27 Q28 Q1366860 Q148 Q598193 Q227 Q225 Q30650 Q223 Q222 Q221 Q47261 Q1270623 Q311668 Q229 Q228 Q1410315 Q1989 Q60011 Q10957559 Q965 Q967 Q962 Q963 Q2921370 Q3125 Q3120 Q2921378 Q2310748 Q252157 Q1210 Q1216 Q912 Q917 Q916 Q1007 Q1006 Q1005 Q1786286 Q1009 Q1008 Q2380910 Q1438 Q3110307 Q686 Q30832 Q891165 Q12722 Q12553 Q817 Q810 Q811 Q813 Q18046648 Q819 Q12620 Q12626 Q29 Q12543 Q617646 Q72670 Q12545 Q12563 Q2309262 Q863 Q2023 Q869 Q426025 Q568751 Q334714 Q15116736 Q2150573 Q142 Q685048 Q29943 Q145 Q12536 Q262 Q474421 Q2009 Q12820 Q265 Q3342 Q842 Q3349 Q378004 Q1150452 Q691368 Q1263 Q475035 Q3083 Q2003 Q3240 Q2662372 Q3249 Q686924 Q34762 Q517333 Q30669 Q30662 Q4628 Q455705 Q12761 Q12765 Q770 Q1856181 Q1077283 Q921 Q4712 Q924 Q928 Q929 Q858 Q423 Q424 Q851 Q29999 Q854 Q2226837 Q165763 Q1443 Q224 Q1447 Q2360428 Q30656 Q12717 Q1045 Q1044 Q1042 Q1041 Q691265 Q313175 Q31070 Q3336 Q3334 Q12572 Q12576 Q30797 Q1904 Q12578 Q347 Q3462133 Q12679 Q30815 Q17 Q153402 Q3207 Q894973 Q894972 Q894971 Q894970 Q1053888 Q3044677 Q212 Q213 Q211 Q217 Q214 Q215 Q218 Q160307 Q244 Q3514973 Q1090691 Q977 Q2218506 Q692290 Q974 Q971 Q970 Q3113 Q4464271 Q2502354 Q30630 Q1234961 Q1222 Q775 Q774 Q776 Q1019 Q773 Q772 Q1014 Q1016 Q1011 Q1013 Q678 Q8575586 Q672 Q12758 Q1579364 Q31079 Q12753 Q12751 Q2629692 Q549746 Q695660 Q12564
(c(Q486972)|c(Q20667921),P1376,c(Q15617994))
action atmost
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q486972
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q20667921
value 4
[ANSWERS] have atmost 4 human settlements or french administrative divisions as their capital
[[{'concept': 'Q486972'}, {'concept': 'Q20667921'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?j WHERE { FILTER ( ?u <= 4 ) . { SELECT DISTINCT ?j ( COUNT ( ?q ) AS ?u ) WHERE { { ?q property:P1376 ?j . ?j rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q20667921 } UNION { ?q property:P1376 ?j . ?j rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q486972 } } GROUP BY ?j } }
Yemen Panama Israel Costa Rica Gênes Meuse Peru Argentina Essonne Kispest District Netherlands Honduras Dominica Dominican Republic Meuse-Inférieure Ombrone Corse Guyane Indonesia Armenia Bahrain South Africa Frise Uthukela District Municipality Prince Edward Island Russia Brazil Alfred Nzo District Municipality Gironde Pas-de-Calais British Columbia Stura Wied Eure-et-Loir Eure Mopani District Municipality OR Tambo District Municipality Aisne Dr Ruth Segomotsi Mompati District Municipality Eden District Municipality Seine-et-Oise Cantal Sieg Mont-Blanc Marne Overberg District Municipality Minya Governorate Colombia Equatorial Guinea Suriname Paraguay Guyana Ecuador Loiret Vendée Umbria Lazio Vaucluse Abruzzo Sambre-et-Meuse John Taolo Gaetsewe District Municipality Lejweleputswa District Municipality Tuscany Marche Mauritania Sudan Mauritius Malawi Iceland Pakistan Northwest Territories Belarus Mozambique Morocco Ems-Oriental Ourthe Calabria Basilicata Hautes-Pyrénées Pyrénées-Atlantiques Principality of Bulgaria Al Sharqia Governorate Qalyubia Governorate Mexico Pyrénées-Orientales Swaziland Umgungundlovu District Municipality Chile Aswan Governorate Ethiopia Kenya Ghana Monufia Governorate Loire Rhine Trasimène Sekhukhune District Municipality Petén Department Gert Sibande District Municipality Morbihan Samoa Principality of Wales Province of Brescia Isère Ruhr Aveyron Aube Niue Ems-Supérieur Saint Lucia Vienne Haute-Vienne single-tier municipality Corrèze Saxe-Eisenach Cher Tibre Duchy of Luxembourg Tunisia Veneto Togo Charente Vosges Principality of Reuss-Gera Lippe New Caledonia Kouilou Department 6th of October Governorate Trentino-South Tyrol North Holland Federated States of Micronesia Taro Zeeland Flevoland Marshall Islands Talitsky District India Limburg Sarthe Savoie Montserrat Tarn-et-Garonne Frances Baard District Municipality Malaysia Sègre-Ter Myanmar Nepal Vhembe District Municipality Principality of Calenberg Sicily Archa Darugha Sardinia Serbia Corcyre Haute-Marne Sesia Portugal Turkey Greece El Salvador Haiti Iraq Iran Ithaque Afghanistan Var South Korea Montenotte Vietnam Zuyderzée Principality of Orange Cuba New Brunswick Marengo Belize Thabo Mofutsanyana District Municipality Ehlanzeni District Municipality Puy-de-Dôme Asyut Governorate Gard Gers Finland Luxembourg Belgium United States of America Lithuania Poland Sweden Doubs Switzerland Italy Drôme Ems-Occidental Rhin-et-Moselle Ardèche Pô Principality of Lüneburg Loire-Atlantique Finistère Damietta Governorate Montenegro Bouches-du-Weser Georgia Kazakhstan Malta Dzerzhinsky District, Kaluga Oblast San Marino Ille-et-Vilaine Oise French Southern and Antarctic Lands Manche Maine-et-Loire Lozère North Brabant Deux-Nèthes Alpes-de-Haute-Provence Val-de-Marne Val-d'Oise Alpes-Maritimes Territoire de Belfort Duchy of Amalfi Bangladesh Uganda Rwanda Niger Nigeria Namibia Cacadu District Municipality Sao Tomé and Príncipe Nauru South Holland Palau Trinidad and Tobago Groningen Bolivia Haute-Saône West Coast District Municipality Dakahlia Governorate Saône-et-Loire Ismailia Governorate Qena Governorate Ems ZF Mgcawu District Municipality Nièvre Gharbia Governorate Moselle Red Sea Governorate Indre-et-Loire East Timor Rome Bremen-Verden Estonia Turkmenistan Egypt Uruguay Almohad United Arab Emirates Rhône Louverture Ouest Ozama Quebec Yonne Matrouh Governorate Beni Suef Governorate Alberta Ugu District Municipality Xhariep District Municipality Nova Scotia Creuse Dordogne Quiché Department Briceni District Liguria Friuli–Venezia Giulia Amajuba District Municipality Wallachia Mella Bouches-de-l'Elbe Principality of Serbia Arno Charente-Maritime Cibao Ramensky District Kafr el-Sheikh Governorate Ariège Sud Kingdom of Galicia–Volhynia Fiji Mongolia Kiribati Venezuela Nord Bezirk Lothringen Somme Tarn Chad West Rand District Municipality Sègre Haute-Garonne Zimbabwe Jemmapes Zambia Company rule in India Pixley ka Seme District Municipality South Sudan Eritrea Bulgaria Yssel-Supérieur Maldives Lebanon Spanish Sahara Seine Habsburg Empire Principality of Vitebsk Upper Alsace Duchy of Lorraine Cape Winelands District Municipality Duchy of Prussia Anjou Izabal Department Méditerranée Manitoba Arvika Municipality Joe Gqabi District Municipality Sedibeng District Municipality iLembe District Municipality Nord Norway Ireland Hungary Escaut People's Republic of China Apennins Azerbaijan Bosnia and Herzegovina New Valley Governorate Greenland Albania Republic of Macedonia Duchy of Bavaria Meurthe UThungulu District Municipality Cyprus Andorra Fezile Dabi District Municipality Saskatchewan Kars Oblast Moldavia Burkina Faso Burundi Benin Botswana Bouches-de-l'Èbre-Montserrat Hautes-Alpes Jura Bouches-de-l'Èbre Liamone Sarre Lombardy Piedmont Mali Bhutan Angola Guinea-Bissau Guinea Gambia Kuban Oblast Cameroon Côte d'Ivoire Duchy of Zaslawye Campania Golo Vanuatu Giza Governorate Bojanala Platinum District Municipality Haut-Rhin Indre Kuwait Jordan Nicaragua Kyrgyzstan department Stad en Landen of Groningen Laos Mayenne Meurthe-et-Moselle Spain Hauts-de-Seine Namakwa District Municipality Batumi Oblast Hérault Landes Zululand District Municipality Tajikistan Nunavut Thailand Duchy of Savoy Mont-Tonnerre Duchy of Athens Jaén District Unterelsaß France Simplon Alexandria Governorate United Kingdom Abbasid caliphate Algeria Principality of Fürstenberg Yukon Yvelines Uzbekistan Côte-d'Or Oman Côtes-d'Armor Forêts Dr Kenneth Kaunda District Municipality Léman Emilia-Romagna Helwan Governorate Ain Newfoundland and Labrador Bouches-du-Rhône Principality of Minsk Calvados Mer-Égée Principality of Bayreuth Principality of Polotsk Sohag Governorate North Sinai Governorate Faroe Islands Amathole District Municipality Seine-Saint-Denis Deux-Sèvres Friesland Nkangala District Municipality Chris Hani District Municipality Brunei Duchy of Burgundy Tanzania Philippines Central African Republic Syria North Korea Cambodia Saudi Arabia Kingdom of the Netherlands Sri Lanka Umzinyathi District Municipality Waldeck Molise Croatia Apulia Tijuana Municipality Faiyum Governorate Bas-Rhin Somalia Sierra Leone Seychelles Senegal Mont-Terrible Saxe-Lauenburg Suez Governorate Corse-du-Sud Haute-Corse Haute-Loire Lot Luxor Governorate Ontario Lot-et-Garonne Liechtenstein Saxe-Coburg and Gotha Orne South Sinai Governorate Japan Roer Aude Bouches-du-Rhin Bouches-de-l'Yssel Bouches-de-l'Escaut Bouches-de-la-Meuse Central Karoo District Municipality Samaná Ukraine Czech Republic Latvia Republic of Moldova Slovakia Slovenia Romania Fatimid caliphate Barbados Tanaro Ter Djibouti Kineshemsky District Capricorn District Municipality Democratic Republic of the Congo Republic of the Congo Comoros Allier Principality of Trubetsk Principality of Goroden Beheira Governorate Doire Aosta Valley Gelderland Guatemala Utrecht Madagascar Overijssel Drenthe Liberia Libya Cape Verde Lesotho Tonga Umayyad Caliphate Tuvalu Seine-Maritime Lys Port Said Governorate Seine-et-Marne Haute-Savoie Simferopol municipality Sisonke District Municipality Guatemala Department Loir-et-Cher
Italy, Brazil and United States of America have atmost 4 human settlements or french administrative divisions as their capital
Italy Brazil United States of America
action atmost
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type human settlement
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type type of french administrative division
value 4
[[{'concept': 'human settlement'}, {'concept': 'type of french administrative division'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?j WHERE { FILTER ( ?u <= 4 ) . { SELECT DISTINCT ?j ( COUNT ( ?q ) AS ?u ) WHERE { { ?q property:capital_of ?j . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:type_of_french_administrative_division } UNION { ?q property:capital_of ?j . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:human_settlement } } GROUP BY ?j } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q1020842
P530
Q1048835
USER
Do Póvoa de Santa Iria have diplomatic relations with those administrative territories ?
(Q1020842,P530,Q38) (Q1020842,P530,Q155) (Q1020842,P530,Q30)
action is_in
entity prev_answer
action find
entity Q1020842
relation P530
['Q1020842', 'P530', 'Q38'] ['Q1020842', 'P530', 'Q155'] ['Q1020842', 'P530', 'Q30']
ASK WHERE { resource:Q1020842 property:P530 ?q . VALUES ( ?q ) { ( resource:Q805 ) ( resource:Q804 ) ( resource:Q801 ) } }
Póvoa de Santa Iria
action is_in
entity prev_answer
action find
entity Póvoa de Santa Iria
relation diplomatic relation
['Póvoa de Santa Iria', 'diplomatic relation', 'Italy'] ['Póvoa de Santa Iria', 'diplomatic relation', 'Brazil'] ['Póvoa de Santa Iria', 'diplomatic relation', 'United States of America']
ASK WHERE { resource:Póvoa_de_Santa_Iria property:diplomatic_relation ?q . VALUES ( ?q ) { ( resource:Yemen ) ( resource:Panama ) ( resource:Israel ) } }
[]
political territorial entity
SYSTEM
NO
(Q1020842,P530,Q38) (Q1020842,P530,Q155) (Q1020842,P530,Q30)
action is_in
entity prev_answer
action find
entity Q1020842
relation P530
[ANSWER]
['Q1020842', 'P530', 'Q38'] ['Q1020842', 'P530', 'Q155'] ['Q1020842', 'P530', 'Q30']
ASK WHERE { resource:Q1020842 property:P530 ?q . VALUES ( ?q ) { ( resource:Q805 ) ( resource:Q804 ) ( resource:Q801 ) } }
No
action is_in
entity prev_answer
action find
entity Póvoa de Santa Iria
relation diplomatic relation
['Póvoa de Santa Iria', 'diplomatic relation', 'Italy'] ['Póvoa de Santa Iria', 'diplomatic relation', 'Brazil'] ['Póvoa de Santa Iria', 'diplomatic relation', 'United States of America']
ASK WHERE { resource:Póvoa_de_Santa_Iria property:diplomatic_relation ?q . VALUES ( ?q ) { ( resource:Yemen ) ( resource:Panama ) ( resource:Israel ) } }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q30 Q38 Q53240
P530
Q15617994
USER
Does United States of America have diplomatic associations with Italy and Cercivento ?
(Q30,P530,Q38) (Q30,P530,Q53240)
action is_in
entity Q30
action intersection
action find_reverse
entity Q38
relation P530
action find_reverse
entity Q53240
relation P530
['Q30', 'P530', 'Q38'] ['Q30', 'P530', 'Q53240']
ASK WHERE { resource:Q30 property:P530 resource:Q38 . resource:Q30 property:P530 resource:Q53240 }
United States of America Italy Cercivento
action is_in
entity United States of America
action intersection
action find_reverse
entity Italy
relation diplomatic relation
action find_reverse
entity Cercivento
relation diplomatic relation
['United States of America', 'diplomatic relation', 'Italy'] ['United States of America', 'diplomatic relation', 'Cercivento']
ASK WHERE { resource:United_States_of_America property:diplomatic_relation resource:Italy . resource:United_States_of_America property:diplomatic_relation resource:Cercivento }
[]
designation for an administrative territorial entity
SYSTEM
YES and NO respectively
(Q30,P530,Q38) (Q30,P530,Q53240)
action is_in
entity Q30
action intersection
action find_reverse
entity Q38
relation P530
action find_reverse
entity Q53240
relation P530
[ANSWER]
['Q30', 'P530', 'Q38'] ['Q30', 'P530', 'Q53240']
ASK WHERE { resource:Q30 property:P530 resource:Q38 . resource:Q30 property:P530 resource:Q53240 }
YES and NO respectively
action is_in
entity United States of America
action intersection
action find_reverse
entity Italy
relation diplomatic relation
action find_reverse
entity Cercivento
relation diplomatic relation
['United States of America', 'diplomatic relation', 'Italy'] ['United States of America', 'diplomatic relation', 'Cercivento']
ASK WHERE { resource:United_States_of_America property:diplomatic_relation resource:Italy . resource:United_States_of_America property:diplomatic_relation resource:Cercivento }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q42935 Q558180 Q50062
P17
Q15617994
USER
Is Mandello del Lario located in Hasenkrug and Cansano ?
(Q42935,P17,Q558180) (Q42935,P17,Q50062)
action is_in
entity Q42935
action intersection
action find_reverse
entity Q558180
relation P17
action find_reverse
entity Q50062
relation P17
['Q42935', 'P17', 'Q558180'] ['Q42935', 'P17', 'Q50062']
ASK WHERE { resource:Q42935 property:P17 resource:Q50062 . resource:Q42935 property:P17 resource:Q558180 }
Mandello del Lario Hasenkrug Cansano
action is_in
entity Mandello del Lario
action intersection
action find_reverse
entity Hasenkrug
relation country
action find_reverse
entity Cansano
relation country
['Mandello del Lario', 'country', 'Hasenkrug'] ['Mandello del Lario', 'country', 'Cansano']
ASK WHERE { resource:Mandello_del_Lario property:country resource:Cansano . resource:Mandello_del_Lario property:country resource:Hasenkrug }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q42935,P17,Q558180) (Q42935,P17,Q50062)
action is_in
entity Q42935
action intersection
action find_reverse
entity Q558180
relation P17
action find_reverse
entity Q50062
relation P17
[ANSWER]
['Q42935', 'P17', 'Q558180'] ['Q42935', 'P17', 'Q50062']
ASK WHERE { resource:Q42935 property:P17 resource:Q50062 . resource:Q42935 property:P17 resource:Q558180 }
No
action is_in
entity Mandello del Lario
action intersection
action find_reverse
entity Hasenkrug
relation country
action find_reverse
entity Cansano
relation country
['Mandello del Lario', 'country', 'Hasenkrug'] ['Mandello del Lario', 'country', 'Cansano']
ASK WHERE { resource:Mandello_del_Lario property:country resource:Cansano . resource:Mandello_del_Lario property:country resource:Hasenkrug }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q42935
P159
Q43229
USER
Which organization has headquarters located at Mandello del Lario ?
(c(Q43229),P159,Q42935)
action filter_type
action find_reverse
entity Q42935
relation P159
type Q43229
[{'concept': 'Q43229'}, 'P159', 'Q42935']
SELECT DISTINCT ?z WHERE { ?z property:P159 resource:Q42935 . ?z rdf:type ontology:Q43229 }
Mandello del Lario
action filter_type
action find_reverse
entity Mandello del Lario
relation headquarters location
type organization
[{'concept': 'organization'}, 'headquarters location', 'Mandello del Lario']
SELECT DISTINCT ?z WHERE { ?z property:headquarters_location resource:Mandello_del_Lario . ?z rdf:type ontology:organization }
[]
organization
Q1149018
SYSTEM
Moto Guzzi
Q1149018
(c(Q43229),P159,Q42935)
action filter_type
action find_reverse
entity Q42935
relation P159
type Q43229
[ANSWER] has headquarters located at Mandello del Lario
[{'concept': 'Q43229'}, 'P159', 'Q42935']
SELECT DISTINCT ?z WHERE { ?z property:P159 resource:Q42935 . ?z rdf:type ontology:Q43229 }
Moto Guzzi
Moto Guzzi has headquarters located at Mandello del Lario
Moto Guzzi
action filter_type
action find_reverse
entity Mandello del Lario
relation headquarters location
type organization
[{'concept': 'organization'}, 'headquarters location', 'Mandello del Lario']
SELECT DISTINCT ?z WHERE { ?z property:headquarters_location resource:Mandello_del_Lario . ?z rdf:type ontology:organization }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1149018
P740
Q56061
USER
Which location did that organization orginate in ?
(Q1149018,P740,c(Q56061))
action filter_type
action find
entity Q1149018
relation P740
type Q56061
['Q1149018', 'P740', {'concept': 'Q56061'}]
SELECT DISTINCT ?v WHERE { resource:Q1149018 property:P740 ?v . ?v rdf:type ontology:Q56061 }
Moto Guzzi
action filter_type
action find
entity Moto Guzzi
relation location of formation
type administrative territorial entity
['Moto Guzzi', 'location of formation', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { resource:Moto_Guzzi property:location_of_formation ?v . ?v rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q1449
SYSTEM
Genoa
Q1449
(Q1149018,P740,c(Q56061))
action filter_type
action find
entity Q1149018
relation P740
type Q56061
That organization orginated in [ANSWER]
['Q1149018', 'P740', {'concept': 'Q56061'}]
SELECT DISTINCT ?v WHERE { resource:Q1149018 property:P740 ?v . ?v rdf:type ontology:Q56061 }
Genoa
That organization orginated in Genoa
Genoa
action filter_type
action find
entity Moto Guzzi
relation location of formation
type administrative territorial entity
['Moto Guzzi', 'location of formation', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { resource:Moto_Guzzi property:location_of_formation ?v . ?v rdf:type ontology:administrative_territorial_entity }
[]