Simple Question (Direct)
Simple Question
Q1590000
P102
Q7210356
USER
Which party does Martin Gamma belong to ?
(Q1590000,P102,c(Q7210356))
action filter_type
action find
entity Q1590000
relation P102
type Q7210356
['Q1590000', 'P102', {'concept': 'Q7210356'}]
SELECT DISTINCT ?s WHERE { resource:Q1590000 property:P102 ?s . ?s rdf:type ontology:Q7210356 }
Martin Gamma
action filter_type
action find
entity Martin Gamma
relation member of political party
type political organization
['Martin Gamma', 'member of political party', {'concept': 'political organization'}]
SELECT DISTINCT ?s WHERE { resource:Martin_Gamma property:member_of_political_party ?s . ?s rdf:type ontology:political_organization }
[]
political organization
Q13850128
SYSTEM
Free Democratic Party of Switzerland
Q13850128
(Q1590000,P102,c(Q7210356))
action filter_type
action find
entity Q1590000
relation P102
type Q7210356
Martin Gamma belongs to [ANSWER]
['Q1590000', 'P102', {'concept': 'Q7210356'}]
SELECT DISTINCT ?s WHERE { resource:Q1590000 property:P102 ?s . ?s rdf:type ontology:Q7210356 }
Free Democratic Party of Switzerland
Martin Gamma belongs to Free Democratic Party of Switzerland
Free Democratic Party of Switzerland
action filter_type
action find
entity Martin Gamma
relation member of political party
type political organization
['Martin Gamma', 'member of political party', {'concept': 'political organization'}]
SELECT DISTINCT ?s WHERE { resource:Martin_Gamma property:member_of_political_party ?s . ?s rdf:type ontology:political_organization }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1590000
P106
Q12737077
USER
Which occupation has Martin Gamma as his/her 's career ?
(Q1590000,P106,c(Q12737077))
action filter_type
action find
entity Q1590000
relation P106
type Q12737077
['Q1590000', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?v WHERE { resource:Q1590000 property:P106 ?v . ?v rdf:type ontology:Q12737077 }
Martin Gamma
action filter_type
action find
entity Martin Gamma
relation occupation
type occupation
['Martin Gamma', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?v WHERE { resource:Martin_Gamma property:occupation ?v . ?v rdf:type ontology:occupation }
[]
occupation
Q82955
SYSTEM
politician
Q82955
(Q1590000,P106,c(Q12737077))
action filter_type
action find
entity Q1590000
relation P106
type Q12737077
The [ANSWER] has Martin Gamma as his/her 's career
['Q1590000', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?v WHERE { resource:Q1590000 property:P106 ?v . ?v rdf:type ontology:Q12737077 }
politician
The politician has Martin Gamma as his/her 's career
politician
action filter_type
action find
entity Martin Gamma
relation occupation
type occupation
['Martin Gamma', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?v WHERE { resource:Martin_Gamma property:occupation ?v . ?v rdf:type ontology:occupation }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1590000
P937
Q56061
USER
Where did that person work ?
(Q82955,P937,c(Q56061))
action filter_type
action find
entity Q1590000
relation P937
type Q56061
['Q82955', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q56061 . resource:Q1590000 property:P937 ?c }
Martin Gamma
action filter_type
action find
entity Martin Gamma
relation work location
type administrative territorial entity
['politician', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:administrative_territorial_entity . resource:Martin_Gamma property:work_location ?c }
[]
administrative territorial entity
Q70
SYSTEM
Bern
Q70
(Q82955,P937,c(Q56061))
action filter_type
action find
entity Q1590000
relation P937
type Q56061
That person worked in [ANSWER]
['Q82955', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q56061 . resource:Q1590000 property:P937 ?c }
Bern
That person worked in Bern
Bern
action filter_type
action find
entity Martin Gamma
relation work location
type administrative territorial entity
['politician', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:administrative_territorial_entity . resource:Martin_Gamma property:work_location ?c }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1590000
P27
Q15617994
USER
Which administrative territory does that person belong to ?
(Q70,P27,c(Q15617994))
action filter_type
action find
entity Q1590000
relation P27
type Q15617994
['Q70', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?b WHERE { resource:Q1590000 property:P27 ?b . ?b rdf:type ontology:Q15617994 }
Martin Gamma
action filter_type
action find
entity Martin Gamma
relation country of citizenship
type designation for an administrative territorial entity
['Bern', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { resource:Martin_Gamma property:country_of_citizenship ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q39
SYSTEM
Switzerland
Q39
(Q70,P27,c(Q15617994))
action filter_type
action find
entity Q1590000
relation P27
type Q15617994
That person belongs to the [ANSWER]
['Q70', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?b WHERE { resource:Q1590000 property:P27 ?b . ?b rdf:type ontology:Q15617994 }
Switzerland
That person belongs to the Switzerland
Switzerland
action filter_type
action find
entity Martin Gamma
relation country of citizenship
type designation for an administrative territorial entity
['Bern', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { resource:Martin_Gamma property:country_of_citizenship ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q39
P47
Q7275
USER
Which states are next to the border of that administrative territory ?
(c(Q7275),P47,Q39)
action filter_type
action find_reverse
entity Q39
relation P47
type Q7275
[{'concept': 'Q7275'}, 'P47', 'Q39']
SELECT DISTINCT ?v WHERE { ?v property:P47 resource:Q39 . ?v rdf:type ontology:Q7275 }
Switzerland
action filter_type
action find_reverse
entity Switzerland
relation shares border with
type state
[{'concept': 'state'}, 'shares border with', 'Switzerland']
SELECT DISTINCT ?v WHERE { ?v property:shares_border_with resource:Switzerland . ?v rdf:type ontology:state }
[]
state
Q176495 Q518101 Q131964
SYSTEM
Federal State of Austria, First Republic of Austria, Austrian Empire
Q176495 Q518101 Q131964
(c(Q7275),P47,Q39)
action filter_type
action find_reverse
entity Q39
relation P47
type Q7275
[ANSWERS] are next to the border of that administrative territory
[{'concept': 'Q7275'}, 'P47', 'Q39']
SELECT DISTINCT ?v WHERE { ?v property:P47 resource:Q39 . ?v rdf:type ontology:Q7275 }
Federal State of Austria First Republic of Austria Austrian Empire
Federal State of Austria, First Republic of Austria and Austrian Empire are next to the border of that administrative territory
Federal State of Austria First Republic of Austria Austrian Empire
action filter_type
action find_reverse
entity Switzerland
relation shares border with
type state
[{'concept': 'state'}, 'shares border with', 'Switzerland']
SELECT DISTINCT ?v WHERE { ?v property:shares_border_with resource:Switzerland . ?v rdf:type ontology:state }
[]
Simple Question (Coreferenced)
Simple Question|Mult. Entity
Q176495 Q518101 Q131964
P47
Q15617994
USER
Which administrative territories are adjacent to those states ?
(Q176495,P47,c(Q15617994)) (Q518101,P47,c(Q15617994)) (Q131964,P47,c(Q15617994))
action filter_type
action find
entity prev_answer
relation P47
type Q15617994
['Q176495', 'P47', {'concept': 'Q15617994'}] ['Q518101', 'P47', {'concept': 'Q15617994'}] ['Q131964', 'P47', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { VALUES ( ?o ) { ( resource:Q176495 ) ( resource:Q518101 ) ( resource:Q131964 ) } . ?k rdf:type ontology:Q15617994 . ?o property:P47 ?k }
Federal State of Austria First Republic of Austria Austrian Empire
action filter_type
action find
entity prev_answer
relation shares border with
type designation for an administrative territorial entity
['Federal State of Austria', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['First Republic of Austria', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Austrian Empire', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { VALUES ( ?o ) { ( resource:Federal_State_of_Austria ) ( resource:First_Republic_of_Austria ) ( resource:Austrian_Empire ) } . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity . ?o property:shares_border_with ?k }
[]
designation for an administrative territorial entity
Q347 Q347 Q347
SYSTEM
Liechtenstein
Q347 Q39 Q347 Q39 Q165040 Q779011 Q347 Q39
(Q176495,P47,c(Q15617994)) (Q518101,P47,c(Q15617994)) (Q131964,P47,c(Q15617994))
action filter_type
action find
entity prev_answer
relation P47
type Q15617994
And [ANSWER], [ANSWER] and [ANSWER] are adjacent to those states
['Q176495', 'P47', {'concept': 'Q15617994'}] ['Q518101', 'P47', {'concept': 'Q15617994'}] ['Q131964', 'P47', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { VALUES ( ?o ) { ( resource:Q176495 ) ( resource:Q518101 ) ( resource:Q131964 ) } . ?k rdf:type ontology:Q15617994 . ?o property:P47 ?k }
Liechtenstein Switzerland Liechtenstein Switzerland Duchy of Parma Principality of Montenegro Liechtenstein Switzerland
And Liechtenstein, Liechtenstein and Liechtenstein are adjacent to those states
Liechtenstein Liechtenstein Liechtenstein
action filter_type
action find
entity prev_answer
relation shares border with
type designation for an administrative territorial entity
['Federal State of Austria', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['First Republic of Austria', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Austrian Empire', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { VALUES ( ?o ) { ( resource:Federal_State_of_Austria ) ( resource:First_Republic_of_Austria ) ( resource:Austrian_Empire ) } . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity . ?o property:shares_border_with ?k }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q176495
P30
Q2221906
USER
Which geographic location is Federal State of Austria a part of ?
(Q176495,P30,c(Q2221906))
action filter_type
action find
entity Q176495
relation P30
type Q2221906
['Q176495', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?j WHERE { resource:Q176495 property:P30 ?j . ?j rdf:type ontology:Q2221906 }
Federal State of Austria
action filter_type
action find
entity Federal State of Austria
relation continent
type geographic location
['Federal State of Austria', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?j WHERE { resource:Federal_State_of_Austria property:continent ?j . ?j rdf:type ontology:geographic_location }
[]
geographic location
Q46
SYSTEM
Europe
Q46
(Q176495,P30,c(Q2221906))
action filter_type
action find
entity Q176495
relation P30
type Q2221906
The [ANSWER] is Federal State of Austria a part of
['Q176495', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?j WHERE { resource:Q176495 property:P30 ?j . ?j rdf:type ontology:Q2221906 }
Europe
The Europe is Federal State of Austria a part of
Europe
action filter_type
action find
entity Federal State of Austria
relation continent
type geographic location
['Federal State of Austria', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?j WHERE { resource:Federal_State_of_Austria property:continent ?j . ?j rdf:type ontology:geographic_location }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q46 Q21941817 Q21488734
P610
Q14524493
USER
Does Europe have Sentinel Mount and Hutchison Nunatak as its highest point ?
(Q46,P610,Q21941817) (Q46,P610,Q21488734)
action is_in
entity Q46
action intersection
action find_reverse
entity Q21941817
relation P610
action find_reverse
entity Q21488734
relation P610
['Q46', 'P610', 'Q21941817'] ['Q46', 'P610', 'Q21488734']
ASK WHERE { resource:Q46 property:P610 resource:Q21941817 . resource:Q46 property:P610 resource:Q21488734 }
Europe Sentinel Mount Hutchison Nunatak
action is_in
entity Europe
action intersection
action find_reverse
entity Sentinel Mount
relation highest point
action find_reverse
entity Hutchison Nunatak
relation highest point
['Europe', 'highest point', 'Sentinel Mount'] ['Europe', 'highest point', 'Hutchison Nunatak']
ASK WHERE { resource:Europe property:highest_point resource:Sentinel_Mount . resource:Europe property:highest_point resource:Hutchison_Nunatak }
[]
terrain
SYSTEM
NO
(Q46,P610,Q21941817) (Q46,P610,Q21488734)
action is_in
entity Q46
action intersection
action find_reverse
entity Q21941817
relation P610
action find_reverse
entity Q21488734
relation P610
[ANSWER]
['Q46', 'P610', 'Q21941817'] ['Q46', 'P610', 'Q21488734']
ASK WHERE { resource:Q46 property:P610 resource:Q21941817 . resource:Q46 property:P610 resource:Q21488734 }
No
action is_in
entity Europe
action intersection
action find_reverse
entity Sentinel Mount
relation highest point
action find_reverse
entity Hutchison Nunatak
relation highest point
['Europe', 'highest point', 'Sentinel Mount'] ['Europe', 'highest point', 'Hutchison Nunatak']
ASK WHERE { resource:Europe property:highest_point resource:Sentinel_Mount . resource:Europe property:highest_point resource:Hutchison_Nunatak }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q347 Q31
P530
Q15617994
USER
Does Belgium have diplomatic relationships with Liechtenstein ?
(Q347,P530,Q31)
action is_in
entity Q31
action find
entity Q347
relation P530
['Q347', 'P530', 'Q31']
ASK WHERE { resource:Q347 property:P530 resource:Q31 }
Liechtenstein Belgium
action is_in
entity Belgium
action find
entity Liechtenstein
relation diplomatic relation
['Liechtenstein', 'diplomatic relation', 'Belgium']
ASK WHERE { resource:Liechtenstein property:diplomatic_relation resource:Belgium }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q347,P530,Q31)
action is_in
entity Q31
action find
entity Q347
relation P530
[ANSWER]
['Q347', 'P530', 'Q31']
ASK WHERE { resource:Q347 property:P530 resource:Q31 }
Yes
action is_in
entity Belgium
action find
entity Liechtenstein
relation diplomatic relation
['Liechtenstein', 'diplomatic relation', 'Belgium']
ASK WHERE { resource:Liechtenstein property:diplomatic_relation resource:Belgium }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q114
P1376
Q15617994 Q56061 Q515
USER
How many administrative territories have less number of administrative territories or cities as their capital than Kenya ?
(c(Q56061)|c(Q515),P1376,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q56061
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action count
action filter_multi_types
action find_reverse
entity Q114
relation P1376
type Q56061
type Q515
[[{'concept': 'Q56061'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?t ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?n ) AS ?w ) WHERE { { ?n property:P1376 ?b . ?b rdf:type ontology:Q15617994 . ?n rdf:type ontology:Q56061 } UNION { ?b rdf:type ontology:Q15617994 . ?n rdf:type ontology:Q515 . ?n property:P1376 ?b } } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?f ) WHERE { ?d property:P1376 resource:Q114 . { { ?d rdf:type ontology:Q515 } UNION { ?d rdf:type ontology:Q56061 } } } } . FILTER ( ?w < ?f ) }
Kenya
action count
action less
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type administrative territorial entity
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action count
action filter_multi_types
action find_reverse
entity Kenya
relation capital of
type administrative territorial entity
type city
[[{'concept': 'administrative territorial entity'}, {'concept': 'city'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?t ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?n ) AS ?w ) WHERE { { ?n property:capital_of ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?n rdf:type ontology:administrative_territorial_entity } UNION { ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?n rdf:type ontology:city . ?n property:capital_of ?b } } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?f ) WHERE { ?d property:capital_of resource:Kenya . { { ?d rdf:type ontology:city } UNION { ?d rdf:type ontology:administrative_territorial_entity } } } } . FILTER ( ?w < ?f ) }
[]
designation for an administrative territorial entity administrative territorial entity city
SYSTEM
128
Q12631 Q3368 Q1111401 Q3044731 Q12689 Q2527360 Q699731 Q3377 Q3372 Q3093 Q3259 Q2528268 Q12594 Q739 Q733 Q12574 Q12798 Q12792 Q1284 Q541811 Q1458 Q12700 Q12703 Q12709 Q12569 Q12642 Q3216 Q3194 Q541589 Q12804 Q12808 Q3326 Q3286 Q3266 Q3105 Q731547 Q33788 Q709 Q12740 Q12745 Q12779 Q12607 Q290739 Q12789 Q1452646 Q2281221 Q1508919 Q12694 Q12515 Q12517 Q3364 Q3148 Q280312 Q492437 Q12675 Q12589 Q12584 Q12580 Q3131 Q12788 Q12784 Q12782 Q686312 Q697 Q12730 Q12736 Q1270568 Q12657 Q12652 Q12556 Q694594 Q874 Q176 Q12816 Q3353 Q3357 Q389004 Q492430 Q3278 Q3184 Q239502 Q2900529 Q12772 Q1090678 Q1999970 Q155019 Q107426 Q511365 Q598193 Q1270623 Q10957559 Q965 Q962 Q3125 Q3120 Q3110307 Q12722 Q12553 Q12620 Q12626 Q12543 Q12563 Q426025 Q474421 Q3349 Q3083 Q3249 Q34762 Q12761 Q12765 Q1443 Q224 Q691265 Q313175 Q3334 Q12572 Q12576 Q12578 Q12679 Q3514973 Q3113 Q1234961 Q1222 Q672 Q12758 Q12753 Q12751 Q12564
(c(Q56061)|c(Q515),P1376,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q56061
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action count
action filter_multi_types
action find_reverse
entity Q114
relation P1376
type Q56061
type Q515
[ANSWER]
[[{'concept': 'Q56061'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?t ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?n ) AS ?w ) WHERE { { ?n property:P1376 ?b . ?b rdf:type ontology:Q15617994 . ?n rdf:type ontology:Q56061 } UNION { ?b rdf:type ontology:Q15617994 . ?n rdf:type ontology:Q515 . ?n property:P1376 ?b } } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?f ) WHERE { ?d property:P1376 resource:Q114 . { { ?d rdf:type ontology:Q515 } UNION { ?d rdf:type ontology:Q56061 } } } } . FILTER ( ?w < ?f ) }
Meuse Essonne Kispest District Guyane Pas-de-Calais Stura Wied Eure-et-Loir Eure Aisne Cantal Mont-Blanc Marne Colombia Paraguay Loiret Vendée Vaucluse Abruzzo Ems-Oriental Calabria Hautes-Pyrénées Pyrénées-Atlantiques Pyrénées-Orientales Loire Morbihan Aveyron Aube Ems-Supérieur Vienne Haute-Vienne Corrèze Cher Charente Vosges Lippe New Caledonia Marshall Islands Sarthe Savoie Tarn-et-Garonne Haute-Marne Sesia Var Montenotte Principality of Orange Marengo Puy-de-Dôme Gard Gers Drôme Ardèche Principality of Lüneburg Bouches-du-Weser Oise Manche Maine-et-Loire Lozère Alpes-de-Haute-Provence Val-de-Marne Val-d'Oise Territoire de Belfort Duchy of Amalfi Nauru Haute-Saône Saône-et-Loire Ems Nièvre Moselle Indre-et-Loire Bremen-Verden Turkmenistan Quebec Yonne Creuse Dordogne Wallachia Bouches-de-l'Elbe Charente-Maritime Ariège Kingdom of Galicia–Volhynia Bezirk Lothringen Tarn Sègre Upper Alsace Duchy of Lorraine Anjou Arvika Municipality Apennins Meurthe Moldavia Burkina Faso Benin Hautes-Alpes Jura Golo Haut-Rhin Indre Mayenne Meurthe-et-Moselle Hauts-de-Seine Landes Duchy of Savoy Principality of Fürstenberg Côtes-d'Armor Ain Calvados Principality of Bayreuth Seine-Saint-Denis Deux-Sèvres Molise Croatia Mont-Terrible Saxe-Lauenburg Haute-Corse Haute-Loire Lot Lot-et-Garonne Orne Tanaro Allier Doire Aosta Valley Tuvalu Seine-Maritime Seine-et-Marne Haute-Savoie Loir-et-Cher
128
action count
action less
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type administrative territorial entity
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action count
action filter_multi_types
action find_reverse
entity Kenya
relation capital of
type administrative territorial entity
type city
[[{'concept': 'administrative territorial entity'}, {'concept': 'city'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?t ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?n ) AS ?w ) WHERE { { ?n property:capital_of ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?n rdf:type ontology:administrative_territorial_entity } UNION { ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?n rdf:type ontology:city . ?n property:capital_of ?b } } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?f ) WHERE { ?d property:capital_of resource:Kenya . { { ?d rdf:type ontology:city } UNION { ?d rdf:type ontology:administrative_territorial_entity } } } } . FILTER ( ?w < ?f ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q1282
P1376
Q15617994 Q56061 Q515
USER
And how about Lazio?
(c(Q56061)|c(Q515),P1376,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q56061
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action count
action filter_multi_types
action find_reverse
entity Q1282
relation P1376
type Q56061
type Q515
[[{'concept': 'Q56061'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?b ) ?v WHERE { { ?x property:P1376 ?v . ?x rdf:type ontology:Q56061 . ?v rdf:type ontology:Q15617994 } UNION { ?x property:P1376 ?v . ?v rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q515 } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?j ) WHERE { ?z property:P1376 resource:Q1282 . { ?z rdf:type ?a . VALUES ( ?a ) { ( ontology:Q56061 ) ( ontology:Q515 ) } } } } . FILTER ( ?b < ?j ) }
Lazio
action count
action less
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type administrative territorial entity
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action count
action filter_multi_types
action find_reverse
entity Lazio
relation capital of
type administrative territorial entity
type city
[[{'concept': 'administrative territorial entity'}, {'concept': 'city'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?b ) ?v WHERE { { ?x property:capital_of ?v . ?x rdf:type ontology:administrative_territorial_entity . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?x property:capital_of ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:city } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?j ) WHERE { ?z property:capital_of resource:Lazio . { ?z rdf:type ?a . VALUES ( ?a ) { ( ontology:administrative_territorial_entity ) ( ontology:city ) } } } } . FILTER ( ?b < ?j ) }
[]
designation for an administrative territorial entity administrative territorial entity city
SYSTEM
128
Q12631 Q3368 Q1111401 Q3044731 Q12689 Q2527360 Q699731 Q3377 Q3372 Q3093 Q3259 Q2528268 Q12594 Q739 Q733 Q12574 Q12798 Q12792 Q1284 Q541811 Q1458 Q12700 Q12703 Q12709 Q12569 Q12642 Q3216 Q3194 Q541589 Q12804 Q12808 Q3326 Q3286 Q3266 Q3105 Q731547 Q33788 Q709 Q12740 Q12745 Q12779 Q12607 Q290739 Q12789 Q1452646 Q2281221 Q1508919 Q12694 Q12515 Q12517 Q3364 Q3148 Q280312 Q492437 Q12675 Q12589 Q12584 Q12580 Q3131 Q12788 Q12784 Q12782 Q686312 Q697 Q12730 Q12736 Q1270568 Q12657 Q12652 Q12556 Q694594 Q874 Q176 Q12816 Q3353 Q3357 Q389004 Q492430 Q3278 Q3184 Q239502 Q2900529 Q12772 Q1090678 Q1999970 Q155019 Q107426 Q511365 Q598193 Q1270623 Q10957559 Q965 Q962 Q3125 Q3120 Q3110307 Q12722 Q12553 Q12620 Q12626 Q12543 Q12563 Q426025 Q474421 Q3349 Q3083 Q3249 Q34762 Q12761 Q12765 Q1443 Q224 Q691265 Q313175 Q3334 Q12572 Q12576 Q12578 Q12679 Q3514973 Q3113 Q1234961 Q1222 Q672 Q12758 Q12753 Q12751 Q12564
(c(Q56061)|c(Q515),P1376,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q56061
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action count
action filter_multi_types
action find_reverse
entity Q1282
relation P1376
type Q56061
type Q515
[ANSWER]
[[{'concept': 'Q56061'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?b ) ?v WHERE { { ?x property:P1376 ?v . ?x rdf:type ontology:Q56061 . ?v rdf:type ontology:Q15617994 } UNION { ?x property:P1376 ?v . ?v rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q515 } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?j ) WHERE { ?z property:P1376 resource:Q1282 . { ?z rdf:type ?a . VALUES ( ?a ) { ( ontology:Q56061 ) ( ontology:Q515 ) } } } } . FILTER ( ?b < ?j ) }
Meuse Essonne Kispest District Guyane Pas-de-Calais Stura Wied Eure-et-Loir Eure Aisne Cantal Mont-Blanc Marne Colombia Paraguay Loiret Vendée Vaucluse Abruzzo Ems-Oriental Calabria Hautes-Pyrénées Pyrénées-Atlantiques Pyrénées-Orientales Loire Morbihan Aveyron Aube Ems-Supérieur Vienne Haute-Vienne Corrèze Cher Charente Vosges Lippe New Caledonia Marshall Islands Sarthe Savoie Tarn-et-Garonne Haute-Marne Sesia Var Montenotte Principality of Orange Marengo Puy-de-Dôme Gard Gers Drôme Ardèche Principality of Lüneburg Bouches-du-Weser Oise Manche Maine-et-Loire Lozère Alpes-de-Haute-Provence Val-de-Marne Val-d'Oise Territoire de Belfort Duchy of Amalfi Nauru Haute-Saône Saône-et-Loire Ems Nièvre Moselle Indre-et-Loire Bremen-Verden Turkmenistan Quebec Yonne Creuse Dordogne Wallachia Bouches-de-l'Elbe Charente-Maritime Ariège Kingdom of Galicia–Volhynia Bezirk Lothringen Tarn Sègre Upper Alsace Duchy of Lorraine Anjou Arvika Municipality Apennins Meurthe Moldavia Burkina Faso Benin Hautes-Alpes Jura Golo Haut-Rhin Indre Mayenne Meurthe-et-Moselle Hauts-de-Seine Landes Duchy of Savoy Principality of Fürstenberg Côtes-d'Armor Ain Calvados Principality of Bayreuth Seine-Saint-Denis Deux-Sèvres Molise Croatia Mont-Terrible Saxe-Lauenburg Haute-Corse Haute-Loire Lot Lot-et-Garonne Orne Tanaro Allier Doire Aosta Valley Tuvalu Seine-Maritime Seine-et-Marne Haute-Savoie Loir-et-Cher
128
action count
action less
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type administrative territorial entity
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action count
action filter_multi_types
action find_reverse
entity Lazio
relation capital of
type administrative territorial entity
type city
[[{'concept': 'administrative territorial entity'}, {'concept': 'city'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?b ) ?v WHERE { { ?x property:capital_of ?v . ?x rdf:type ontology:administrative_territorial_entity . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?x property:capital_of ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:city } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?j ) WHERE { ?z property:capital_of resource:Lazio . { ?z rdf:type ?a . VALUES ( ?a ) { ( ontology:administrative_territorial_entity ) ( ontology:city ) } } } } . FILTER ( ?b < ?j ) }
[]