Simple Question (Direct)
Simple Question
Q15649853
P641
Q349
USER
What did Hyuri participate in ?
(Q15649853,P641,c(Q349))
action filter_type
action find
entity Q15649853
relation P641
type Q349
['Q15649853', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?d WHERE { resource:Q15649853 property:P641 ?d . ?d rdf:type ontology:Q349 }
Hyuri
action filter_type
action find
entity Hyuri
relation sport
type sport
['Hyuri', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?d WHERE { resource:Hyuri property:sport ?d . ?d rdf:type ontology:sport }
[]
sport
Q2736
SYSTEM
association football
Q2736
(Q15649853,P641,c(Q349))
action filter_type
action find
entity Q15649853
relation P641
type Q349
Hyuri participated in [ANSWER]
['Q15649853', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?d WHERE { resource:Q15649853 property:P641 ?d . ?d rdf:type ontology:Q349 }
association football
Hyuri participated in association football
association football
action filter_type
action find
entity Hyuri
relation sport
type sport
['Hyuri', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?d WHERE { resource:Hyuri property:sport ?d . ?d rdf:type ontology:sport }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q15649853
P27
Q15617994
USER
Which administrative territory is the country of citizenship of that person ?
(Q2736,P27,c(Q15617994))
action filter_type
action find
entity Q15649853
relation P27
type Q15617994
['Q2736', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?b WHERE { resource:Q15649853 property:P27 ?b . ?b rdf:type ontology:Q15617994 }
Hyuri
action filter_type
action find
entity Hyuri
relation country of citizenship
type designation for an administrative territorial entity
['association football', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { resource:Hyuri property:country_of_citizenship ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q155
SYSTEM
Brazil
Q155
(Q2736,P27,c(Q15617994))
action filter_type
action find
entity Q15649853
relation P27
type Q15617994
[ANSWER] is the country of citizenship of that person
['Q2736', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?b WHERE { resource:Q15649853 property:P27 ?b . ?b rdf:type ontology:Q15617994 }
Brazil
Brazil is the country of citizenship of that person
Brazil
action filter_type
action find
entity Hyuri
relation country of citizenship
type designation for an administrative territorial entity
['association football', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { resource:Hyuri property:country_of_citizenship ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q101262 Q15649853
P27 P17
Q15617994
USER
Which administrative territories are Hyuri a civilian of or do Mozzanica belong to ?
OR((Q15649853,P27,c(Q15617994)), (Q101262,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q15649853
relation P27
action find
entity Q101262
relation P17
type Q15617994
{'OR': [['Q15649853', 'P27', {'concept': 'Q15617994'}], ['Q101262', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Q15649853 property:P27 ?y } UNION { resource:Q101262 property:P17 ?y } } . ?y rdf:type ontology:Q15617994 }
Mozzanica Hyuri
action filter_type
action union
action find
entity Hyuri
relation country of citizenship
action find
entity Mozzanica
relation country
type designation for an administrative territorial entity
{'OR': [['Hyuri', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Mozzanica', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Hyuri property:country_of_citizenship ?y } UNION { resource:Mozzanica property:country ?y } } . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q155 Q38
SYSTEM
Brazil, Italy
Q155 Q38
OR((Q15649853,P27,c(Q15617994)), (Q101262,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q15649853
relation P27
action find
entity Q101262
relation P17
type Q15617994
[ANSWERS] are Hyuri a civilian of or do Mozzanica belong to
{'OR': [['Q15649853', 'P27', {'concept': 'Q15617994'}], ['Q101262', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Q15649853 property:P27 ?y } UNION { resource:Q101262 property:P17 ?y } } . ?y rdf:type ontology:Q15617994 }
Brazil Italy
Brazil and Italy are Hyuri a civilian of or do Mozzanica belong to
Brazil Italy
action filter_type
action union
action find
entity Hyuri
relation country of citizenship
action find
entity Mozzanica
relation country
type designation for an administrative territorial entity
{'OR': [['Hyuri', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Mozzanica', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Hyuri property:country_of_citizenship ?y } UNION { resource:Mozzanica property:country ?y } } . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q29999
P36
Q20667921 Q486972 Q15617994
USER
How many administrative territories are greater number of french administrative divisions or human settlements the capital of than Kingdom of the Netherlands ?
(c(Q15617994),P36,c(Q20667921)|c(Q486972))
action count
action greater
action union
action find_tuple_counts
relation P36
type Q15617994
type Q20667921
action find_tuple_counts
relation P36
type Q15617994
type Q486972
action count
action filter_multi_types
action find
entity Q29999
relation P36
type Q20667921
type Q486972
[{'concept': 'Q15617994'}, 'P36', [{'concept': 'Q20667921'}, {'concept': 'Q486972'}]]
SELECT DISTINCT ( COUNT ( ?r ) AS ?p ) WHERE { { SELECT DISTINCT ( COUNT ( ?t ) AS ?m ) ?r WHERE { { ?r property:P36 ?t . ?r rdf:type ontology:Q15617994 . ?t rdf:type ontology:Q20667921 } UNION { ?r property:P36 ?t . ?r rdf:type ontology:Q15617994 . ?t rdf:type ontology:Q486972 } } GROUP BY ?r } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?a ) WHERE { resource:Q29999 property:P36 ?b . { VALUES ( ?o ) { ( ontology:Q20667921 ) ( ontology:Q486972 ) } . ?b rdf:type ?o } } } . FILTER ( ?m > ?a ) }
Kingdom of the Netherlands
action count
action greater
action union
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type type of french administrative division
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type human settlement
action count
action filter_multi_types
action find
entity Kingdom of the Netherlands
relation capital
type type of french administrative division
type human settlement
[{'concept': 'designation for an administrative territorial entity'}, 'capital', [{'concept': 'type of french administrative division'}, {'concept': 'human settlement'}]]
SELECT DISTINCT ( COUNT ( ?r ) AS ?p ) WHERE { { SELECT DISTINCT ( COUNT ( ?t ) AS ?m ) ?r WHERE { { ?r property:capital ?t . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?t rdf:type ontology:type_of_french_administrative_division } UNION { ?r property:capital ?t . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?t rdf:type ontology:human_settlement } } GROUP BY ?r } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?a ) WHERE { resource:Kingdom_of_the_Netherlands property:capital ?b . { VALUES ( ?o ) { ( ontology:type_of_french_administrative_division ) ( ontology:human_settlement ) } . ?b rdf:type ?o } } } . FILTER ( ?m > ?a ) }
[]
type of french administrative division human settlement designation for an administrative territorial entity
SYSTEM
100
Q12631 Q2991354 Q3368 Q1111401 Q2998020 Q3044731 Q12689 Q3377 Q3372 Q3093 Q3259 Q12594 Q16628524 Q12798 Q12792 Q12700 Q12703 Q12709 Q12569 Q12574 Q12642 Q3216 Q3194 Q541589 Q12804 Q12808 Q3326 Q3286 Q12589 Q3266 Q3105 Q33788 Q12740 Q12745 Q12779 Q12607 Q12576 Q2281221 Q12694 Q12515 Q12517 Q3364 Q3148 Q12675 Q12584 Q12580 Q3131 Q12788 Q12784 Q12782 Q12730 Q12736 Q662056 Q12657 Q12652 Q12556 Q12816 Q2528268 Q3353 Q3357 Q492437 Q492430 Q3278 Q3184 Q2900529 Q12772 Q1999970 Q155019 Q107426 Q12661 Q1270623 Q965 Q3125 Q3120 Q3110307 Q12722 Q12553 Q12620 Q12626 Q12543 Q12563 Q426025 Q3349 Q3083 Q3240 Q3249 Q3164 Q12761 Q12765 Q3334 Q12572 Q12578 Q12679 Q3846423 Q3113 Q12789 Q12758 Q12753 Q12751 Q12564
(c(Q15617994),P36,c(Q20667921)|c(Q486972))
action count
action greater
action union
action find_tuple_counts
relation P36
type Q15617994
type Q20667921
action find_tuple_counts
relation P36
type Q15617994
type Q486972
action count
action filter_multi_types
action find
entity Q29999
relation P36
type Q20667921
type Q486972
[ANSWER]
[{'concept': 'Q15617994'}, 'P36', [{'concept': 'Q20667921'}, {'concept': 'Q486972'}]]
SELECT DISTINCT ( COUNT ( ?r ) AS ?p ) WHERE { { SELECT DISTINCT ( COUNT ( ?t ) AS ?m ) ?r WHERE { { ?r property:P36 ?t . ?r rdf:type ontology:Q15617994 . ?t rdf:type ontology:Q20667921 } UNION { ?r property:P36 ?t . ?r rdf:type ontology:Q15617994 . ?t rdf:type ontology:Q486972 } } GROUP BY ?r } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?a ) WHERE { resource:Q29999 property:P36 ?b . { VALUES ( ?o ) { ( ontology:Q20667921 ) ( ontology:Q486972 ) } . ?b rdf:type ?o } } } . FILTER ( ?m > ?a ) }
Meuse Aquiles Serdán Municipality Essonne Kispest District Corse Guyane Pas-de-Calais Eure-et-Loir Eure Aisne Cantal Marne San Salvador el Verde municipality Vendée Vaucluse Hautes-Pyrénées Pyrénées-Atlantiques Pyrénées-Orientales Loire Loiret Morbihan Aveyron Aube Ems-Supérieur Vienne Haute-Vienne Corrèze Cher Manche Charente Vosges New Caledonia Sarthe Savoie Tarn-et-Garonne Haute-Marne Lot Principality of Orange Puy-de-Dôme Gard Gers Drôme Ardèche Oise Maine-et-Loire Lozère Alpes-de-Haute-Provence Val-de-Marne Val-d'Oise Territoire de Belfort Haute-Saône Saône-et-Loire Cushamen Department Nièvre Moselle Indre-et-Loire Yonne Mont-Blanc Creuse Dordogne Bouches-du-Weser Bouches-de-l'Elbe Charente-Maritime Ariège Bezirk Lothringen Tarn Upper Alsace Duchy of Lorraine Anjou Nord Meurthe Burkina Faso Hautes-Alpes Jura Golo Haut-Rhin Indre Mayenne Meurthe-et-Moselle Hauts-de-Seine Landes Duchy of Savoy Côtes-d'Armor Ain Bouches-du-Rhône Calvados Ardennes Seine-Saint-Denis Deux-Sèvres Haute-Corse Haute-Loire Lot-et-Garonne Orne Viesca Municipality Allier Var Seine-Maritime Seine-et-Marne Haute-Savoie Loir-et-Cher
100
action count
action greater
action union
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type type of french administrative division
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type human settlement
action count
action filter_multi_types
action find
entity Kingdom of the Netherlands
relation capital
type type of french administrative division
type human settlement
[{'concept': 'designation for an administrative territorial entity'}, 'capital', [{'concept': 'type of french administrative division'}, {'concept': 'human settlement'}]]
SELECT DISTINCT ( COUNT ( ?r ) AS ?p ) WHERE { { SELECT DISTINCT ( COUNT ( ?t ) AS ?m ) ?r WHERE { { ?r property:capital ?t . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?t rdf:type ontology:type_of_french_administrative_division } UNION { ?r property:capital ?t . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?t rdf:type ontology:human_settlement } } GROUP BY ?r } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?a ) WHERE { resource:Kingdom_of_the_Netherlands property:capital ?b . { VALUES ( ?o ) { ( ontology:type_of_french_administrative_division ) ( ontology:human_settlement ) } . ?b rdf:type ?o } } } . FILTER ( ?m > ?a ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q215
P36
Q20667921 Q486972 Q15617994
USER
And how about Slovenia?
(c(Q15617994),P36,c(Q20667921)|c(Q486972))
action count
action greater
action union
action find_tuple_counts
relation P36
type Q15617994
type Q20667921
action find_tuple_counts
relation P36
type Q15617994
type Q486972
action count
action filter_multi_types
action find
entity Q215
relation P36
type Q20667921
type Q486972
[{'concept': 'Q15617994'}, 'P36', [{'concept': 'Q20667921'}, {'concept': 'Q486972'}]]
SELECT DISTINCT ( COUNT ( ?b ) AS ?g ) WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?w ) WHERE { resource:Q215 property:P36 ?r . { { ?r rdf:type ontology:Q20667921 } UNION { ?r rdf:type ontology:Q486972 } } } } . FILTER ( ?a > ?w ) . { SELECT DISTINCT ?b ( COUNT ( ?v ) AS ?a ) WHERE { ?v rdf:type ?y . VALUES ( ?y ) { ( ontology:Q486972 ) ( ontology:Q20667921 ) } } GROUP BY ?b } }
Slovenia
action count
action greater
action union
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type type of french administrative division
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type human settlement
action count
action filter_multi_types
action find
entity Slovenia
relation capital
type type of french administrative division
type human settlement
[{'concept': 'designation for an administrative territorial entity'}, 'capital', [{'concept': 'type of french administrative division'}, {'concept': 'human settlement'}]]
SELECT DISTINCT ( COUNT ( ?b ) AS ?g ) WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?w ) WHERE { resource:Slovenia property:capital ?r . { { ?r rdf:type ontology:type_of_french_administrative_division } UNION { ?r rdf:type ontology:human_settlement } } } } . FILTER ( ?a > ?w ) . { SELECT DISTINCT ?b ( COUNT ( ?v ) AS ?a ) WHERE { ?v rdf:type ?y . VALUES ( ?y ) { ( ontology:human_settlement ) ( ontology:type_of_french_administrative_division ) } } GROUP BY ?b } }
[]
type of french administrative division human settlement designation for an administrative territorial entity
SYSTEM
100
Q12631 Q2991354 Q3368 Q1111401 Q2998020 Q3044731 Q12689 Q3377 Q3372 Q3093 Q3259 Q12594 Q16628524 Q12798 Q12792 Q12700 Q12703 Q12709 Q12569 Q12574 Q12642 Q3216 Q3194 Q541589 Q12804 Q12808 Q3326 Q3286 Q12589 Q3266 Q3105 Q33788 Q12740 Q12745 Q12779 Q12607 Q12576 Q2281221 Q12694 Q12515 Q12517 Q3364 Q3148 Q12675 Q12584 Q12580 Q3131 Q12788 Q12784 Q12782 Q12730 Q12736 Q662056 Q12657 Q12652 Q12556 Q12816 Q2528268 Q3353 Q3357 Q492437 Q492430 Q3278 Q3184 Q2900529 Q12772 Q1999970 Q155019 Q107426 Q12661 Q1270623 Q965 Q3125 Q3120 Q3110307 Q12722 Q12553 Q12620 Q12626 Q12543 Q12563 Q426025 Q3349 Q3083 Q3240 Q3249 Q3164 Q12761 Q12765 Q3334 Q12572 Q12578 Q12679 Q3846423 Q3113 Q12789 Q12758 Q12753 Q12751 Q12564
(c(Q15617994),P36,c(Q20667921)|c(Q486972))
action count
action greater
action union
action find_tuple_counts
relation P36
type Q15617994
type Q20667921
action find_tuple_counts
relation P36
type Q15617994
type Q486972
action count
action filter_multi_types
action find
entity Q215
relation P36
type Q20667921
type Q486972
[ANSWER]
[{'concept': 'Q15617994'}, 'P36', [{'concept': 'Q20667921'}, {'concept': 'Q486972'}]]
SELECT DISTINCT ( COUNT ( ?b ) AS ?g ) WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?w ) WHERE { resource:Q215 property:P36 ?r . { { ?r rdf:type ontology:Q20667921 } UNION { ?r rdf:type ontology:Q486972 } } } } . FILTER ( ?a > ?w ) . { SELECT DISTINCT ?b ( COUNT ( ?v ) AS ?a ) WHERE { ?v rdf:type ?y . VALUES ( ?y ) { ( ontology:Q486972 ) ( ontology:Q20667921 ) } } GROUP BY ?b } }
Meuse Aquiles Serdán Municipality Essonne Kispest District Corse Guyane Pas-de-Calais Eure-et-Loir Eure Aisne Cantal Marne San Salvador el Verde municipality Vendée Vaucluse Hautes-Pyrénées Pyrénées-Atlantiques Pyrénées-Orientales Loire Loiret Morbihan Aveyron Aube Ems-Supérieur Vienne Haute-Vienne Corrèze Cher Manche Charente Vosges New Caledonia Sarthe Savoie Tarn-et-Garonne Haute-Marne Lot Principality of Orange Puy-de-Dôme Gard Gers Drôme Ardèche Oise Maine-et-Loire Lozère Alpes-de-Haute-Provence Val-de-Marne Val-d'Oise Territoire de Belfort Haute-Saône Saône-et-Loire Cushamen Department Nièvre Moselle Indre-et-Loire Yonne Mont-Blanc Creuse Dordogne Bouches-du-Weser Bouches-de-l'Elbe Charente-Maritime Ariège Bezirk Lothringen Tarn Upper Alsace Duchy of Lorraine Anjou Nord Meurthe Burkina Faso Hautes-Alpes Jura Golo Haut-Rhin Indre Mayenne Meurthe-et-Moselle Hauts-de-Seine Landes Duchy of Savoy Côtes-d'Armor Ain Bouches-du-Rhône Calvados Ardennes Seine-Saint-Denis Deux-Sèvres Haute-Corse Haute-Loire Lot-et-Garonne Orne Viesca Municipality Allier Var Seine-Maritime Seine-et-Marne Haute-Savoie Loir-et-Cher
100
action count
action greater
action union
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type type of french administrative division
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type human settlement
action count
action filter_multi_types
action find
entity Slovenia
relation capital
type type of french administrative division
type human settlement
[{'concept': 'designation for an administrative territorial entity'}, 'capital', [{'concept': 'type of french administrative division'}, {'concept': 'human settlement'}]]
SELECT DISTINCT ( COUNT ( ?b ) AS ?g ) WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?w ) WHERE { resource:Slovenia property:capital ?r . { { ?r rdf:type ontology:type_of_french_administrative_division } UNION { ?r rdf:type ontology:human_settlement } } } } . FILTER ( ?a > ?w ) . { SELECT DISTINCT ?b ( COUNT ( ?v ) AS ?a ) WHERE { ?v rdf:type ?y . VALUES ( ?y ) { ( ontology:human_settlement ) ( ontology:type_of_french_administrative_division ) } } GROUP BY ?b } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q155622
P138
Q15617994 Q16521 Q811979
USER
How many administrative territories are the etymology of more number of taxons or architectural structures than Bernkastel-Kues ?
(c(Q16521)|c(Q811979),P138,c(Q15617994))
action count
action greater
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q16521
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q811979
action count
action filter_multi_types
action find_reverse
entity Q155622
relation P138
type Q16521
type Q811979
[[{'concept': 'Q16521'}, {'concept': 'Q811979'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?s ) WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?o ) ?z WHERE { { ?a property:P138 ?z . ?z rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q16521 } UNION { ?a property:P138 ?z . ?z rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q811979 } } GROUP BY ?z } . FILTER ( ?o > ?g ) . { SELECT DISTINCT ( COUNT ( ?w ) AS ?g ) WHERE { { { ?w rdf:type ontology:Q811979 } UNION { ?w rdf:type ontology:Q16521 } } . ?w property:P138 resource:Q155622 } } }
Bernkastel-Kues
action count
action greater
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type taxon
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type architectural structure
action count
action filter_multi_types
action find_reverse
entity Bernkastel-Kues
relation named after
type taxon
type architectural structure
[[{'concept': 'taxon'}, {'concept': 'architectural structure'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?s ) WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?o ) ?z WHERE { { ?a property:named_after ?z . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:taxon } UNION { ?a property:named_after ?z . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:architectural_structure } } GROUP BY ?z } . FILTER ( ?o > ?g ) . { SELECT DISTINCT ( COUNT ( ?w ) AS ?g ) WHERE { { { ?w rdf:type ontology:architectural_structure } UNION { ?w rdf:type ontology:taxon } } . ?w property:named_after resource:Bernkastel-Kues } } }
[]
designation for an administrative territorial entity taxon architectural structure
SYSTEM
37
Q804 Q801 Q800 Q419 Q490521 Q786 Q155 Q739 Q733 Q736 Q189 Q1028 Q1458 Q626792 Q1243 Q3105 Q33788 Q792 Q33 Q30 Q38 Q53873 Q750 Q77 Q176 Q712 Q717 Q29 Q222 Q228 Q917 Q811 Q819 Q869 Q774 Q928 Q47578
(c(Q16521)|c(Q811979),P138,c(Q15617994))
action count
action greater
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q16521
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q811979
action count
action filter_multi_types
action find_reverse
entity Q155622
relation P138
type Q16521
type Q811979
[ANSWER]
[[{'concept': 'Q16521'}, {'concept': 'Q811979'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?s ) WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?o ) ?z WHERE { { ?a property:P138 ?z . ?z rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q16521 } UNION { ?a property:P138 ?z . ?z rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q811979 } } GROUP BY ?z } . FILTER ( ?o > ?g ) . { SELECT DISTINCT ( COUNT ( ?w ) AS ?g ) WHERE { { { ?w rdf:type ontology:Q811979 } UNION { ?w rdf:type ontology:Q16521 } } . ?w property:P138 resource:Q155622 } } }
Panama Israel Costa Rica Peru Strausberg Dominican Republic Brazil Colombia Paraguay Ecuador Iceland Morocco Calabria Fehrbellin Veneto Vosges New Caledonia El Salvador Finland United States of America Italy Diamante Bolivia Uruguay Quebec Fiji Venezuela Spain Albania Andorra Bhutan Nicaragua Laos Thailand Guatemala Philippines Vittorio Veneto
37
action count
action greater
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type taxon
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type architectural structure
action count
action filter_multi_types
action find_reverse
entity Bernkastel-Kues
relation named after
type taxon
type architectural structure
[[{'concept': 'taxon'}, {'concept': 'architectural structure'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?s ) WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?o ) ?z WHERE { { ?a property:named_after ?z . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:taxon } UNION { ?a property:named_after ?z . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:architectural_structure } } GROUP BY ?z } . FILTER ( ?o > ?g ) . { SELECT DISTINCT ( COUNT ( ?w ) AS ?g ) WHERE { { { ?w rdf:type ontology:architectural_structure } UNION { ?w rdf:type ontology:taxon } } . ?w property:named_after resource:Bernkastel-Kues } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q536647
P138
Q15617994 Q16521 Q811979
USER
And also tell me about Dassow?
(c(Q16521)|c(Q811979),P138,c(Q15617994))
action count
action greater
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q16521
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q811979
action count
action filter_multi_types
action find_reverse
entity Q536647
relation P138
type Q16521
type Q811979
[[{'concept': 'Q16521'}, {'concept': 'Q811979'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?o ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?m ) AS ?u ) WHERE { VALUES ( ?g ) { ( ontology:Q16521 ) ( ontology:Q811979 ) } . ?m rdf:type ?g } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?r ) WHERE { ?s property:P138 resource:Q536647 . { { ?s rdf:type ontology:Q16521 } UNION { ?s rdf:type ontology:Q811979 } } } } . FILTER ( ?u > ?r ) }
Dassow
action count
action greater
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type taxon
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type architectural structure
action count
action filter_multi_types
action find_reverse
entity Dassow
relation named after
type taxon
type architectural structure
[[{'concept': 'taxon'}, {'concept': 'architectural structure'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?o ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?m ) AS ?u ) WHERE { VALUES ( ?g ) { ( ontology:taxon ) ( ontology:architectural_structure ) } . ?m rdf:type ?g } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?r ) WHERE { ?s property:named_after resource:Dassow . { { ?s rdf:type ontology:taxon } UNION { ?s rdf:type ontology:architectural_structure } } } } . FILTER ( ?u > ?r ) }
[]
designation for an administrative territorial entity taxon architectural structure
SYSTEM
37
Q804 Q801 Q800 Q419 Q490521 Q786 Q155 Q739 Q733 Q736 Q189 Q1028 Q1458 Q626792 Q1243 Q3105 Q33788 Q792 Q33 Q30 Q38 Q53873 Q750 Q77 Q176 Q712 Q717 Q29 Q222 Q228 Q917 Q811 Q819 Q869 Q774 Q928 Q47578
(c(Q16521)|c(Q811979),P138,c(Q15617994))
action count
action greater
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q16521
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q811979
action count
action filter_multi_types
action find_reverse
entity Q536647
relation P138
type Q16521
type Q811979
[ANSWER]
[[{'concept': 'Q16521'}, {'concept': 'Q811979'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?o ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?m ) AS ?u ) WHERE { VALUES ( ?g ) { ( ontology:Q16521 ) ( ontology:Q811979 ) } . ?m rdf:type ?g } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?r ) WHERE { ?s property:P138 resource:Q536647 . { { ?s rdf:type ontology:Q16521 } UNION { ?s rdf:type ontology:Q811979 } } } } . FILTER ( ?u > ?r ) }
Panama Israel Costa Rica Peru Strausberg Dominican Republic Brazil Colombia Paraguay Ecuador Iceland Morocco Calabria Fehrbellin Veneto Vosges New Caledonia El Salvador Finland United States of America Italy Diamante Bolivia Uruguay Quebec Fiji Venezuela Spain Albania Andorra Bhutan Nicaragua Laos Thailand Guatemala Philippines Vittorio Veneto
37
action count
action greater
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type taxon
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type architectural structure
action count
action filter_multi_types
action find_reverse
entity Dassow
relation named after
type taxon
type architectural structure
[[{'concept': 'taxon'}, {'concept': 'architectural structure'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?o ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?m ) AS ?u ) WHERE { VALUES ( ?g ) { ( ontology:taxon ) ( ontology:architectural_structure ) } . ?m rdf:type ?g } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?r ) WHERE { ?s property:named_after resource:Dassow . { { ?s rdf:type ontology:taxon } UNION { ?s rdf:type ontology:architectural_structure } } } } . FILTER ( ?u > ?r ) }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P530
Q15617994 Q15617994 Q1048835
USER
Which administrative territories holds diplomatic relationship with exactly 4 administrative territories and political territories ?
(c(Q15617994)|c(Q1048835),P530,c(Q15617994))
action equal
action union
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q15617994
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q1048835
value 4
[[{'concept': 'Q15617994'}, {'concept': 'Q1048835'}], 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( COUNT ( ?t ) AS ?u ) ?k WHERE { VALUES ( ?y ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } . ?t rdf:type ?y } GROUP BY ?k } . FILTER ( ?u = 4 ) }
action equal
action union
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
value 4
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'political territorial entity'}], 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( COUNT ( ?t ) AS ?u ) ?k WHERE { VALUES ( ?y ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } . ?t rdf:type ?y } GROUP BY ?k } . FILTER ( ?u = 4 ) }
[]
designation for an administrative territorial entity designation for an administrative territorial entity political territorial entity
Q55 Q96 Q218
SYSTEM
Netherlands, Mexico, Romania
Q800 Q419 Q55 Q262 Q924 Q733 Q734 Q233 Q20 Q1049 Q736 Q228 Q225 Q96 Q902 Q974 Q963 Q750 Q211 Q218 Q219 Q833 Q1009 Q869
(c(Q15617994)|c(Q1048835),P530,c(Q15617994))
action equal
action union
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q15617994
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q1048835
value 4
[ANSWERS] hold diplomatic relationship with exactly 4 administrative territories and political territories
[[{'concept': 'Q15617994'}, {'concept': 'Q1048835'}], 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( COUNT ( ?t ) AS ?u ) ?k WHERE { VALUES ( ?y ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } . ?t rdf:type ?y } GROUP BY ?k } . FILTER ( ?u = 4 ) }
Costa Rica Peru Netherlands Algeria Tanzania Paraguay Guyana Malta Norway Sudan Ecuador Andorra Bosnia and Herzegovina Mexico Bangladesh Democratic Republic of the Congo Botswana Bolivia Latvia Romania Bulgaria Malaysia Cameroon Thailand
Netherlands, Mexico and Romania hold diplomatic relationship with exactly 4 administrative territories and political territories
Netherlands Mexico Romania
action equal
action union
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
value 4
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'political territorial entity'}], 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( COUNT ( ?t ) AS ?u ) ?k WHERE { VALUES ( ?y ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } . ?t rdf:type ?y } GROUP BY ?k } . FILTER ( ?u = 4 ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q96
P463
Q874405 Q43229
USER
How many social groups and organizations had Mexico as their member ?
(Q96,P463,c(Q874405)) (Q96,P463,c(Q43229))
action count
action union
action filter_type
action find
entity Q96
relation P463
type Q874405
action filter_type
action find
entity Q96
relation P463
type Q43229
['Q96', 'P463', {'concept': 'Q874405'}] ['Q96', 'P463', {'concept': 'Q43229'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?d ) WHERE { ?g rdf:type ?n . VALUES ( ?n ) { ( ontology:Q874405 ) ( ontology:Q43229 ) } }
Mexico
action count
action union
action filter_type
action find
entity Mexico
relation member of
type social group
action filter_type
action find
entity Mexico
relation member of
type organization
['Mexico', 'member of', {'concept': 'social group'}] ['Mexico', 'member of', {'concept': 'organization'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?d ) WHERE { ?g rdf:type ?n . VALUES ( ?n ) { ( ontology:social_group ) ( ontology:organization ) } }
[]
social group organization
SYSTEM
6 social groups and 17 organizations
Q125761 Q83201 Q191384 Q32874 Q1153087 Q309195 Q1071706 Q41550 Q3772571 Q656801 Q1069175 Q1045401 Q41984 Q40970 Q689859 Q971612 Q123759 Q82151 Q782942 Q7825 Q170481 Q7178 Q827525
(Q96,P463,c(Q874405)) (Q96,P463,c(Q43229))
action count
action union
action filter_type
action find
entity Q96
relation P463
type Q874405
action filter_type
action find
entity Q96
relation P463
type Q43229
[ANSWER]
['Q96', 'P463', {'concept': 'Q874405'}] ['Q96', 'P463', {'concept': 'Q43229'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?d ) WHERE { ?g rdf:type ?n . VALUES ( ?n ) { ( ontology:Q874405 ) ( ontology:Q43229 ) } }
International Civil Aviation Organization Non-Aligned Movement International Bank for Reconstruction and Development United Nations Economic Commission for Latin America and the Caribbean Inter-American Development Bank Bank for International Settlements International Trade Union Confederation Organisation for Economic Co-operation and Development Caribbean Development Bank International Finance Corporation International Federation of Red Cross and Red Crescent Societies Community of Latin American and Caribbean States International Atomic Energy Agency International Olympic Committee International Fund for Agricultural Development Group of 15 Organization of American States Food and Agriculture Organization of the United Nations Australia Group World Trade Organization Asia-Pacific Economic Cooperation International Red Cross and Red Crescent Movementsac International Development Association
6 social groups and 17 organizations
action count
action union
action filter_type
action find
entity Mexico
relation member of
type social group
action filter_type
action find
entity Mexico
relation member of
type organization
['Mexico', 'member of', {'concept': 'social group'}] ['Mexico', 'member of', {'concept': 'organization'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?d ) WHERE { ?g rdf:type ?n . VALUES ( ?n ) { ( ontology:social_group ) ( ontology:organization ) } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P530
Q1048835 Q15617994
USER
How many political territories have a diplomatic relationship with approximately 35 administrative territories ?
(c(Q15617994),P530,c(Q1048835))
action count
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 35
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?i ) AS ?r ) WHERE { FILTER ( ?v = 35 ) . { SELECT DISTINCT ?i ( COUNT ( ?c ) AS ?v ) WHERE { ?i property:P530 ?c . ?i rdf:type ontology:Q1048835 . ?c rdf:type ontology:Q15617994 } GROUP BY ?i } }
action count
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 35
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?i ) AS ?r ) WHERE { FILTER ( ?v = 35 ) . { SELECT DISTINCT ?i ( COUNT ( ?c ) AS ?v ) WHERE { ?i property:diplomatic_relation ?c . ?i rdf:type ontology:political_territorial_entity . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?i } }
[]
political territorial entity designation for an administrative territorial entity
SYSTEM
11
Q1000 Q40 Q781 Q778 Q769 Q685 Q35 Q691 Q16 Q664 Q766
(c(Q15617994),P530,c(Q1048835))
action count
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 35
[ANSWER]
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?i ) AS ?r ) WHERE { FILTER ( ?v = 35 ) . { SELECT DISTINCT ?i ( COUNT ( ?c ) AS ?v ) WHERE { ?i property:P530 ?c . ?i rdf:type ontology:Q1048835 . ?c rdf:type ontology:Q15617994 } GROUP BY ?i } }
Gabon Austria Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea Canada New Zealand Jamaica
11
action count
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 35
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?i ) AS ?r ) WHERE { FILTER ( ?v = 35 ) . { SELECT DISTINCT ?i ( COUNT ( ?c ) AS ?v ) WHERE { ?i property:diplomatic_relation ?c . ?i rdf:type ontology:political_territorial_entity . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?i } }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P17
Q15617994 Q223557 Q3947
USER
Which administrative territories are min number of physical objects and houses present in ?
(c(Q223557)|c(Q3947),P17,c(Q15617994))
action argmin
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q223557
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q3947
[[{'concept': 'Q223557'}, {'concept': 'Q3947'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( MIN ( ?w ) AS ?r ) { SELECT DISTINCT ( COUNT ( ?f ) AS ?w ) ?v WHERE { { ?f property:P17 ?v . ?v rdf:type ontology:Q15617994 . ?f rdf:type ontology:Q223557 } UNION { ?f property:P17 ?v . ?f rdf:type ontology:Q3947 . ?v rdf:type ontology:Q15617994 } } GROUP BY ?v } } . { SELECT DISTINCT ( COUNT ( ?e ) AS ?c ) ?t WHERE { { ?e property:P17 ?t . ?t rdf:type ontology:Q15617994 . ?e rdf:type ontology:Q223557 } UNION { ?e property:P17 ?t . ?e rdf:type ontology:Q3947 . ?t rdf:type ontology:Q15617994 } } GROUP BY ?t } . FILTER ( ?c = ?r ) }
action argmin
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type physical object
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type house
[[{'concept': 'physical object'}, {'concept': 'house'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( MIN ( ?w ) AS ?r ) { SELECT DISTINCT ( COUNT ( ?f ) AS ?w ) ?v WHERE { { ?f property:country ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?f rdf:type ontology:physical_object } UNION { ?f property:country ?v . ?f rdf:type ontology:house . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?v } } . { SELECT DISTINCT ( COUNT ( ?e ) AS ?c ) ?t WHERE { { ?e property:country ?t . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . ?e rdf:type ontology:physical_object } UNION { ?e property:country ?t . ?e rdf:type ontology:house . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?t } . FILTER ( ?c = ?r ) }
[]
designation for an administrative territorial entity physical object house
Q347 Q948 Q929
SYSTEM
Liechtenstein, Tunisia, Central African Republic
Q1256 Q709 Q339952 Q270508 Q684030 Q2172530 Q12536 Q784 Q640426 Q36678 Q736029 Q565812 Q187035 Q1462 Q792 Q790 Q517333 Q2001966 Q326029 Q153529 Q695316 Q165040 Q315667 Q153136 Q1210 Q155019 Q29999 Q819 Q107426 Q730 Q159626 Q238 Q1041 Q177323 Q313175 Q149621 Q1029 Q34762 Q1458 Q3462133 Q221 Q815731 Q47261 Q347 Q704288 Q10957559 Q1032 Q967 Q389004 Q1013 Q160307 Q164092 Q1483510 Q2662372 Q916 Q1007 Q829700 Q1008 Q239502 Q15581 Q2380910 Q193152 Q655621 Q2502354 Q154849 Q159856 Q2621010 Q696651 Q948 Q148499 Q8575586 Q529605 Q33788 Q929 Q11024667 Q426025
(c(Q223557)|c(Q3947),P17,c(Q15617994))
action argmin
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q223557
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q3947
[ANSWERS] are min number of physical objects and houses present in
[[{'concept': 'Q223557'}, {'concept': 'Q3947'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( MIN ( ?w ) AS ?r ) { SELECT DISTINCT ( COUNT ( ?f ) AS ?w ) ?v WHERE { { ?f property:P17 ?v . ?v rdf:type ontology:Q15617994 . ?f rdf:type ontology:Q223557 } UNION { ?f property:P17 ?v . ?f rdf:type ontology:Q3947 . ?v rdf:type ontology:Q15617994 } } GROUP BY ?v } } . { SELECT DISTINCT ( COUNT ( ?e ) AS ?c ) ?t WHERE { { ?e property:P17 ?t . ?t rdf:type ontology:Q15617994 . ?e rdf:type ontology:Q223557 } UNION { ?e property:P17 ?t . ?e rdf:type ontology:Q3947 . ?t rdf:type ontology:Q15617994 } } GROUP BY ?t } . FILTER ( ?c = ?r ) }
Liguria Marshall Islands Principality of Orange-Nassau Andora Principality of Serbia Electorate of Württemberg Abbasid caliphate Dominica Stahnsdorf West Bank Nassau-Siegen Principality of Calenberg Principality of Albania Sardinia El Salvador Haiti Principality of Polotsk Company rule in India Duchy of Brunswick Duchy of Milan Schwarzburg-Rudolstadt Duchy of Parma Saxe-Weimar Habsburg Empire Lombardy Duchy of Lorraine Kingdom of the Netherlands Laos Anjou Suriname Württemberg San Marino Senegal developing country Saxe-Lauenburg district Mozambique Principality of Bayreuth Calabria Saxe-Coburg and Gotha Republic of Macedonia Principality of Bulgaria Duchy of Bavaria Liechtenstein Duchy of Holstein Moldavia Niger Burundi Wallachia Lesotho Fatimid caliphate Duchy of Saxony Principality of Wales Principality of Minsk Angola Guinea-Bissau Saxe-Jena Côte d'Ivoire Kingdom of Galicia–Volhynia Principality of Catalonia Duchy of Zaslawye Great Moravia Principality of Transylvania Principality of Goroden Grand Duchy of Tuscany Duchy of Brabant Principality of Vitebsk Saxe-Eisenach Tunisia Margraviate of Brandenburg Umayyad Caliphate Electorate of Hesse New Caledonia Central African Republic Duchy of Mecklenburg-Schwerin Duchy of Savoy
Liechtenstein, Tunisia and Central African Republic are min number of physical objects and houses present in
Liechtenstein Tunisia Central African Republic
action argmin
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type physical object
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type house
[[{'concept': 'physical object'}, {'concept': 'house'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( MIN ( ?w ) AS ?r ) { SELECT DISTINCT ( COUNT ( ?f ) AS ?w ) ?v WHERE { { ?f property:country ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?f rdf:type ontology:physical_object } UNION { ?f property:country ?v . ?f rdf:type ontology:house . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?v } } . { SELECT DISTINCT ( COUNT ( ?e ) AS ?c ) ?t WHERE { { ?e property:country ?t . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . ?e rdf:type ontology:physical_object } UNION { ?e property:country ?t . ?e rdf:type ontology:house . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?t } . FILTER ( ?c = ?r ) }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q183
P530
Q1048835
USER
Do Germany have diplomatic associations with those administrative territories ?
(Q183,P530,Q347) (Q183,P530,Q948) (Q183,P530,Q929)
action is_in
entity prev_answer
action find
entity Q183
relation P530
['Q183', 'P530', 'Q347'] ['Q183', 'P530', 'Q948'] ['Q183', 'P530', 'Q929']
ASK WHERE { resource:Q183 property:P530 ?d . VALUES ( ?d ) { ( resource:Q1256 ) ( resource:Q709 ) ( resource:Q339952 ) } }
Germany
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Liechtenstein'] ['Germany', 'diplomatic relation', 'Tunisia'] ['Germany', 'diplomatic relation', 'Central African Republic']
ASK WHERE { resource:Germany property:diplomatic_relation ?d . VALUES ( ?d ) { ( resource:Liguria ) ( resource:Marshall_Islands ) ( resource:Principality_of_Orange-Nassau ) } }
[]
political territorial entity
SYSTEM
YES
(Q183,P530,Q347) (Q183,P530,Q948) (Q183,P530,Q929)
action is_in
entity prev_answer
action find
entity Q183
relation P530
[ANSWER]
['Q183', 'P530', 'Q347'] ['Q183', 'P530', 'Q948'] ['Q183', 'P530', 'Q929']
ASK WHERE { resource:Q183 property:P530 ?d . VALUES ( ?d ) { ( resource:Q1256 ) ( resource:Q709 ) ( resource:Q339952 ) } }
Yes
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Liechtenstein'] ['Germany', 'diplomatic relation', 'Tunisia'] ['Germany', 'diplomatic relation', 'Central African Republic']
ASK WHERE { resource:Germany property:diplomatic_relation ?d . VALUES ( ?d ) { ( resource:Liguria ) ( resource:Marshall_Islands ) ( resource:Principality_of_Orange-Nassau ) } }
[]