Simple Question (Direct)
Simple Question
Q18736931
P19
Q56061
USER
Which administrative territory was Jamie Paterson born at ?
(Q18736931,P19,c(Q56061))
action filter_type
action find
entity Q18736931
relation P19
type Q56061
['Q18736931', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:Q56061 . resource:Q18736931 property:P19 ?x }
Jamie Paterson
action filter_type
action find
entity Jamie Paterson
relation place of birth
type administrative territorial entity
['Jamie Paterson', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:administrative_territorial_entity . resource:Jamie_Paterson property:place_of_birth ?x }
[]
administrative territorial entity
Q652035
SYSTEM
Dumfries
Q652035
(Q18736931,P19,c(Q56061))
action filter_type
action find
entity Q18736931
relation P19
type Q56061
Jamie Paterson was born in [ANSWER]
['Q18736931', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:Q56061 . resource:Q18736931 property:P19 ?x }
Dumfries
Jamie Paterson was born in Dumfries
Dumfries
action filter_type
action find
entity Jamie Paterson
relation place of birth
type administrative territorial entity
['Jamie Paterson', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:administrative_territorial_entity . resource:Jamie_Paterson property:place_of_birth ?x }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q652035
P159
Q43229
USER
Which organization has HQ at that administrative territory ?
(c(Q43229),P159,Q652035)
action filter_type
action find_reverse
entity Q652035
relation P159
type Q43229
[{'concept': 'Q43229'}, 'P159', 'Q652035']
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:Q43229 . ?t property:P159 resource:Q652035 }
Dumfries
action filter_type
action find_reverse
entity Dumfries
relation headquarters location
type organization
[{'concept': 'organization'}, 'headquarters location', 'Dumfries']
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:organization . ?t property:headquarters_location resource:Dumfries }
[]
organization
Q4796055
SYSTEM
Arrol-Aster
Q4796055
(c(Q43229),P159,Q652035)
action filter_type
action find_reverse
entity Q652035
relation P159
type Q43229
[ANSWER] has HQ at that administrative territory
[{'concept': 'Q43229'}, 'P159', 'Q652035']
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:Q43229 . ?t property:P159 resource:Q652035 }
Arrol-Aster
Arrol-Aster has HQ at that administrative territory
Arrol-Aster
action filter_type
action find_reverse
entity Dumfries
relation headquarters location
type organization
[{'concept': 'organization'}, 'headquarters location', 'Dumfries']
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:organization . ?t property:headquarters_location resource:Dumfries }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q40509 Q18736931
P47 P27
Q15617994
USER
Which administrative territories are Jamie Paterson an inhabitant of or have a shared border with Spessa ?
OR((Q18736931,P27,c(Q15617994)), (Q40509,P47,c(Q15617994)))
action filter_type
action union
action find
entity Q18736931
relation P27
action find
entity Q40509
relation P47
type Q15617994
{'OR': [['Q18736931', 'P27', {'concept': 'Q15617994'}], ['Q40509', 'P47', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?d WHERE { { { resource:Q40509 property:P47 ?d } UNION { resource:Q18736931 property:P27 ?d } } . ?d rdf:type ontology:Q15617994 }
Spessa Jamie Paterson
action filter_type
action union
action find
entity Jamie Paterson
relation country of citizenship
action find
entity Spessa
relation shares border with
type designation for an administrative territorial entity
{'OR': [['Jamie Paterson', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Spessa', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?d WHERE { { { resource:Spessa property:shares_border_with ?d } UNION { resource:Jamie_Paterson property:country_of_citizenship ?d } } . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q41036 Q39098 Q145 Q40494 Q40932 Q39729 Q40929 Q40957 Q40273
SYSTEM
Stradella, Arena Po, United Kingdom, Belgioioso, Torre de' Negri, San Zenone al Po, San Cipriano Po, Costa de' Nobili, Portalbera
Q41036 Q39098 Q145 Q40494 Q40932 Q39729 Q40929 Q40957 Q40273
OR((Q18736931,P27,c(Q15617994)), (Q40509,P47,c(Q15617994)))
action filter_type
action union
action find
entity Q18736931
relation P27
action find
entity Q40509
relation P47
type Q15617994
[ANSWERS] are Jamie Paterson an inhabitant of or have a shared border with Spessa
{'OR': [['Q18736931', 'P27', {'concept': 'Q15617994'}], ['Q40509', 'P47', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?d WHERE { { { resource:Q40509 property:P47 ?d } UNION { resource:Q18736931 property:P27 ?d } } . ?d rdf:type ontology:Q15617994 }
Stradella Arena Po United Kingdom Belgioioso Torre de' Negri San Zenone al Po San Cipriano Po Costa de' Nobili Portalbera
Stradella, Arena Po, United Kingdom, Belgioioso, Torre de' Negri, San Zenone al Po, San Cipriano Po, Costa de' Nobili and Portalbera are Jamie Paterson an inhabitant of or have a shared border with Spessa
Stradella Arena Po United Kingdom Belgioioso Torre de' Negri San Zenone al Po San Cipriano Po Costa de' Nobili Portalbera
action filter_type
action union
action find
entity Jamie Paterson
relation country of citizenship
action find
entity Spessa
relation shares border with
type designation for an administrative territorial entity
{'OR': [['Jamie Paterson', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Spessa', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?d WHERE { { { resource:Spessa property:shares_border_with ?d } UNION { resource:Jamie_Paterson property:country_of_citizenship ?d } } . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P530
Q15617994 Q1048835
USER
Which political territories have diplomatic associations with around 64 administrative territories ?
(c(Q1048835),P530,c(Q15617994))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 64
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ?t ( COUNT ( ?k ) AS ?i ) WHERE { ?t property:P530 ?k . ?t rdf:type ontology:Q1048835 . ?k rdf:type ontology:Q15617994 } GROUP BY ?t } . FILTER ( ?i = 64 ) }
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 64
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ?t ( COUNT ( ?k ) AS ?i ) WHERE { ?t property:diplomatic_relation ?k . ?t rdf:type ontology:political_territorial_entity . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?t } . FILTER ( ?i = 64 ) }
[]
designation for an administrative territorial entity political territorial entity
Q16
SYSTEM
Canada
Q16
(c(Q1048835),P530,c(Q15617994))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 64
[ANSWER] have diplomatic associations with around 64 administrative territories
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ?t ( COUNT ( ?k ) AS ?i ) WHERE { ?t property:P530 ?k . ?t rdf:type ontology:Q1048835 . ?k rdf:type ontology:Q15617994 } GROUP BY ?t } . FILTER ( ?i = 64 ) }
Canada
Canada have diplomatic associations with around 64 administrative territories
Canada
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 64
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ?t ( COUNT ( ?k ) AS ?i ) WHERE { ?t property:diplomatic_relation ?k . ?t rdf:type ontology:political_territorial_entity . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?t } . FILTER ( ?i = 64 ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q800
P17
Q15617994 Q7210356 Q18608583
USER
How many administrative territories are lesser number of political organizations and recurring sporting events present in than Costa Rica ?
(c(Q7210356)|c(Q18608583),P17,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q7210356
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q18608583
action count
action filter_multi_types
action find_reverse
entity Q800
relation P17
type Q7210356
type Q18608583
[[{'concept': 'Q7210356'}, {'concept': 'Q18608583'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?r ) WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?h ) ?z WHERE { { ?u property:P17 ?z . ?z rdf:type ontology:Q15617994 . ?u rdf:type ontology:Q18608583 } UNION { ?u property:P17 ?z . ?z rdf:type ontology:Q15617994 . ?u rdf:type ontology:Q7210356 } } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?l ) WHERE { ?x property:P17 resource:Q800 . { { ?x rdf:type ontology:Q18608583 } UNION { ?x rdf:type ontology:Q7210356 } } } } . FILTER ( ?h < ?l ) }
Costa Rica
action count
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type political organization
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type recurring sporting event
action count
action filter_multi_types
action find_reverse
entity Costa Rica
relation country
type political organization
type recurring sporting event
[[{'concept': 'political organization'}, {'concept': 'recurring sporting event'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?r ) WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?h ) ?z WHERE { { ?u property:country ?z . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?u rdf:type ontology:recurring_sporting_event } UNION { ?u property:country ?z . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?u rdf:type ontology:political_organization } } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?l ) WHERE { ?x property:country resource:Costa_Rica . { { ?x rdf:type ontology:recurring_sporting_event } UNION { ?x rdf:type ontology:political_organization } } } } . FILTER ( ?h < ?l ) }
[]
designation for an administrative territorial entity political organization recurring sporting event
SYSTEM
129
Q702 Q1256 Q709 Q805 Q339952 Q270508 Q684030 Q2172530 Q12536 Q783 Q784 Q265 Q640426 Q36678 Q736029 Q712 Q711 Q710 Q565812 Q187035 Q1462 Q657 Q792 Q517333 Q954 Q2001966 Q326029 Q958 Q881 Q986 Q153529 Q695316 Q826 Q165040 Q241 Q242 Q244 Q315667 Q811 Q153136 Q1210 Q921 Q924 Q155019 Q423 Q983 Q851 Q733 Q29999 Q734 Q819 Q107426 Q1282 Q159626 Q232 Q1045 Q1044 Q1042 Q1041 Q177323 Q313175 Q149621 Q1025 Q842 Q1029 Q836 Q34762 Q1458 Q3462133 Q223 Q815731 Q47261 Q347 Q1050 Q977 Q704288 Q10957559 Q1036 Q1037 Q974 Q1032 Q963 Q697 Q695 Q389004 Q754 Q1013 Q160307 Q164092 Q1483510 Q912 Q2662372 Q917 Q1005 Q829700 Q1008 Q239502 Q683 Q15581 Q34020 Q2380910 Q193152 Q760 Q655621 Q2502354 Q154849 Q159856 Q2621010 Q874 Q696651 Q878 Q817 Q810 Q1019 Q1016 Q148499 Q1011 Q945 Q678 Q8575586 Q529605 Q1039 Q672 Q33788 Q11024667 Q863 Q1049 Q426025 Q953
(c(Q7210356)|c(Q18608583),P17,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q7210356
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q18608583
action count
action filter_multi_types
action find_reverse
entity Q800
relation P17
type Q7210356
type Q18608583
[ANSWER]
[[{'concept': 'Q7210356'}, {'concept': 'Q18608583'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?r ) WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?h ) ?z WHERE { { ?u property:P17 ?z . ?z rdf:type ontology:Q15617994 . ?u rdf:type ontology:Q18608583 } UNION { ?u property:P17 ?z . ?z rdf:type ontology:Q15617994 . ?u rdf:type ontology:Q7210356 } } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?l ) WHERE { ?x property:P17 resource:Q800 . { { ?x rdf:type ontology:Q18608583 } UNION { ?x rdf:type ontology:Q7210356 } } } } . FILTER ( ?h < ?l ) }
Federated States of Micronesia Liguria Marshall Islands Yemen Principality of Orange-Nassau Andora Principality of Serbia Electorate of Württemberg Abbasid caliphate Honduras Dominica Uzbekistan Stahnsdorf West Bank Nassau-Siegen Fiji Mongolia Kiribati Principality of Calenberg Principality of Albania Sardinia Chad El Salvador Principality of Polotsk Zimbabwe Company rule in India Duchy of Brunswick South Sudan Vietnam Eritrea Duchy of Milan Schwarzburg-Rudolstadt Maldives Duchy of Parma Cuba Belize Barbados Saxe-Weimar Nicaragua Habsburg Empire Lombardy Brunei Tanzania Duchy of Lorraine North Korea Equatorial Guinea Saudi Arabia Paraguay Kingdom of the Netherlands Guyana Laos Anjou Lazio Württemberg Kazakhstan Somalia Sierra Leone Seychelles Senegal developing country Saxe-Lauenburg district Mauritania Oman Mozambique Myanmar Principality of Bayreuth Calabria Saxe-Coburg and Gotha Greenland Principality of Bulgaria Duchy of Bavaria Liechtenstein Swaziland Djibouti Duchy of Holstein Moldavia Uganda Rwanda Democratic Republic of the Congo Niger Botswana Nauru Palau Wallachia Trinidad and Tobago Lesotho Fatimid caliphate Duchy of Saxony Principality of Wales Mali Principality of Minsk Bhutan Gambia Saxe-Jena Côte d'Ivoire Kingdom of Galicia–Volhynia Samoa Principality of Catalonia Niue Duchy of Zaslawye Great Moravia Saint Lucia Principality of Transylvania Principality of Goroden Grand Duchy of Tuscany Duchy of Brabant Principality of Vitebsk Turkmenistan Saxe-Eisenach United Arab Emirates Kuwait Jordan Madagascar Libya Margraviate of Brandenburg Cape Verde Togo Tonga Umayyad Caliphate Electorate of Hesse Sao Tomé and Príncipe Tuvalu New Caledonia Duchy of Mecklenburg-Schwerin Tajikistan Sudan Duchy of Savoy Zambia
129
action count
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type political organization
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type recurring sporting event
action count
action filter_multi_types
action find_reverse
entity Costa Rica
relation country
type political organization
type recurring sporting event
[[{'concept': 'political organization'}, {'concept': 'recurring sporting event'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?r ) WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?h ) ?z WHERE { { ?u property:country ?z . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?u rdf:type ontology:recurring_sporting_event } UNION { ?u property:country ?z . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?u rdf:type ontology:political_organization } } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?l ) WHERE { ?x property:country resource:Costa_Rica . { { ?x rdf:type ontology:recurring_sporting_event } UNION { ?x rdf:type ontology:political_organization } } } } . FILTER ( ?h < ?l ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q805
P17
Q15617994 Q7210356 Q18608583
USER
And how about Yemen?
(c(Q7210356)|c(Q18608583),P17,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q7210356
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q18608583
action count
action filter_multi_types
action find_reverse
entity Q805
relation P17
type Q7210356
type Q18608583
[[{'concept': 'Q7210356'}, {'concept': 'Q18608583'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?n ) WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) ?x WHERE { ?k rdf:type ?f . VALUES ( ?f ) { ( ontology:Q7210356 ) ( ontology:Q18608583 ) } } GROUP BY ?x } . FILTER ( ?e < ?j ) . { SELECT DISTINCT ( COUNT ( ?r ) AS ?j ) WHERE { { { ?r rdf:type ontology:Q7210356 } UNION { ?r rdf:type ontology:Q18608583 } } . ?r property:P17 resource:Q805 } } }
Yemen
action count
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type political organization
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type recurring sporting event
action count
action filter_multi_types
action find_reverse
entity Yemen
relation country
type political organization
type recurring sporting event
[[{'concept': 'political organization'}, {'concept': 'recurring sporting event'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?n ) WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) ?x WHERE { ?k rdf:type ?f . VALUES ( ?f ) { ( ontology:political_organization ) ( ontology:recurring_sporting_event ) } } GROUP BY ?x } . FILTER ( ?e < ?j ) . { SELECT DISTINCT ( COUNT ( ?r ) AS ?j ) WHERE { { { ?r rdf:type ontology:political_organization } UNION { ?r rdf:type ontology:recurring_sporting_event } } . ?r property:country resource:Yemen } } }
[]
designation for an administrative territorial entity political organization recurring sporting event
SYSTEM
100
Q702 Q1256 Q339952 Q270508 Q684030 Q2172530 Q12536 Q783 Q265 Q640426 Q36678 Q736029 Q710 Q565812 Q187035 Q1462 Q657 Q517333 Q954 Q2001966 Q326029 Q958 Q986 Q153529 Q695316 Q165040 Q241 Q315667 Q153136 Q1210 Q921 Q155019 Q423 Q983 Q851 Q29999 Q734 Q819 Q107426 Q1282 Q159626 Q1045 Q177323 Q313175 Q149621 Q1025 Q1029 Q34762 Q1458 Q3462133 Q223 Q815731 Q47261 Q347 Q1050 Q977 Q704288 Q10957559 Q1037 Q697 Q695 Q389004 Q1013 Q160307 Q164092 Q1483510 Q2662372 Q917 Q1005 Q829700 Q239502 Q683 Q15581 Q34020 Q2380910 Q193152 Q760 Q655621 Q2502354 Q154849 Q159856 Q2621010 Q874 Q696651 Q878 Q817 Q810 Q1019 Q1016 Q148499 Q1011 Q945 Q678 Q8575586 Q529605 Q1039 Q672 Q33788 Q11024667 Q426025
(c(Q7210356)|c(Q18608583),P17,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q7210356
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q18608583
action count
action filter_multi_types
action find_reverse
entity Q805
relation P17
type Q7210356
type Q18608583
[ANSWER]
[[{'concept': 'Q7210356'}, {'concept': 'Q18608583'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?n ) WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) ?x WHERE { ?k rdf:type ?f . VALUES ( ?f ) { ( ontology:Q7210356 ) ( ontology:Q18608583 ) } } GROUP BY ?x } . FILTER ( ?e < ?j ) . { SELECT DISTINCT ( COUNT ( ?r ) AS ?j ) WHERE { { { ?r rdf:type ontology:Q7210356 } UNION { ?r rdf:type ontology:Q18608583 } } . ?r property:P17 resource:Q805 } } }
Federated States of Micronesia Liguria Principality of Orange-Nassau Andora Principality of Serbia Electorate of Württemberg Abbasid caliphate Honduras Uzbekistan Stahnsdorf West Bank Nassau-Siegen Kiribati Principality of Calenberg Principality of Albania Sardinia Chad Principality of Polotsk Zimbabwe Company rule in India Duchy of Brunswick South Sudan Eritrea Duchy of Milan Schwarzburg-Rudolstadt Duchy of Parma Cuba Saxe-Weimar Habsburg Empire Lombardy Brunei Duchy of Lorraine North Korea Equatorial Guinea Saudi Arabia Kingdom of the Netherlands Guyana Laos Anjou Lazio Württemberg Somalia developing country Saxe-Lauenburg district Mauritania Mozambique Principality of Bayreuth Calabria Saxe-Coburg and Gotha Greenland Principality of Bulgaria Duchy of Bavaria Liechtenstein Swaziland Djibouti Duchy of Holstein Moldavia Rwanda Nauru Palau Wallachia Lesotho Fatimid caliphate Duchy of Saxony Principality of Wales Principality of Minsk Bhutan Gambia Saxe-Jena Kingdom of Galicia–Volhynia Samoa Principality of Catalonia Niue Duchy of Zaslawye Great Moravia Saint Lucia Principality of Transylvania Principality of Goroden Grand Duchy of Tuscany Duchy of Brabant Principality of Vitebsk Turkmenistan Saxe-Eisenach United Arab Emirates Kuwait Jordan Madagascar Libya Margraviate of Brandenburg Cape Verde Togo Tonga Umayyad Caliphate Electorate of Hesse Sao Tomé and Príncipe Tuvalu New Caledonia Duchy of Mecklenburg-Schwerin Duchy of Savoy
100
action count
action less
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type political organization
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type recurring sporting event
action count
action filter_multi_types
action find_reverse
entity Yemen
relation country
type political organization
type recurring sporting event
[[{'concept': 'political organization'}, {'concept': 'recurring sporting event'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?n ) WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) ?x WHERE { ?k rdf:type ?f . VALUES ( ?f ) { ( ontology:political_organization ) ( ontology:recurring_sporting_event ) } } GROUP BY ?x } . FILTER ( ?e < ?j ) . { SELECT DISTINCT ( COUNT ( ?r ) AS ?j ) WHERE { { { ?r rdf:type ontology:political_organization } UNION { ?r rdf:type ontology:recurring_sporting_event } } . ?r property:country resource:Yemen } } }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q3103586 Q16
P530 P27
Q15617994
USER
Which administrative territories have a diplomatic relationship with Canada or do Georges Van Linthout belong to ?
OR((Q16,P530,c(Q15617994)), (Q3103586,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q16
relation P530
action find
entity Q3103586
relation P27
type Q15617994
{'OR': [['Q16', 'P530', {'concept': 'Q15617994'}], ['Q3103586', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?u WHERE { { { resource:Q16 property:P530 ?u } UNION { resource:Q3103586 property:P27 ?u } } . ?u rdf:type ontology:Q15617994 }
Georges Van Linthout Canada
action filter_type
action union
action find
entity Canada
relation diplomatic relation
action find
entity Georges Van Linthout
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Canada', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Georges Van Linthout', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?u WHERE { { { resource:Canada property:diplomatic_relation ?u } UNION { resource:Georges_Van_Linthout property:country_of_citizenship ?u } } . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q928 Q739 Q115 Q36 Q229 Q20 Q711 Q212 Q77 Q218
SYSTEM
Some of them are Philippines, Colombia, Ethiopia, Poland, Cyprus, Norway, Mongolia, Ukraine, Uruguay, Romania
Q804 Q801 Q843 Q1029 Q1028 Q145 Q229 Q33 Q31 Q30 Q36 Q79 Q34 Q928 Q39 Q38 Q878 Q739 Q833 Q711 Q1030 Q851 Q29999 Q77 Q115 Q258 Q212 Q159 Q43 Q155 Q218 Q20 Q423 Q252 Q884
OR((Q16,P530,c(Q15617994)), (Q3103586,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q16
relation P530
action find
entity Q3103586
relation P27
type Q15617994
[ANSWERS] have a diplomatic relationship with Canada or do Georges Van Linthout belong to
{'OR': [['Q16', 'P530', {'concept': 'Q15617994'}], ['Q3103586', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?u WHERE { { { resource:Q16 property:P530 ?u } UNION { resource:Q3103586 property:P27 ?u } } . ?u rdf:type ontology:Q15617994 }
Panama Israel Pakistan Mozambique Morocco United Kingdom Cyprus Finland Belgium United States of America Poland Egypt Sweden Philippines Switzerland Italy United Arab Emirates Colombia Malaysia Mongolia Namibia Saudi Arabia Kingdom of the Netherlands Uruguay Ethiopia South Africa Ukraine Russia Turkey Brazil Romania Norway North Korea Indonesia South Korea
Philippines, Colombia, Ethiopia, Poland, Cyprus, Norway, Mongolia, Ukraine, Uruguay and Romania have a diplomatic relationship with Canada or do Georges Van Linthout belong to
Philippines Colombia Ethiopia Poland Cyprus Norway Mongolia Ukraine Uruguay Romania
action filter_type
action union
action find
entity Canada
relation diplomatic relation
action find
entity Georges Van Linthout
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Canada', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Georges Van Linthout', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?u WHERE { { { resource:Canada property:diplomatic_relation ?u } UNION { resource:Georges_Van_Linthout property:country_of_citizenship ?u } } . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P1376
Q15617994 Q20667921 Q486972
USER
Which administrative territories have min number of french administrative divisions or human settlements as their capital ?
(c(Q20667921)|c(Q486972),P1376,c(Q15617994))
action argmin
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q486972
[[{'concept': 'Q20667921'}, {'concept': 'Q486972'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ( MIN ( ?a ) AS ?j ) { SELECT DISTINCT ( COUNT ( ?d ) AS ?a ) ?t WHERE { { ?d property:P1376 ?t . ?t rdf:type ontology:Q15617994 . ?d rdf:type ontology:Q20667921 } UNION { ?d rdf:type ontology:Q486972 . ?t rdf:type ontology:Q15617994 . ?d property:P1376 ?t } } GROUP BY ?t } } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?b ) ?n WHERE { ?p rdf:type ?q . VALUES ( ?q ) { ( ontology:Q20667921 ) ( ontology:Q486972 ) } } GROUP BY ?n } . FILTER ( ?b = ?j ) }
action argmin
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type human settlement
[[{'concept': 'type of french administrative division'}, {'concept': 'human settlement'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ( MIN ( ?a ) AS ?j ) { SELECT DISTINCT ( COUNT ( ?d ) AS ?a ) ?t WHERE { { ?d property:capital_of ?t . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . ?d rdf:type ontology:type_of_french_administrative_division } UNION { ?d rdf:type ontology:human_settlement . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . ?d property:capital_of ?t } } GROUP BY ?t } } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?b ) ?n WHERE { ?p rdf:type ?q . VALUES ( ?q ) { ( ontology:type_of_french_administrative_division ) ( ontology:human_settlement ) } } GROUP BY ?n } . FILTER ( ?b = ?j ) }
[]
designation for an administrative territorial entity type of french administrative division human settlement
Q38 Q155 Q30
SYSTEM
Italy, Brazil, United States of America
Q805 Q804 Q801 Q800 Q1098820 Q419 Q414 Q55 Q783 Q784 Q786 Q568833 Q1452650 Q252 Q399 Q398 Q258 Q1465069 Q1324549 Q1979 Q159 Q155 Q1664120 Q12526 Q1974 Q2527360 Q699731 Q611074 Q2007299 Q1254171 Q220249 Q979470 Q1270648 Q1899307 Q30675 Q739 Q983 Q730 Q733 Q734 Q736 Q1280 Q1282 Q1284 Q1338277 Q384731 Q1816477 Q1273 Q1279 Q1025 Q1049 Q1027 Q1020 Q189 Q843 Q2007 Q184 Q1029 Q1028 Q541811 Q1390630 Q1458 Q1452 Q815731 Q31074 Q31075 Q96 Q1050 Q311803 Q298 Q29937 Q115 Q114 Q117 Q30786 Q1270638 Q1788988 Q1544445 Q466061 Q1515346 Q683 Q1483510 Q3924533 Q12559 Q1270636 Q34020 Q760 Q14762300 Q696651 Q3528124 Q2719360 Q948 Q1243 Q945 Q639100 Q731547 Q855327 Q328134 Q1237 Q701 Q702 Q968630 Q705 Q707 Q709 Q4450475 Q668 Q1093 Q1090684 Q1263830 Q833 Q3509886 Q836 Q837 Q2305610 Q565812 Q1460 Q2068764 Q1462 Q403 Q691890 Q290739 Q45 Q43 Q41 Q792 Q790 Q796 Q794 Q1232680 Q889 Q884 Q1452646 Q881 Q231168 Q241 Q1965 Q1508919 Q242 Q1437719 Q1244497 Q29965 Q33 Q32 Q31 Q30 Q37 Q36 Q34 Q3361 Q39 Q38 Q302479 Q541095 Q2567535 Q280312 Q3068 Q3389 Q30644 Q236 Q230 Q232 Q233 Q1777256 Q238 Q12549 Q129003 Q1101 Q1206596 Q3139 Q686312 Q902 Q1036 Q1037 Q1032 Q1033 Q1030 Q1024985 Q1039 Q697 Q694 Q695 Q754 Q752 Q750 Q2562901 Q31068 Q31067 Q31065 Q1270568 Q1773268 Q30835 Q30831 Q574 Q1558632 Q694594 Q191 Q874 Q79 Q77 Q199688 Q878 Q46130 Q3044651 Q3044714 Q3044715 Q176 Q30682 Q30683 Q1951 Q2091235 Q2006764 Q1952 Q669802 Q753795 Q1256 Q1250 Q452565 Q389004 Q3305157 Q684030 Q2567507 Q3044623 Q651394 Q30946 Q3044781 Q239502 Q712 Q711 Q710 Q717 Q3044777 Q12770 Q657 Q1789890 Q1090678 Q12538 Q954 Q1393469 Q953 Q2001966 Q1886098 Q958 Q986 Q219 Q957825 Q826 Q822 Q689837 Q1142326 Q153136 Q2621010 Q1974486 Q153091 Q693658 Q1508927 Q1948 Q511365 Q654849 Q2038939 Q311794 Q20 Q27 Q28 Q1366860 Q148 Q598193 Q227 Q225 Q30650 Q223 Q222 Q221 Q47261 Q311668 Q229 Q228 Q1410315 Q1989 Q60011 Q10957559 Q967 Q962 Q963 Q2921370 Q2921378 Q2310748 Q252157 Q1210 Q1216 Q912 Q917 Q916 Q1007 Q1006 Q1005 Q1786286 Q1009 Q1008 Q2380910 Q1438 Q686 Q30832 Q891165 Q817 Q810 Q811 Q813 Q18046648 Q819 Q29 Q617646 Q72670 Q12545 Q2309262 Q863 Q2023 Q869 Q568751 Q334714 Q15116736 Q2150573 Q142 Q685048 Q29943 Q145 Q12536 Q262 Q474421 Q2009 Q12820 Q265 Q3342 Q842 Q378004 Q1150452 Q691368 Q1263 Q475035 Q2003 Q2662372 Q686924 Q34762 Q517333 Q30669 Q30662 Q4628 Q455705 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 Q30797 Q1904 Q347 Q3462133 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 Q4464271 Q2502354 Q30630 Q1234961 Q1222 Q775 Q774 Q776 Q1019 Q773 Q772 Q1014 Q1016 Q1011 Q1013 Q678 Q8575586 Q672 Q1579364 Q31079 Q2629692 Q549746 Q695660
(c(Q20667921)|c(Q486972),P1376,c(Q15617994))
action argmin
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q486972
[ANSWERS] have min number of french administrative divisions or human settlements as their capital
[[{'concept': 'Q20667921'}, {'concept': 'Q486972'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ( MIN ( ?a ) AS ?j ) { SELECT DISTINCT ( COUNT ( ?d ) AS ?a ) ?t WHERE { { ?d property:P1376 ?t . ?t rdf:type ontology:Q15617994 . ?d rdf:type ontology:Q20667921 } UNION { ?d rdf:type ontology:Q486972 . ?t rdf:type ontology:Q15617994 . ?d property:P1376 ?t } } GROUP BY ?t } } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?b ) ?n WHERE { ?p rdf:type ?q . VALUES ( ?q ) { ( ontology:Q20667921 ) ( ontology:Q486972 ) } } GROUP BY ?n } . FILTER ( ?b = ?j ) }
Yemen Panama Israel Costa Rica Gênes Peru Argentina Netherlands Honduras Dominica Dominican Republic Meuse-Inférieure Ombrone Indonesia Armenia Bahrain South Africa Frise Uthukela District Municipality Prince Edward Island Russia Brazil Alfred Nzo District Municipality Gironde British Columbia Stura Wied Mopani District Municipality OR Tambo District Municipality Dr Ruth Segomotsi Mompati District Municipality Eden District Municipality Seine-et-Oise Sieg Overberg District Municipality Minya Governorate Colombia Equatorial Guinea Suriname Paraguay Guyana Ecuador Umbria Lazio 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 Principality of Bulgaria Al Sharqia Governorate Qalyubia Governorate Mexico Swaziland Umgungundlovu District Municipality Chile Aswan Governorate Ethiopia Kenya Ghana Monufia Governorate Rhine Trasimène Sekhukhune District Municipality Petén Department Gert Sibande District Municipality Samoa Principality of Wales Province of Brescia Isère Ruhr Niue Saint Lucia single-tier municipality Saxe-Eisenach Tibre Duchy of Luxembourg Tunisia Veneto Togo Principality of Reuss-Gera Lippe Kouilou Department 6th of October Governorate Trentino-South Tyrol North Holland Federated States of Micronesia Taro Zeeland Flevoland Marshall Islands Talitsky District India Limburg Montserrat Frances Baard District Municipality Malaysia Sègre-Ter Myanmar Nepal Vhembe District Municipality Principality of Calenberg Sicily Archa Darugha Sardinia Serbia Corcyre Sesia Portugal Turkey Greece El Salvador Haiti Iraq Iran Ithaque Afghanistan South Korea Montenotte Vietnam Zuyderzée Cuba New Brunswick Marengo Belize Thabo Mofutsanyana District Municipality Ehlanzeni District Municipality Asyut Governorate Finland Luxembourg Belgium United States of America Lithuania Poland Sweden Doubs Switzerland Italy Ems-Occidental Rhin-et-Moselle Pô Principality of Lüneburg Loire-Atlantique Finistère Damietta Governorate Montenegro Georgia Kazakhstan Malta Dzerzhinsky District, Kaluga Oblast San Marino Ille-et-Vilaine French Southern and Antarctic Lands North Brabant Deux-Nèthes Alpes-Maritimes 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 West Coast District Municipality Dakahlia Governorate Ismailia Governorate Qena Governorate Ems ZF Mgcawu District Municipality Gharbia Governorate Red Sea Governorate East Timor Rome Bremen-Verden Estonia Turkmenistan Egypt Uruguay Almohad United Arab Emirates Rhône Louverture Ouest Ozama Quebec Matrouh Governorate Beni Suef Governorate Alberta Ugu District Municipality Xhariep District Municipality Nova Scotia Quiché Department Briceni District Liguria Friuli–Venezia Giulia Amajuba District Municipality Wallachia Mella Principality of Serbia Arno Cibao Ramensky District Kafr el-Sheikh Governorate Sud Kingdom of Galicia–Volhynia Fiji Mongolia Kiribati Venezuela Nord Somme 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 Cape Winelands District Municipality Duchy of Prussia Izabal Department Méditerranée Manitoba Arvika Municipality Joe Gqabi District Municipality Sedibeng District Municipality iLembe District Municipality 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 UThungulu District Municipality Cyprus Andorra Fezile Dabi District Municipality Saskatchewan Kars Oblast Moldavia Burundi Benin Botswana Bouches-de-l'Èbre-Montserrat 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 Vanuatu Giza Governorate Bojanala Platinum District Municipality Kuwait Jordan Nicaragua Kyrgyzstan department Stad en Landen of Groningen Laos Spain Namakwa District Municipality Batumi Oblast Hérault Zululand District Municipality Tajikistan Nunavut Thailand 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 Forêts Dr Kenneth Kaunda District Municipality Léman Emilia-Romagna Helwan Governorate Newfoundland and Labrador Principality of Minsk Mer-Égée Principality of Bayreuth Principality of Polotsk Sohag Governorate North Sinai Governorate Faroe Islands Amathole District Municipality 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 Luxor Governorate Ontario Liechtenstein Saxe-Coburg and Gotha 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 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 Lys Port Said Governorate Simferopol municipality Sisonke District Municipality Guatemala Department
Italy, Brazil and United States of America have min number of french administrative divisions or human settlements as their capital
Italy Brazil United States of America
action argmin
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type human settlement
[[{'concept': 'type of french administrative division'}, {'concept': 'human settlement'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ( MIN ( ?a ) AS ?j ) { SELECT DISTINCT ( COUNT ( ?d ) AS ?a ) ?t WHERE { { ?d property:capital_of ?t . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . ?d rdf:type ontology:type_of_french_administrative_division } UNION { ?d rdf:type ontology:human_settlement . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . ?d property:capital_of ?t } } GROUP BY ?t } } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?b ) ?n WHERE { ?p rdf:type ?q . VALUES ( ?q ) { ( ontology:type_of_french_administrative_division ) ( ontology:human_settlement ) } } GROUP BY ?n } . FILTER ( ?b = ?j ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q529488
P47
Q15617994
USER
How many administrative territories do Reisbach share a border with ?
(c(Q15617994),P47,Q529488)
action count
action filter_type
action find_reverse
entity Q529488
relation P47
type Q15617994
[{'concept': 'Q15617994'}, 'P47', 'Q529488']
SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) WHERE { ?a property:P47 resource:Q529488 . ?a rdf:type ontology:Q15617994 }
Reisbach
action count
action filter_type
action find_reverse
entity Reisbach
relation shares border with
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Reisbach']
SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) WHERE { ?a property:shares_border_with resource:Reisbach . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
SYSTEM
3
Q581806 Q574672 Q581591
(c(Q15617994),P47,Q529488)
action count
action filter_type
action find_reverse
entity Q529488
relation P47
type Q15617994
[ANSWER]
[{'concept': 'Q15617994'}, 'P47', 'Q529488']
SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) WHERE { ?a property:P47 resource:Q529488 . ?a rdf:type ontology:Q15617994 }
Rimbach Falkenberg Gangkofen
3
action count
action filter_type
action find_reverse
entity Reisbach
relation shares border with
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Reisbach']
SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) WHERE { ?a property:shares_border_with resource:Reisbach . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q529488
P190
Q56061
USER
Which administrative territory is twin city of that administrative territory ?
action filter_type
action find
entity Q529488
relation P190
type Q56061
SELECT DISTINCT ?h WHERE { resource:Q529488 property:P190 ?h . ?h rdf:type ontology:Q56061 }
Reisbach
action filter_type
action find
entity Reisbach
relation sister city
type administrative territorial entity
SELECT DISTINCT ?h WHERE { resource:Reisbach property:sister_city ?h . ?h rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q896242
SYSTEM
Reisbach
Q896242
action filter_type
action find
entity Q529488
relation P190
type Q56061
[ANSWER] is twin city of that administrative territory
SELECT DISTINCT ?h WHERE { resource:Q529488 property:P190 ?h . ?h rdf:type ontology:Q56061 }
Reisbach
Reisbach is twin city of that administrative territory
Reisbach
action filter_type
action find
entity Reisbach
relation sister city
type administrative territorial entity
SELECT DISTINCT ?h WHERE { resource:Reisbach property:sister_city ?h . ?h rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q896242 Q183
P17
Q1048835
USER
Is that administrative territory situated in Germany ?
(Q896242,P17,Q183)
action is_in
entity Q183
action find
entity Q896242
relation P17
['Q896242', 'P17', 'Q183']
ASK WHERE { resource:Q896242 property:P17 resource:Q183 }
Reisbach Germany
action is_in
entity Germany
action find
entity Reisbach
relation country
['Reisbach', 'country', 'Germany']
ASK WHERE { resource:Reisbach property:country resource:Germany }
[]
political territorial entity
SYSTEM
YES
(Q896242,P17,Q183)
action is_in
entity Q183
action find
entity Q896242
relation P17
[ANSWER]
['Q896242', 'P17', 'Q183']
ASK WHERE { resource:Q896242 property:P17 resource:Q183 }
Yes
action is_in
entity Germany
action find
entity Reisbach
relation country
['Reisbach', 'country', 'Germany']
ASK WHERE { resource:Reisbach property:country resource:Germany }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q9460 Q40957
P47
Q15617994
USER
Which administrative territories are bordered by Costa de' Nobili or Mazzè ?
OR((c(Q15617994),P47,Q40957), (c(Q15617994),P47,Q9460))
action filter_type
action union
action find_reverse
entity Q40957
relation P47
action find_reverse
entity Q9460
relation P47
type Q15617994
{'OR': [[{'concept': 'Q15617994'}, 'P47', 'Q40957'], [{'concept': 'Q15617994'}, 'P47', 'Q9460']]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:Q15617994 . { { ?t property:P47 resource:Q40957 } UNION { ?t property:P47 resource:Q9460 } } }
Mazzè Costa de' Nobili
action filter_type
action union
action find_reverse
entity Costa de' Nobili
relation shares border with
action find_reverse
entity Mazzè
relation shares border with
type designation for an administrative territorial entity
{'OR': [[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', "Costa de' Nobili"], [{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Mazzè']]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . { { ?t property:shares_border_with resource:Costa_de'_Nobili } UNION { ?t property:shares_border_with resource:Mazzè } } }
[]
designation for an administrative territorial entity
Q39729 Q40935 Q40346 Q39756 Q10241 Q40530 Q9144 Q10364 Q9131 Q40509
SYSTEM
Some of them are San Zenone al Po, Zerbo, Corteolona, Santa Cristina e Bissone, Rondissone, Pieve Porto Morone, Candia Canavese, Vische, Caluso, Spessa
Q40935 Q40530 Q40509 Q40932 Q9275 Q39729 Q9131 Q10359 Q40346 Q39756 Q25145 Q24991 Q9144 Q10241 Q10364
OR((c(Q15617994),P47,Q40957), (c(Q15617994),P47,Q9460))
action filter_type
action union
action find_reverse
entity Q40957
relation P47
action find_reverse
entity Q9460
relation P47
type Q15617994
[ANSWERS] are bordered by Costa de' Nobili or Mazzè
{'OR': [[{'concept': 'Q15617994'}, 'P47', 'Q40957'], [{'concept': 'Q15617994'}, 'P47', 'Q9460']]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:Q15617994 . { { ?t property:P47 resource:Q40957 } UNION { ?t property:P47 resource:Q9460 } } }
Zerbo Pieve Porto Morone Spessa Torre de' Negri Chivasso San Zenone al Po Caluso Villareggia Corteolona Santa Cristina e Bissone Moncrivello Cigliano Candia Canavese Rondissone Vische
San Zenone al Po, Zerbo, Corteolona, Santa Cristina e Bissone, Rondissone, Pieve Porto Morone, Candia Canavese, Vische, Caluso and Spessa are bordered by Costa de' Nobili or Mazzè
San Zenone al Po Zerbo Corteolona Santa Cristina e Bissone Rondissone Pieve Porto Morone Candia Canavese Vische Caluso Spessa
action filter_type
action union
action find_reverse
entity Costa de' Nobili
relation shares border with
action find_reverse
entity Mazzè
relation shares border with
type designation for an administrative territorial entity
{'OR': [[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', "Costa de' Nobili"], [{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Mazzè']]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . { { ?t property:shares_border_with resource:Costa_de'_Nobili } UNION { ?t property:shares_border_with resource:Mazzè } } }
[]