Simple Question (Direct)
Simple Question
Q213885
P47
Q20667921
USER
Which french administrative divisions share border with Mazirot ?
(Q213885,P47,c(Q20667921))
action filter_type
action find
entity Q213885
relation P47
type Q20667921
['Q213885', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?m WHERE { resource:Q213885 property:P47 ?m . ?m rdf:type ontology:Q20667921 }
Mazirot
action filter_type
action find
entity Mazirot
relation shares border with
type type of french administrative division
['Mazirot', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?m WHERE { resource:Mazirot property:shares_border_with ?m . ?m rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q659969 Q1019938 Q1158678
SYSTEM
Mirecourt, Ambacourt, Avillers
Q1158678 Q903361 Q200627 Q1019938 Q223406 Q1385222 Q659969 Q224274
(Q213885,P47,c(Q20667921))
action filter_type
action find
entity Q213885
relation P47
type Q20667921
[ANSWERS] share border with Mazirot
['Q213885', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?m WHERE { resource:Q213885 property:P47 ?m . ?m rdf:type ontology:Q20667921 }
Avillers Villers Bettoncourt Ambacourt Chauffecourt Gircourt-lès-Viéville Mirecourt Poussay
Mirecourt, Ambacourt and Avillers share border with Mazirot
Mirecourt Ambacourt Avillers
action filter_type
action find
entity Mazirot
relation shares border with
type type of french administrative division
['Mazirot', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?m WHERE { resource:Mazirot property:shares_border_with ?m . ?m rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q659969 Q1019938 Q1158678
P47
Q20667921
USER
Which french administrative divisions share border with Mirecourt, Ambacourt and Avillers ?
(c(Q20667921),P47,Q659969) (c(Q20667921),P47,Q1019938) (c(Q20667921),P47,Q1158678)
action union
action filter_type
action find
entity Q659969
relation P47
type Q20667921
action filter_type
action find
entity Q1019938
relation P47
type Q20667921
action filter_type
action find
entity Q1158678
relation P47
type Q20667921
[{'concept': 'Q20667921'}, 'P47', 'Q659969'] [{'concept': 'Q20667921'}, 'P47', 'Q1019938'] [{'concept': 'Q20667921'}, 'P47', 'Q1158678']
SELECT DISTINCT ?s WHERE { { resource:Q659969 property:P47 ?s . ?s rdf:type ontology:Q20667921 } UNION { resource:Q1019938 property:P47 ?s . ?s rdf:type ontology:Q20667921 } }
Mirecourt Ambacourt Avillers
action union
action filter_type
action find
entity Mirecourt
relation shares border with
type type of french administrative division
action filter_type
action find
entity Ambacourt
relation shares border with
type type of french administrative division
action filter_type
action find
entity Avillers
relation shares border with
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'shares border with', 'Mirecourt'] [{'concept': 'type of french administrative division'}, 'shares border with', 'Ambacourt'] [{'concept': 'type of french administrative division'}, 'shares border with', 'Avillers']
SELECT DISTINCT ?s WHERE { { resource:Mirecourt property:shares_border_with ?s . ?s rdf:type ontology:type_of_french_administrative_division } UNION { resource:Ambacourt property:shares_border_with ?s . ?s rdf:type ontology:type_of_french_administrative_division } }
[]
type of french administrative division
Q213885 Q213885 Q213885
SYSTEM
Mazirot
Q195571 Q751791 Q224274 Q1461842 Q213885 Q1462324 Q903361 Q212210 Q1417828 Q1157780 Q1418213 Q231904 Q224274 Q839934 Q918444 Q388171 Q213885 Q387833 Q200627 Q223406 Q1158467 Q751791 Q1385222 Q213885 Q301534 Q903361 Q965774
(c(Q20667921),P47,Q659969) (c(Q20667921),P47,Q1019938) (c(Q20667921),P47,Q1158678)
action union
action filter_type
action find
entity Q659969
relation P47
type Q20667921
action filter_type
action find
entity Q1019938
relation P47
type Q20667921
action filter_type
action find
entity Q1158678
relation P47
type Q20667921
[ANSWER], [ANSWER] and [ANSWER] share border with Mirecourt, Ambacourt and Avillers
[{'concept': 'Q20667921'}, 'P47', 'Q659969'] [{'concept': 'Q20667921'}, 'P47', 'Q1019938'] [{'concept': 'Q20667921'}, 'P47', 'Q1158678']
SELECT DISTINCT ?s WHERE { { resource:Q659969 property:P47 ?s . ?s rdf:type ontology:Q20667921 } UNION { resource:Q1019938 property:P47 ?s . ?s rdf:type ontology:Q20667921 } }
Domvallier Vroville Poussay Remicourt Mazirot Ramecourt Villers Thiraucourt Domèvre-sous-Montfort Mattaincourt Pont-sur-Madon Diarville Poussay Puzieux Frenelle-la-Grande Vomécourt-sur-Madon Mazirot Bouzanville Bettoncourt Chauffecourt Bouxurulles Vroville Gircourt-lès-Viéville Mazirot Ahéville Villers Jorxey
Mazirot, Mazirot and Mazirot share border with Mirecourt, Ambacourt and Avillers
Mazirot Mazirot Mazirot
action union
action filter_type
action find
entity Mirecourt
relation shares border with
type type of french administrative division
action filter_type
action find
entity Ambacourt
relation shares border with
type type of french administrative division
action filter_type
action find
entity Avillers
relation shares border with
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'shares border with', 'Mirecourt'] [{'concept': 'type of french administrative division'}, 'shares border with', 'Ambacourt'] [{'concept': 'type of french administrative division'}, 'shares border with', 'Avillers']
SELECT DISTINCT ?s WHERE { { resource:Mirecourt property:shares_border_with ?s . ?s rdf:type ontology:type_of_french_administrative_division } UNION { resource:Ambacourt property:shares_border_with ?s . ?s rdf:type ontology:type_of_french_administrative_division } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q213885
P17
Q15617994
USER
Which administrative territory is Mazirot situated in ?
(Q213885,P17,c(Q15617994))
action filter_type
action find
entity Q213885
relation P17
type Q15617994
['Q213885', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?p WHERE { resource:Q213885 property:P17 ?p . ?p rdf:type ontology:Q15617994 }
Mazirot
action filter_type
action find
entity Mazirot
relation country
type designation for an administrative territorial entity
['Mazirot', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { resource:Mazirot property:country ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142
SYSTEM
France
Q142
(Q213885,P17,c(Q15617994))
action filter_type
action find
entity Q213885
relation P17
type Q15617994
Mazirot is situated in [ANSWER]
['Q213885', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?p WHERE { resource:Q213885 property:P17 ?p . ?p rdf:type ontology:Q15617994 }
France
Mazirot is situated in France
France
action filter_type
action find
entity Mazirot
relation country
type designation for an administrative territorial entity
['Mazirot', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { resource:Mazirot property:country ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q142 Q993908
P17
Q20667921
USER
Is Molles located in that administrative territory ?
(Q993908,P17,Q142)
action is_in
entity Q142
action find
entity Q993908
relation P17
['Q993908', 'P17', 'Q142']
ASK WHERE { resource:Q993908 property:P17 resource:Q142 }
France Molles
action is_in
entity France
action find
entity Molles
relation country
['Molles', 'country', 'France']
ASK WHERE { resource:Molles property:country resource:France }
[]
type of french administrative division
SYSTEM
YES
(Q993908,P17,Q142)
action is_in
entity Q142
action find
entity Q993908
relation P17
[ANSWER]
['Q993908', 'P17', 'Q142']
ASK WHERE { resource:Q993908 property:P17 resource:Q142 }
Yes
action is_in
entity France
action find
entity Molles
relation country
['Molles', 'country', 'France']
ASK WHERE { resource:Molles property:country resource:France }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1158678 Q142
P17
Q15617994
USER
Is Avillers located in France ?
(Q1158678,P17,Q142)
action is_in
entity Q142
action find
entity Q1158678
relation P17
['Q1158678', 'P17', 'Q142']
ASK WHERE { resource:Q1158678 property:P17 resource:Q142 }
Avillers France
action is_in
entity France
action find
entity Avillers
relation country
['Avillers', 'country', 'France']
ASK WHERE { resource:Avillers property:country resource:France }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q1158678,P17,Q142)
action is_in
entity Q142
action find
entity Q1158678
relation P17
[ANSWER]
['Q1158678', 'P17', 'Q142']
ASK WHERE { resource:Q1158678 property:P17 resource:Q142 }
Yes
action is_in
entity France
action find
entity Avillers
relation country
['Avillers', 'country', 'France']
ASK WHERE { resource:Avillers property:country resource:France }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P206
Q1267889 Q15324 Q15617994
USER
Which administrative territories are located next to exactly 3 waterways and bodies of water ?
(c(Q15617994),P206,c(Q1267889)|c(Q15324))
action equal
action union
action find_tuple_counts
relation P206
type Q15617994
type Q1267889
action find_tuple_counts
relation P206
type Q15617994
type Q15324
value 3
[{'concept': 'Q15617994'}, 'P206', [{'concept': 'Q1267889'}, {'concept': 'Q15324'}]]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?y ) AS ?x ) WHERE { VALUES ( ?r ) { ( ontology:Q1267889 ) ( ontology:Q15324 ) } . ?y rdf:type ?r } GROUP BY ?u } . FILTER ( ?x = 3 ) }
action equal
action union
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type waterway
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type body of water
value 3
[{'concept': 'designation for an administrative territorial entity'}, 'located next to body of water', [{'concept': 'waterway'}, {'concept': 'body of water'}]]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?y ) AS ?x ) WHERE { VALUES ( ?r ) { ( ontology:waterway ) ( ontology:body_of_water ) } . ?y rdf:type ?r } GROUP BY ?u } . FILTER ( ?x = 3 ) }
[]
waterway body of water designation for an administrative territorial entity
Q801
SYSTEM
Israel
Q801
(c(Q15617994),P206,c(Q1267889)|c(Q15324))
action equal
action union
action find_tuple_counts
relation P206
type Q15617994
type Q1267889
action find_tuple_counts
relation P206
type Q15617994
type Q15324
value 3
[ANSWER] is located next to exactly 3 waterways and bodies of water
[{'concept': 'Q15617994'}, 'P206', [{'concept': 'Q1267889'}, {'concept': 'Q15324'}]]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?y ) AS ?x ) WHERE { VALUES ( ?r ) { ( ontology:Q1267889 ) ( ontology:Q15324 ) } . ?y rdf:type ?r } GROUP BY ?u } . FILTER ( ?x = 3 ) }
Israel
Israel is located next to exactly 3 waterways and bodies of water
Israel
action equal
action union
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type waterway
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type body of water
value 3
[{'concept': 'designation for an administrative territorial entity'}, 'located next to body of water', [{'concept': 'waterway'}, {'concept': 'body of water'}]]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?y ) AS ?x ) WHERE { VALUES ( ?r ) { ( ontology:waterway ) ( ontology:body_of_water ) } . ?y rdf:type ?r } GROUP BY ?u } . FILTER ( ?x = 3 ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q36
P530
Q15617994 Q15617994
USER
Which administrative territories have ambassadorial relations with approximately the same number of administrative territories as Poland ?
(c(Q15617994),P530,c(Q15617994))
action approx
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find
entity Q36
relation P530
type Q15617994
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?s ) WHERE { ?c rdf:type ontology:Q15617994 . resource:Q36 property:P530 ?c } } . FILTER ( ?j = ?s ) . { SELECT DISTINCT ?i ( COUNT ( ?g ) AS ?j ) WHERE { ?i rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q15617994 . ?i property:P530 ?g } GROUP BY ?i } }
Poland
action approx
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Poland
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?s ) WHERE { ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Poland property:diplomatic_relation ?c } } . FILTER ( ?j = ?s ) . { SELECT DISTINCT ?i ( COUNT ( ?g ) AS ?j ) WHERE { ?i rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:designation_for_an_administrative_territorial_entity . ?i property:diplomatic_relation ?g } GROUP BY ?i } }
[]
designation for an administrative territorial entity designation for an administrative territorial entity
Q55 Q36 Q148
SYSTEM
Netherlands, Poland, People's Republic of China
Q702 Q804 Q800 Q419 Q668 Q414 Q55 Q145 Q262 Q148 Q783 Q265 Q37 Q712 Q711 Q717 Q837 Q252 Q399 Q398 Q403 Q657 Q258 Q45 Q43 Q41 Q792 Q790 Q796 Q794 Q954 Q889 Q884 Q958 Q881 Q986 Q822 Q241 Q242 Q244 Q811 Q33 Q32 Q31 Q924 Q36 Q34 Q928 Q39 Q739 Q423 Q983 Q851 Q733 Q29999 Q854 Q734 Q819 Q424 Q730 Q736 Q236 Q232 Q233 Q238 Q20 Q1045 Q1041 Q27 Q28 Q921 Q1049 Q1027 Q1020 Q189 Q843 Q842 Q1029 Q1028 Q786 Q228 Q227 Q225 Q224 Q222 Q221 Q96 Q229 Q347 Q17 Q902 Q1036 Q1037 Q974 Q1032 Q1033 Q1030 Q191 Q965 Q967 Q962 Q963 Q697 Q298 Q695 Q115 Q117 Q754 Q750 Q212 Q213 Q211 Q217 Q214 Q215 Q218 Q219 Q912 Q917 Q916 Q1007 Q1006 Q1005 Q833 Q977 Q1009 Q1008 Q971 Q683 Q34020 Q686 Q836 Q574 Q79 Q77 Q878 Q774 Q948 Q817 Q810 Q1019 Q1016 Q1011 Q945 Q678 Q29 Q33788 Q869
(c(Q15617994),P530,c(Q15617994))
action approx
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find
entity Q36
relation P530
type Q15617994
[ANSWERS] have ambassadorial relations with approximately the same number of administrative territories as Poland
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?s ) WHERE { ?c rdf:type ontology:Q15617994 . resource:Q36 property:P530 ?c } } . FILTER ( ?j = ?s ) . { SELECT DISTINCT ?i ( COUNT ( ?g ) AS ?j ) WHERE { ?i rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q15617994 . ?i property:P530 ?g } GROUP BY ?i } }
Federated States of Micronesia Panama Costa Rica Peru India Argentina Netherlands United Kingdom Algeria People's Republic of China Honduras Uzbekistan Lithuania Fiji Mongolia Venezuela Nepal Indonesia Armenia Bahrain Serbia Chad South Africa Portugal Turkey Greece El Salvador Haiti Iraq Iran Zimbabwe Afghanistan South Korea South Sudan Vietnam Eritrea Lebanon Cuba Belize Barbados Nicaragua Finland Luxembourg Belgium Tanzania Poland Sweden Philippines Switzerland Colombia North Korea Equatorial Guinea Saudi Arabia Paraguay Kingdom of the Netherlands Sri Lanka Guyana Laos Cambodia Suriname Ecuador Montenegro Kazakhstan Malta San Marino Norway Somalia Senegal Ireland Hungary Brunei Sudan Mauritius Malawi Iceland Pakistan Oman Mozambique Morocco Dominican Republic Andorra Azerbaijan Bosnia and Herzegovina Croatia Albania Republic of Macedonia Mexico Cyprus Liechtenstein Japan Bangladesh Uganda Rwanda Democratic Republic of the Congo Niger Nigeria Namibia Estonia Burkina Faso Burundi Benin Botswana Nauru Chile Palau Ethiopia Ghana Trinidad and Tobago Bolivia Ukraine Czech Republic Latvia Republic of Moldova Slovakia Slovenia Romania Bulgaria Mali Bhutan Angola Guinea-Bissau Guinea Gambia Malaysia Djibouti Cameroon Côte d'Ivoire Republic of the Congo Samoa Niue Vanuatu Myanmar East Timor Egypt Uruguay United Arab Emirates Guatemala Tunisia Kuwait Jordan Madagascar Libya Cape Verde Togo Tonga Spain New Caledonia Thailand
Netherlands, Poland and People's Republic of China have ambassadorial relations with approximately the same number of administrative territories as Poland
Netherlands Poland People's Republic of China
action approx
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Poland
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?s ) WHERE { ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Poland property:diplomatic_relation ?c } } . FILTER ( ?j = ?s ) . { SELECT DISTINCT ?i ( COUNT ( ?g ) AS ?j ) WHERE { ?i rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:designation_for_an_administrative_territorial_entity . ?i property:diplomatic_relation ?g } GROUP BY ?i } }
[]