Simple Question (Direct)
Simple Question
Q1411543
P47
Q20667921
USER
Which french administrative divisions have a shared border with Réaumur ?
(Q1411543,P47,c(Q20667921))
action filter_type
action find
entity Q1411543
relation P47
type Q20667921
['Q1411543', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?p WHERE { resource:Q1411543 property:P47 ?p . ?p rdf:type ontology:Q20667921 }
Réaumur
action filter_type
action find
entity Réaumur
relation shares border with
type type of french administrative division
['Réaumur', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?p WHERE { resource:Réaumur property:shares_border_with ?p . ?p rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1415047 Q638782 Q975815
SYSTEM
Saint-Pierre-du-Chemin, La Meilleraie-Tillay, Tallud-Sainte-Gemme
Q975815 Q1102515 Q1420264 Q1468690 Q1415047 Q1412597 Q638782
(Q1411543,P47,c(Q20667921))
action filter_type
action find
entity Q1411543
relation P47
type Q20667921
[ANSWERS] have a shared border with Réaumur
['Q1411543', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?p WHERE { resource:Q1411543 property:P47 ?p . ?p rdf:type ontology:Q20667921 }
Tallud-Sainte-Gemme Cheffois Montournais Saint-Germain-l'Aiguiller Saint-Pierre-du-Chemin Menomblet La Meilleraie-Tillay
Saint-Pierre-du-Chemin, La Meilleraie-Tillay and Tallud-Sainte-Gemme have a shared border with Réaumur
Saint-Pierre-du-Chemin La Meilleraie-Tillay Tallud-Sainte-Gemme
action filter_type
action find
entity Réaumur
relation shares border with
type type of french administrative division
['Réaumur', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?p WHERE { resource:Réaumur property:shares_border_with ?p . ?p rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q1415047 Q638782 Q975815
P17
Q15617994
USER
Which administrative territories are Saint-Pierre-du-Chemin, La Meilleraie-Tillay and Tallud-Sainte-Gemme a part of ?
(Q1415047,P17,c(Q15617994)) (Q638782,P17,c(Q15617994)) (Q975815,P17,c(Q15617994))
action union
action filter_type
action find
entity Q1415047
relation P17
type Q15617994
action filter_type
action find
entity Q638782
relation P17
type Q15617994
action filter_type
action find
entity Q975815
relation P17
type Q15617994
['Q1415047', 'P17', {'concept': 'Q15617994'}] ['Q638782', 'P17', {'concept': 'Q15617994'}] ['Q975815', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?j WHERE { { resource:Q1415047 property:P17 ?j . ?j rdf:type ontology:Q15617994 } UNION { ?j rdf:type ontology:Q15617994 . resource:Q638782 property:P17 ?j } }
Saint-Pierre-du-Chemin La Meilleraie-Tillay Tallud-Sainte-Gemme
action union
action filter_type
action find
entity Saint-Pierre-du-Chemin
relation country
type designation for an administrative territorial entity
action filter_type
action find
entity La Meilleraie-Tillay
relation country
type designation for an administrative territorial entity
action filter_type
action find
entity Tallud-Sainte-Gemme
relation country
type designation for an administrative territorial entity
['Saint-Pierre-du-Chemin', 'country', {'concept': 'designation for an administrative territorial entity'}] ['La Meilleraie-Tillay', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Tallud-Sainte-Gemme', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?j WHERE { { resource:Saint-Pierre-du-Chemin property:country ?j . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?j rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:La_Meilleraie-Tillay property:country ?j } }
[]
designation for an administrative territorial entity
Q142 Q142 Q142
SYSTEM
France
Q142 Q142 Q142
(Q1415047,P17,c(Q15617994)) (Q638782,P17,c(Q15617994)) (Q975815,P17,c(Q15617994))
action union
action filter_type
action find
entity Q1415047
relation P17
type Q15617994
action filter_type
action find
entity Q638782
relation P17
type Q15617994
action filter_type
action find
entity Q975815
relation P17
type Q15617994
Which administrative territories are Saint-Pierre-du-Chemin, La Meilleraie-Tillay and Tallud-Sainte-Gemme a part of
['Q1415047', 'P17', {'concept': 'Q15617994'}] ['Q638782', 'P17', {'concept': 'Q15617994'}] ['Q975815', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?j WHERE { { resource:Q1415047 property:P17 ?j . ?j rdf:type ontology:Q15617994 } UNION { ?j rdf:type ontology:Q15617994 . resource:Q638782 property:P17 ?j } }
France France France
Which administrative territories are Saint-Pierre-du-Chemin, La Meilleraie-Tillay and Tallud-Sainte-Gemme a part of
France France France
action union
action filter_type
action find
entity Saint-Pierre-du-Chemin
relation country
type designation for an administrative territorial entity
action filter_type
action find
entity La Meilleraie-Tillay
relation country
type designation for an administrative territorial entity
action filter_type
action find
entity Tallud-Sainte-Gemme
relation country
type designation for an administrative territorial entity
['Saint-Pierre-du-Chemin', 'country', {'concept': 'designation for an administrative territorial entity'}] ['La Meilleraie-Tillay', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Tallud-Sainte-Gemme', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?j WHERE { { resource:Saint-Pierre-du-Chemin property:country ?j . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?j rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:La_Meilleraie-Tillay property:country ?j } }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q11403177
Q15617994
USER
And also tell me about Hokkaido Prefectural Road Route 117?
(Q11403177,P17,c(Q15617994))
action filter_type
action find
entity Q11403177
relation P17
type Q15617994
['Q11403177', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q15617994 . resource:Q11403177 property:P17 ?r }
Hokkaido Prefectural Road Route 117
action filter_type
action find
entity Hokkaido Prefectural Road Route 117
relation country
type designation for an administrative territorial entity
['Hokkaido Prefectural Road Route 117', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Hokkaido_Prefectural_Road_Route_117 property:country ?r }
[]
designation for an administrative territorial entity
Q17
SYSTEM
Japan
Q17
(Q11403177,P17,c(Q15617994))
action filter_type
action find
entity Q11403177
relation P17
type Q15617994
[ANSWER]
['Q11403177', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q15617994 . resource:Q11403177 property:P17 ?r }
Japan
Japan
action filter_type
action find
entity Hokkaido Prefectural Road Route 117
relation country
type designation for an administrative territorial entity
['Hokkaido Prefectural Road Route 117', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Hokkaido_Prefectural_Road_Route_117 property:country ?r }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q17 Q183
P530
Q1048835
USER
Does Germany hold diplomatic relationship with that administrative territory ?
(Q17,P530,Q183)
action is_in
entity Q183
action find
entity Q17
relation P530
['Q17', 'P530', 'Q183']
ASK WHERE { resource:Q17 property:P530 resource:Q183 }
Japan Germany
action is_in
entity Germany
action find
entity Japan
relation diplomatic relation
['Japan', 'diplomatic relation', 'Germany']
ASK WHERE { resource:Japan property:diplomatic_relation resource:Germany }
[]
political territorial entity
SYSTEM
YES
(Q17,P530,Q183)
action is_in
entity Q183
action find
entity Q17
relation P530
[ANSWER]
['Q17', 'P530', 'Q183']
ASK WHERE { resource:Q17 property:P530 resource:Q183 }
Yes
action is_in
entity Germany
action find
entity Japan
relation diplomatic relation
['Japan', 'diplomatic relation', 'Germany']
ASK WHERE { resource:Japan property:diplomatic_relation resource:Germany }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q638782 Q665439
P47
Q20667921
USER
Does Gondecourt have a shared border with La Meilleraie-Tillay ?
(Q638782,P47,Q665439)
action is_in
entity Q665439
action find
entity Q638782
relation P47
['Q638782', 'P47', 'Q665439']
ASK WHERE { resource:Q638782 property:P47 resource:Q665439 }
La Meilleraie-Tillay Gondecourt
action is_in
entity Gondecourt
action find
entity La Meilleraie-Tillay
relation shares border with
['La Meilleraie-Tillay', 'shares border with', 'Gondecourt']
ASK WHERE { resource:La_Meilleraie-Tillay property:shares_border_with resource:Gondecourt }
[]
type of french administrative division
SYSTEM
NO
(Q638782,P47,Q665439)
action is_in
entity Q665439
action find
entity Q638782
relation P47
[ANSWER]
['Q638782', 'P47', 'Q665439']
ASK WHERE { resource:Q638782 property:P47 resource:Q665439 }
No
action is_in
entity Gondecourt
action find
entity La Meilleraie-Tillay
relation shares border with
['La Meilleraie-Tillay', 'shares border with', 'Gondecourt']
ASK WHERE { resource:La_Meilleraie-Tillay property:shares_border_with resource:Gondecourt }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q1001582
P206
Q1267889 Q15324 Q20667921
USER
Which french administrative divisions are located in the neighbourhood of approximately the same number of waterways and bodies of water as Batz-sur-Mer ?
(c(Q20667921),P206,c(Q1267889)|c(Q15324))
action approx
action union
action find_tuple_counts
relation P206
type Q20667921
type Q1267889
action find_tuple_counts
relation P206
type Q20667921
type Q15324
action count
action filter_multi_types
action find
entity Q1001582
relation P206
type Q1267889
type Q15324
[{'concept': 'Q20667921'}, 'P206', [{'concept': 'Q1267889'}, {'concept': 'Q15324'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?y ) AS ?v ) WHERE { { ?z rdf:type ontology:Q20667921 . ?y rdf:type ontology:Q1267889 . ?z property:P206 ?y } UNION { ?z property:P206 ?y . ?z rdf:type ontology:Q20667921 . ?y rdf:type ontology:Q15324 } } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?p ) WHERE { resource:Q1001582 property:P206 ?k . { ?k rdf:type ?d . VALUES ( ?d ) { ( ontology:Q15324 ) ( ontology:Q1267889 ) } } } } . FILTER ( ?v = ?p ) }
Batz-sur-Mer
action approx
action union
action find_tuple_counts
relation located next to body of water
type type of french administrative division
type waterway
action find_tuple_counts
relation located next to body of water
type type of french administrative division
type body of water
action count
action filter_multi_types
action find
entity Batz-sur-Mer
relation located next to body of water
type waterway
type body of water
[{'concept': 'type of french administrative division'}, 'located next to body of water', [{'concept': 'waterway'}, {'concept': 'body of water'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?y ) AS ?v ) WHERE { { ?z rdf:type ontology:type_of_french_administrative_division . ?y rdf:type ontology:waterway . ?z property:located_next_to_body_of_water ?y } UNION { ?z property:located_next_to_body_of_water ?y . ?z rdf:type ontology:type_of_french_administrative_division . ?y rdf:type ontology:body_of_water } } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?p ) WHERE { resource:Batz-sur-Mer property:located_next_to_body_of_water ?k . { ?k rdf:type ?d . VALUES ( ?d ) { ( ontology:body_of_water ) ( ontology:waterway ) } } } } . FILTER ( ?v = ?p ) }
[]
waterway body of water type of french administrative division
Q30974 Q47045 Q249884
SYSTEM
Rouen, Saint-Denis, Saint-Pierre
Q3769 Q1649363 Q467030 Q245066 Q956943 Q30974 Q147606 Q429770 Q1221458 Q236736 Q266886 Q207253 Q675318 Q1014763 Q652100 Q1221814 Q849165 Q1073039 Q1326390 Q751619 Q921780 Q14112 Q1162138 Q47045 Q926768 Q1649370 Q849065 Q1617681 Q654000 Q249884 Q849023 Q333447 Q1014814 Q662942 Q738523 Q1075733 Q1217913 Q26583 Q545015 Q478215 Q1757048 Q1014771 Q1014731 Q44401 Q1001582 Q691092 Q662229 Q752535 Q1165029 Q273297 Q284445
(c(Q20667921),P206,c(Q1267889)|c(Q15324))
action approx
action union
action find_tuple_counts
relation P206
type Q20667921
type Q1267889
action find_tuple_counts
relation P206
type Q20667921
type Q15324
action count
action filter_multi_types
action find
entity Q1001582
relation P206
type Q1267889
type Q15324
[ANSWERS] are located in the neighbourhood of approximately the same number of waterways and bodies of water as Batz-sur-Mer
[{'concept': 'Q20667921'}, 'P206', [{'concept': 'Q1267889'}, {'concept': 'Q15324'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?y ) AS ?v ) WHERE { { ?z rdf:type ontology:Q20667921 . ?y rdf:type ontology:Q1267889 . ?z property:P206 ?y } UNION { ?z property:P206 ?y . ?z rdf:type ontology:Q20667921 . ?y rdf:type ontology:Q15324 } } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?p ) WHERE { resource:Q1001582 property:P206 ?k . { ?k rdf:type ?d . VALUES ( ?d ) { ( ontology:Q15324 ) ( ontology:Q1267889 ) } } } } . FILTER ( ?v = ?p ) }
French Guiana Saint-Leu L'Île-Rousse Chouvigny Le Port Rouen Fort-Mahon-Plage La Possession Saint-Quintin-sur-Sioule Vernon Sisco Mantes-la-Jolie Bussières-et-Pruns Trois-Bassins Saint-Philippe Menat Saint-Bonnet-de-Rochefort Poses Petite-Île Sérignan Val-de-Reuil Corsica Isches Saint-Denis Tahaa Saint-André Bègues Saint-Louis Monticello Saint-Pierre Mazerier Aigueperse Les Avirons Sainte-Marie Saint-Gal-sur-Sioule La Roche-de-Glun Saint-Agoulin Béhuard Chaptuzat Saint-Benoît Sainte-Suzanne L'Étang-Salé Sainte-Rose Cayenne Batz-sur-Mer Bras-Panon Jenzat Valras-Plage Le Pouliguen Ébreuil Pontgibaud
Rouen, Saint-Denis and Saint-Pierre are located in the neighbourhood of approximately the same number of waterways and bodies of water as Batz-sur-Mer
Rouen Saint-Denis Saint-Pierre
action approx
action union
action find_tuple_counts
relation located next to body of water
type type of french administrative division
type waterway
action find_tuple_counts
relation located next to body of water
type type of french administrative division
type body of water
action count
action filter_multi_types
action find
entity Batz-sur-Mer
relation located next to body of water
type waterway
type body of water
[{'concept': 'type of french administrative division'}, 'located next to body of water', [{'concept': 'waterway'}, {'concept': 'body of water'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?y ) AS ?v ) WHERE { { ?z rdf:type ontology:type_of_french_administrative_division . ?y rdf:type ontology:waterway . ?z property:located_next_to_body_of_water ?y } UNION { ?z property:located_next_to_body_of_water ?y . ?z rdf:type ontology:type_of_french_administrative_division . ?y rdf:type ontology:body_of_water } } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?p ) WHERE { resource:Batz-sur-Mer property:located_next_to_body_of_water ?k . { ?k rdf:type ?d . VALUES ( ?d ) { ( ontology:body_of_water ) ( ontology:waterway ) } } } } . FILTER ( ?v = ?p ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q34
P206
Q15324 Q337567 Q15617994
USER
Which administrative territories are located next to less number of bodies of water or still waterss than Sweden ?
(c(Q15617994),P206,c(Q15324)|c(Q337567))
action less
action union
action find_tuple_counts
relation P206
type Q15617994
type Q15324
action find_tuple_counts
relation P206
type Q15617994
type Q337567
action count
action filter_multi_types
action find
entity Q34
relation P206
type Q15324
type Q337567
[{'concept': 'Q15617994'}, 'P206', [{'concept': 'Q15324'}, {'concept': 'Q337567'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?x ) AS ?u ) WHERE { VALUES ( ?e ) { ( ontology:Q15324 ) ( ontology:Q337567 ) } . ?x rdf:type ?e } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?s ) WHERE { resource:Q34 property:P206 ?p . { { ?p rdf:type ontology:Q337567 } UNION { ?p rdf:type ontology:Q15324 } } } } . FILTER ( ?u < ?s ) }
Sweden
action less
action union
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type body of water
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type still waters
action count
action filter_multi_types
action find
entity Sweden
relation located next to body of water
type body of water
type still waters
[{'concept': 'designation for an administrative territorial entity'}, 'located next to body of water', [{'concept': 'body of water'}, {'concept': 'still waters'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?x ) AS ?u ) WHERE { VALUES ( ?e ) { ( ontology:body_of_water ) ( ontology:still_waters ) } . ?x rdf:type ?e } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?s ) WHERE { resource:Sweden property:located_next_to_body_of_water ?p . { { ?p rdf:type ontology:still_waters } UNION { ?p rdf:type ontology:body_of_water } } } } . FILTER ( ?u < ?s ) }
[]
body of water still waters designation for an administrative territorial entity
Q347 Q29 Q213
SYSTEM
Liechtenstein, Spain, Czech Republic
Q505785 Q3066319 Q31872 Q668 Q525879 Q572949 Q267993 Q525864 Q487328 Q1604782 Q241358 Q2316529 Q525945 Q14859 Q508863 Q1650693 Q1009384 Q657 Q214 Q622487 Q4628 Q503693 Q4391124 Q528579 Q493924 Q555609 Q161258 Q491751 Q10903 Q11343 Q263451 Q442666 Q14825 Q3111694 Q216422 Q532046 Q7496670 Q307508 Q6685 Q3352704 Q252772 Q519663 Q2360428 Q255698 Q1984541 Q560870 Q621469 Q28 Q29 Q3088406 Q917406 Q511806 Q548982 Q14889 Q229 Q347 Q338094 Q3939 Q525889 Q622456 Q154322 Q509998 Q539787 Q7042 Q525900 Q507258 Q213 Q547059 Q269010 Q262684 Q573230 Q1604772 Q3923 Q174307 Q522992 Q522677 Q257859 Q252320 Q251778 Q895413 Q53742 Q567984 Q526087 Q1604766 Q7561974 Q948 Q2758 Q1974 Q573454 Q509536 Q4077862 Q1984544 Q494305 Q304745 Q542837 Q12056 Q4149191 Q7942378
(c(Q15617994),P206,c(Q15324)|c(Q337567))
action less
action union
action find_tuple_counts
relation P206
type Q15617994
type Q15324
action find_tuple_counts
relation P206
type Q15617994
type Q337567
action count
action filter_multi_types
action find
entity Q34
relation P206
type Q15324
type Q337567
[ANSWERS] are located next to less number of bodies of water or still waterss than Sweden
[{'concept': 'Q15617994'}, 'P206', [{'concept': 'Q15324'}, {'concept': 'Q337567'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?x ) AS ?u ) WHERE { VALUES ( ?e ) { ( ontology:Q15324 ) ( ontology:Q337567 ) } . ?x rdf:type ?e } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?s ) WHERE { resource:Q34 property:P206 ?p . { { ?p rdf:type ontology:Q337567 } UNION { ?p rdf:type ontology:Q15324 } } } } . FILTER ( ?u < ?s ) }
Pförring Fala-Beguets Moosburg an der Isar India Haundorf Solnhofen Muhr am See Höttingen Marktl Ulul Schleiden Noordpolderzijl Pfofeld Ansbach Mindelstetten Niamey III Weno Chad Slovakia Päwesin Faroe Islands Riedenburg Rakhlitsy Wörth an der Isar Pasewalk Magdala Clipperton Island Pfatter Finnentrop Wetter (Ruhr) Oberdolling Altmannstein Memmingen Gouraya, Tipaza Samsø Fischen Shillingford Yepifan Dorfhain Oneop Eichstätt Kösching Tijuana Municipality Abensberg Niamey II Owschlag Wennigsen Hungary Spain Front de Seine Niamey V North Slope Borough Heidenheim Schwabach Cyprus Liechtenstein Polsingen Dinslaken Westheim Lage South Bank Wellheim Markt Berolzheim Amberg Meinheim Kipfenberg Czech Republic Gnotzheim Neustadt an der Donau Füssen Beilngries Moch Bayreuth Essing Braunlage Nassenfels Cham Pleinfeld Vohburg Bowen Island Donauwörth Woleai Nennslingen Pisaras Sonning Eye Tunisia Mönchengladbach British Columbia Hedersleben Landau an der Isar Baranovskiy Niamey I Kelheim Niamey IV Ettenstatt Oschatz Grigorovo Voxna
Liechtenstein, Spain and Czech Republic are located next to less number of bodies of water or still waterss than Sweden
Liechtenstein Spain Czech Republic
action less
action union
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type body of water
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type still waters
action count
action filter_multi_types
action find
entity Sweden
relation located next to body of water
type body of water
type still waters
[{'concept': 'designation for an administrative territorial entity'}, 'located next to body of water', [{'concept': 'body of water'}, {'concept': 'still waters'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?x ) AS ?u ) WHERE { VALUES ( ?e ) { ( ontology:body_of_water ) ( ontology:still_waters ) } . ?x rdf:type ?e } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?s ) WHERE { resource:Sweden property:located_next_to_body_of_water ?p . { { ?p rdf:type ontology:still_waters } UNION { ?p rdf:type ontology:body_of_water } } } } . FILTER ( ?u < ?s ) }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P36
Q56061 Q515 Q15617994
USER
Which administrative territories consists of min number of administrative territories and cities as their capital ?
(c(Q15617994),P36,c(Q56061)|c(Q515))
action argmin
action union
action find_tuple_counts
relation P36
type Q15617994
type Q56061
action find_tuple_counts
relation P36
type Q15617994
type Q515
[{'concept': 'Q15617994'}, 'P36', [{'concept': 'Q56061'}, {'concept': 'Q515'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?c ) AS ?d ) WHERE { ?c rdf:type ?r . VALUES ( ?r ) { ( ontology:Q515 ) ( ontology:Q56061 ) } } GROUP BY ?z } . FILTER ( ?d = ?q ) . { SELECT DISTINCT ( MIN ( ?m ) AS ?q ) { SELECT DISTINCT ?y ( COUNT ( ?i ) AS ?m ) WHERE { VALUES ( ?u ) { ( ontology:Q56061 ) ( ontology:Q515 ) } . ?i rdf:type ?u } GROUP BY ?y } } }
action argmin
action union
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type administrative territorial entity
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type city
[{'concept': 'designation for an administrative territorial entity'}, 'capital', [{'concept': 'administrative territorial entity'}, {'concept': 'city'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?c ) AS ?d ) WHERE { ?c rdf:type ?r . VALUES ( ?r ) { ( ontology:city ) ( ontology:administrative_territorial_entity ) } } GROUP BY ?z } . FILTER ( ?d = ?q ) . { SELECT DISTINCT ( MIN ( ?m ) AS ?q ) { SELECT DISTINCT ?y ( COUNT ( ?i ) AS ?m ) WHERE { VALUES ( ?u ) { ( ontology:administrative_territorial_entity ) ( ontology:city ) } . ?i rdf:type ?u } GROUP BY ?y } } }
[]
administrative territorial entity city designation for an administrative territorial entity
Q224 Q739 Q965
SYSTEM
Croatia, Colombia, Burkina Faso
Q12631 Q2991354 Q3368 Q1111401 Q504637 Q2998020 Q3044731 Q2466631 Q12689 Q2527360 Q699731 Q3377 Q3372 Q1742192 Q3093 Q4464924 Q2344966 Q3259 Q12594 Q739 Q733 Q16628524 Q12798 Q12792 Q1284 Q1443 Q541811 Q1458 Q14551680 Q12700 Q12703 Q12709 Q12569 Q12574 Q12642 Q21296012 Q3216 Q3194 Q541589 Q12804 Q12808 Q1961264 Q3326 Q3286 Q12589 Q3266 Q3105 Q731547 Q33788 Q709 Q12740 Q12745 Q12779 Q2093388 Q12607 Q290739 Q598193 Q12576 Q1452646 Q2281221 Q1508919 Q12694 Q12515 Q12517 Q3364 Q3148 Q5613245 Q280312 Q12675 Q12584 Q12580 Q3131 Q12788 Q12784 Q12782 Q3118738 Q686312 Q697 Q12730 Q12736 Q2039306 Q662056 Q12657 Q12652 Q12556 Q694594 Q874 Q12816 Q4854468 Q2528268 Q3353 Q3357 Q492437 Q389004 Q492430 Q3278 Q3184 Q9073753 Q2900529 Q12772 Q1090678 Q19786899 Q1999970 Q155019 Q2348751 Q107426 Q511365 Q1270568 Q34762 Q793437 Q1270623 Q580447 Q10957559 Q965 Q962 Q2344833 Q3125 Q3120 Q3110307 Q12722 Q2039314 Q12553 Q12620 Q12626 Q12543 Q12563 Q426025 Q474421 Q3349 Q3083 Q3249 Q3164 Q12761 Q12765 Q224 Q691265 Q313175 Q3334 Q12572 Q2996404 Q12578 Q12679 Q3846423 Q176 Q161258 Q4496152 Q3514973 Q3113 Q12789 Q1234961 Q1222 Q5192588 Q672 Q12758 Q12753 Q12751 Q12564
(c(Q15617994),P36,c(Q56061)|c(Q515))
action argmin
action union
action find_tuple_counts
relation P36
type Q15617994
type Q56061
action find_tuple_counts
relation P36
type Q15617994
type Q515
[ANSWERS] consist of min number of administrative territories and cities as their capital
[{'concept': 'Q15617994'}, 'P36', [{'concept': 'Q56061'}, {'concept': 'Q515'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?c ) AS ?d ) WHERE { ?c rdf:type ?r . VALUES ( ?r ) { ( ontology:Q515 ) ( ontology:Q56061 ) } } GROUP BY ?z } . FILTER ( ?d = ?q ) . { SELECT DISTINCT ( MIN ( ?m ) AS ?q ) { SELECT DISTINCT ?y ( COUNT ( ?i ) AS ?m ) WHERE { VALUES ( ?u ) { ( ontology:Q56061 ) ( ontology:Q515 ) } . ?i rdf:type ?u } GROUP BY ?y } } }
Meuse Aquiles Serdán Municipality Essonne Kispest District Alta Verapaz Department Corse Guyane Chiautla de Tapia Municipality Pas-de-Calais Stura Wied Eure-et-Loir Eure King's Lynn and West Norfolk Aisne Tugulymsky District Netrokona District Cantal Marne Colombia Paraguay San Salvador el Verde municipality Vendée Vaucluse Abruzzo Molise Ems-Oriental Calabria Principality of Lippe Hautes-Pyrénées Pyrénées-Atlantiques Pyrénées-Orientales Loire Loiret Morbihan Amatitlán Aveyron Aube Ems-Supérieur Vienne Haute-Vienne Tecámac Municipality Corrèze Cher Manche Charente Vosges Lippe New Caledonia Marshall Islands Sarthe Savoie Tarn-et-Garonne Sunamganj District Haute-Marne Sesia Apennins Lot Montenotte Principality of Orange Marengo Puy-de-Dôme Gard Gers Drôme Ardèche Guadalupe Municipality Principality of Lüneburg Oise Maine-et-Loire Lozère Alpes-de-Haute-Provence Val-de-Marne Val-d'Oise Territoire de Belfort Guanentá Province Duchy of Amalfi Nauru Haute-Saône Saône-et-Loire Jamalpur District Cushamen Department Nièvre Moselle Indre-et-Loire Bremen-Verden Turkmenistan Yonne Bandava Mont-Blanc Creuse Dordogne Bouches-du-Weser Wallachia Bouches-de-l'Elbe Charente-Maritime Ariège San Vicente Tancuayalab municipality Bezirk Lothringen Tarn Sègre Magyaróvár District Upper Alsace Duchy of Lorraine Kurigram District Anjou Arvika Municipality Ems Principality of Bayreuth Bergantiños Meurthe Duchy of Styria Moldavia Burkina Faso Benin Kishoreganj District Hautes-Alpes Jura Golo Haut-Rhin Sherpur District Indre Mayenne Meurthe-et-Moselle Hauts-de-Seine Landes Duchy of Savoy Principality of Fürstenberg Côtes-d'Armor Ain Calvados Ardennes Seine-Saint-Denis Deux-Sèvres Croatia Mont-Terrible Saxe-Lauenburg Haute-Corse Haute-Loire Alushta municipality Lot-et-Garonne Orne Viesca Municipality Quebec Clipperton Island Khartsyzk Municipality Tanaro Allier Var Doire Aosta Valley Cuenca District, Huancavelica Tuvalu Seine-Maritime Seine-et-Marne Haute-Savoie Loir-et-Cher
Croatia, Colombia and Burkina Faso consist of min number of administrative territories and cities as their capital
Croatia Colombia Burkina Faso
action argmin
action union
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type administrative territorial entity
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type city
[{'concept': 'designation for an administrative territorial entity'}, 'capital', [{'concept': 'administrative territorial entity'}, {'concept': 'city'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?c ) AS ?d ) WHERE { ?c rdf:type ?r . VALUES ( ?r ) { ( ontology:city ) ( ontology:administrative_territorial_entity ) } } GROUP BY ?z } . FILTER ( ?d = ?q ) . { SELECT DISTINCT ( MIN ( ?m ) AS ?q ) { SELECT DISTINCT ?y ( COUNT ( ?i ) AS ?m ) WHERE { VALUES ( ?u ) { ( ontology:administrative_territorial_entity ) ( ontology:city ) } . ?i rdf:type ?u } GROUP BY ?y } } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q183
P530
Q1048835
USER
Do Germany have ambassadorial relations with those administrative territories ?
(Q183,P530,Q224) (Q183,P530,Q739) (Q183,P530,Q965)
action is_in
entity prev_answer
action find
entity Q183
relation P530
['Q183', 'P530', 'Q224'] ['Q183', 'P530', 'Q739'] ['Q183', 'P530', 'Q965']
ASK WHERE { resource:Q183 property:P530 ?g . VALUES ( ?g ) { ( resource:Q12631 ) ( resource:Q2991354 ) ( resource:Q3368 ) } }
Germany
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Croatia'] ['Germany', 'diplomatic relation', 'Colombia'] ['Germany', 'diplomatic relation', 'Burkina Faso']
ASK WHERE { resource:Germany property:diplomatic_relation ?g . VALUES ( ?g ) { ( resource:Meuse ) ( resource:Aquiles_Serdán_Municipality ) ( resource:Essonne ) } }
[]
political territorial entity
SYSTEM
YES
(Q183,P530,Q224) (Q183,P530,Q739) (Q183,P530,Q965)
action is_in
entity prev_answer
action find
entity Q183
relation P530
[ANSWER]
['Q183', 'P530', 'Q224'] ['Q183', 'P530', 'Q739'] ['Q183', 'P530', 'Q965']
ASK WHERE { resource:Q183 property:P530 ?g . VALUES ( ?g ) { ( resource:Q12631 ) ( resource:Q2991354 ) ( resource:Q3368 ) } }
Yes
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Croatia'] ['Germany', 'diplomatic relation', 'Colombia'] ['Germany', 'diplomatic relation', 'Burkina Faso']
ASK WHERE { resource:Germany property:diplomatic_relation ?g . VALUES ( ?g ) { ( resource:Meuse ) ( resource:Aquiles_Serdán_Municipality ) ( resource:Essonne ) } }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q17 Q408 Q1630629
P530
Q1048835
USER
Does Japan have ambassadorial relations with Australia and Villanueva del Campillo ?
(Q17,P530,Q408) (Q17,P530,Q1630629)
action is_in
entity Q17
action intersection
action find_reverse
entity Q408
relation P530
action find_reverse
entity Q1630629
relation P530
['Q17', 'P530', 'Q408'] ['Q17', 'P530', 'Q1630629']
ASK WHERE { resource:Q17 property:P530 resource:Q408 . resource:Q17 property:P530 resource:Q1630629 }
Japan Australia Villanueva del Campillo
action is_in
entity Japan
action intersection
action find_reverse
entity Australia
relation diplomatic relation
action find_reverse
entity Villanueva del Campillo
relation diplomatic relation
['Japan', 'diplomatic relation', 'Australia'] ['Japan', 'diplomatic relation', 'Villanueva del Campillo']
ASK WHERE { resource:Japan property:diplomatic_relation resource:Australia . resource:Japan property:diplomatic_relation resource:Villanueva_del_Campillo }
[]
political territorial entity
SYSTEM
YES and NO respectively
(Q17,P530,Q408) (Q17,P530,Q1630629)
action is_in
entity Q17
action intersection
action find_reverse
entity Q408
relation P530
action find_reverse
entity Q1630629
relation P530
[ANSWER]
['Q17', 'P530', 'Q408'] ['Q17', 'P530', 'Q1630629']
ASK WHERE { resource:Q17 property:P530 resource:Q408 . resource:Q17 property:P530 resource:Q1630629 }
YES and NO respectively
action is_in
entity Japan
action intersection
action find_reverse
entity Australia
relation diplomatic relation
action find_reverse
entity Villanueva del Campillo
relation diplomatic relation
['Japan', 'diplomatic relation', 'Australia'] ['Japan', 'diplomatic relation', 'Villanueva del Campillo']
ASK WHERE { resource:Japan property:diplomatic_relation resource:Australia . resource:Japan property:diplomatic_relation resource:Villanueva_del_Campillo }
[]