Simple Question (Direct)
Simple Question
Q974122
P47
Q20667921
USER
Who share the border with Brugairolles ?
(Q974122,P47,c(Q20667921))
action filter_type
action find
entity Q974122
relation P47
type Q20667921
['Q974122', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?s WHERE { resource:Q974122 property:P47 ?s . ?s rdf:type ontology:Q20667921 }
Brugairolles
action filter_type
action find
entity Brugairolles
relation shares border with
type type of french administrative division
['Brugairolles', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?s WHERE { resource:Brugairolles property:shares_border_with ?s . ?s rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q177083 Q193773 Q568303
SYSTEM
Montréal, Routier, Cailhau
Q568303 Q200164 Q177083 Q193773 Q203948 Q1081718
(Q974122,P47,c(Q20667921))
action filter_type
action find
entity Q974122
relation P47
type Q20667921
[ANSWERS] share the border with Brugairolles
['Q974122', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?s WHERE { resource:Q974122 property:P47 ?s . ?s rdf:type ontology:Q20667921 }
Cailhau Cambieure Montréal Routier Malviès Villarzel-du-Razès
Montréal, Routier and Cailhau share the border with Brugairolles
Montréal Routier Cailhau
action filter_type
action find
entity Brugairolles
relation shares border with
type type of french administrative division
['Brugairolles', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?s WHERE { resource:Brugairolles property:shares_border_with ?s . ?s rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q177083
P1376
Q20667921
USER
What has Montréal as its capital ?
(Q177083,P1376,c(Q20667921))
action filter_type
action find
entity Q177083
relation P1376
type Q20667921
['Q177083', 'P1376', {'concept': 'Q20667921'}]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q20667921 . resource:Q177083 property:P1376 ?b }
Montréal
action filter_type
action find
entity Montréal
relation capital of
type type of french administrative division
['Montréal', 'capital of', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:type_of_french_administrative_division . resource:Montréal property:capital_of ?b }
[]
type of french administrative division
Q1302945
SYSTEM
canton of Montréal
Q1302945
(Q177083,P1376,c(Q20667921))
action filter_type
action find
entity Q177083
relation P1376
type Q20667921
The [ANSWER] has Montréal as its capital
['Q177083', 'P1376', {'concept': 'Q20667921'}]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q20667921 . resource:Q177083 property:P1376 ?b }
canton of Montréal
The canton of Montréal has Montréal as its capital
canton of Montréal
action filter_type
action find
entity Montréal
relation capital of
type type of french administrative division
['Montréal', 'capital of', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:type_of_french_administrative_division . resource:Montréal property:capital_of ?b }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6655 Q177083
P47 P421
Q20667921
USER
Which french administrative divisions share border with Montréal and have UTC+01:00 as their time zone ?
AND((c(Q20667921),P47,Q177083), (c(Q20667921),P421,Q6655))
action filter_type
action intersection
action find_reverse
entity Q177083
relation P47
action find_reverse
entity Q6655
relation P421
type Q20667921
{'AND': [[{'concept': 'Q20667921'}, 'P47', 'Q177083'], [{'concept': 'Q20667921'}, 'P421', 'Q6655']]}
SELECT DISTINCT ?m WHERE { ?m property:P421 resource:Q6655 . ?m property:P47 resource:Q177083 . ?m rdf:type ontology:Q20667921 }
UTC+01:00 Montréal
action filter_type
action intersection
action find_reverse
entity Montréal
relation shares border with
action find_reverse
entity UTC+01:00
relation located in time zone
type type of french administrative division
{'AND': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Montréal'], [{'concept': 'type of french administrative division'}, 'located in time zone', 'UTC+01:00']]}
SELECT DISTINCT ?m WHERE { ?m property:located_in_time_zone resource:UTC+01:00 . ?m property:shares_border_with resource:Montréal . ?m rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q568303 Q2049848 Q199478 Q1081936 Q1150790 Q990119 Q196492 Q200320 Q718429 Q1081718
SYSTEM
Some of them are Cailhau, Sainte-Eulalie, Bram, Villesiscle, Villeneuve-lès-Montréal, La Force, Alzonne, Cailhavel, Arzens, Villarzel-du-Razès
Q199478 Q1081936 Q2049848 Q196492 Q200320 Q974122 Q1150790 Q568303 Q718429 Q322334 Q1081718 Q990119
AND((c(Q20667921),P47,Q177083), (c(Q20667921),P421,Q6655))
action filter_type
action intersection
action find_reverse
entity Q177083
relation P47
action find_reverse
entity Q6655
relation P421
type Q20667921
[ANSWERS] share border with Montréal and have UTC+01:00 as their time zone
{'AND': [[{'concept': 'Q20667921'}, 'P47', 'Q177083'], [{'concept': 'Q20667921'}, 'P421', 'Q6655']]}
SELECT DISTINCT ?m WHERE { ?m property:P421 resource:Q6655 . ?m property:P47 resource:Q177083 . ?m rdf:type ontology:Q20667921 }
Bram Villesiscle Sainte-Eulalie Alzonne Cailhavel Brugairolles Villeneuve-lès-Montréal Cailhau Arzens Alairac Villarzel-du-Razès La Force
Cailhau, Sainte-Eulalie, Bram, Villesiscle, Villeneuve-lès-Montréal, La Force, Alzonne, Cailhavel, Arzens and Villarzel-du-Razès share border with Montréal and have UTC+01:00 as their time zone
Cailhau Sainte-Eulalie Bram Villesiscle Villeneuve-lès-Montréal La Force Alzonne Cailhavel Arzens Villarzel-du-Razès
action filter_type
action intersection
action find_reverse
entity Montréal
relation shares border with
action find_reverse
entity UTC+01:00
relation located in time zone
type type of french administrative division
{'AND': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Montréal'], [{'concept': 'type of french administrative division'}, 'located in time zone', 'UTC+01:00']]}
SELECT DISTINCT ?m WHERE { ?m property:located_in_time_zone resource:UTC+01:00 . ?m property:shares_border_with resource:Montréal . ?m rdf:type ontology:type_of_french_administrative_division }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type
Q3277505
P1376
Q20667921 Q486972
USER
How many human settlements are the capital of greater number of french administrative divisions than Temizhbekskaya ?
(c(Q486972),P1376,c(Q20667921))
action count
action greater
action find_tuple_counts
relation P1376
type Q486972
type Q20667921
action count
action filter_type
action find
entity Q3277505
relation P1376
type Q486972
[{'concept': 'Q486972'}, 'P1376', {'concept': 'Q20667921'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?h ) WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?u ) WHERE { resource:Q3277505 property:P1376 ?y . ?y rdf:type ontology:Q486972 } } . FILTER ( ?v > ?u ) . { SELECT DISTINCT ?d ( COUNT ( ?r ) AS ?v ) WHERE { ?d property:P1376 ?r . ?r rdf:type ontology:Q20667921 . ?d rdf:type ontology:Q486972 } GROUP BY ?d } }
Temizhbekskaya
action count
action greater
action find_tuple_counts
relation capital of
type human settlement
type type of french administrative division
action count
action filter_type
action find
entity Temizhbekskaya
relation capital of
type human settlement
[{'concept': 'human settlement'}, 'capital of', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?h ) WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?u ) WHERE { resource:Temizhbekskaya property:capital_of ?y . ?y rdf:type ontology:human_settlement } } . FILTER ( ?v > ?u ) . { SELECT DISTINCT ?d ( COUNT ( ?r ) AS ?v ) WHERE { ?d property:capital_of ?r . ?r rdf:type ontology:type_of_french_administrative_division . ?d rdf:type ontology:human_settlement } GROUP BY ?d } }
[]
type of french administrative division human settlement
SYSTEM
3
Q150039 Q323593 Q30940
(c(Q486972),P1376,c(Q20667921))
action count
action greater
action find_tuple_counts
relation P1376
type Q486972
type Q20667921
action count
action filter_type
action find
entity Q3277505
relation P1376
type Q486972
[ANSWER]
[{'concept': 'Q486972'}, 'P1376', {'concept': 'Q20667921'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?h ) WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?u ) WHERE { resource:Q3277505 property:P1376 ?y . ?y rdf:type ontology:Q486972 } } . FILTER ( ?v > ?u ) . { SELECT DISTINCT ?d ( COUNT ( ?r ) AS ?v ) WHERE { ?d property:P1376 ?r . ?r rdf:type ontology:Q20667921 . ?d rdf:type ontology:Q486972 } GROUP BY ?d } }
Neuf-Brisach Vitry-en-Artois Albert
3
action count
action greater
action find_tuple_counts
relation capital of
type human settlement
type type of french administrative division
action count
action filter_type
action find
entity Temizhbekskaya
relation capital of
type human settlement
[{'concept': 'human settlement'}, 'capital of', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?h ) WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?u ) WHERE { resource:Temizhbekskaya property:capital_of ?y . ?y rdf:type ontology:human_settlement } } . FILTER ( ?v > ?u ) . { SELECT DISTINCT ?d ( COUNT ( ?r ) AS ?v ) WHERE { ?d property:capital_of ?r . ?r rdf:type ontology:type_of_french_administrative_division . ?d rdf:type ontology:human_settlement } GROUP BY ?d } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type|Incomplete
Q16898273
P1376
Q20667921 Q486972
USER
And how about Mihăilești?
(c(Q486972),P1376,c(Q20667921))
action count
action greater
action find_tuple_counts
relation P1376
type Q486972
type Q20667921
action count
action filter_type
action find
entity Q16898273
relation P1376
type Q486972
[{'concept': 'Q486972'}, 'P1376', {'concept': 'Q20667921'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?a ) WHERE { { SELECT DISTINCT ?o ( COUNT ( ?l ) AS ?p ) WHERE { ?l rdf:type ontology:Q20667921 . ?o rdf:type ontology:Q486972 . ?o property:P1376 ?l } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?w ) WHERE { resource:Q16898273 property:P1376 ?x . ?x rdf:type ontology:Q486972 } } . FILTER ( ?p > ?w ) }
Mihăilești
action count
action greater
action find_tuple_counts
relation capital of
type human settlement
type type of french administrative division
action count
action filter_type
action find
entity Mihăilești
relation capital of
type human settlement
[{'concept': 'human settlement'}, 'capital of', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?a ) WHERE { { SELECT DISTINCT ?o ( COUNT ( ?l ) AS ?p ) WHERE { ?l rdf:type ontology:type_of_french_administrative_division . ?o rdf:type ontology:human_settlement . ?o property:capital_of ?l } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?w ) WHERE { resource:Mihăilești property:capital_of ?x . ?x rdf:type ontology:human_settlement } } . FILTER ( ?p > ?w ) }
[]
type of french administrative division human settlement
SYSTEM
3
Q150039 Q323593 Q30940
(c(Q486972),P1376,c(Q20667921))
action count
action greater
action find_tuple_counts
relation P1376
type Q486972
type Q20667921
action count
action filter_type
action find
entity Q16898273
relation P1376
type Q486972
[ANSWER]
[{'concept': 'Q486972'}, 'P1376', {'concept': 'Q20667921'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?a ) WHERE { { SELECT DISTINCT ?o ( COUNT ( ?l ) AS ?p ) WHERE { ?l rdf:type ontology:Q20667921 . ?o rdf:type ontology:Q486972 . ?o property:P1376 ?l } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?w ) WHERE { resource:Q16898273 property:P1376 ?x . ?x rdf:type ontology:Q486972 } } . FILTER ( ?p > ?w ) }
Neuf-Brisach Vitry-en-Artois Albert
3
action count
action greater
action find_tuple_counts
relation capital of
type human settlement
type type of french administrative division
action count
action filter_type
action find
entity Mihăilești
relation capital of
type human settlement
[{'concept': 'human settlement'}, 'capital of', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?a ) WHERE { { SELECT DISTINCT ?o ( COUNT ( ?l ) AS ?p ) WHERE { ?l rdf:type ontology:type_of_french_administrative_division . ?o rdf:type ontology:human_settlement . ?o property:capital_of ?l } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?w ) WHERE { resource:Mihăilești property:capital_of ?x . ?x rdf:type ontology:human_settlement } } . FILTER ( ?p > ?w ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P206
Q15324 Q355304 Q20667921
USER
How many french administrative divisions are situated close to exactly 1 bodies of water or watercourses ?
(c(Q20667921),P206,c(Q15324)|c(Q355304))
action count
action equal
action union
action find_tuple_counts
relation P206
type Q20667921
type Q15324
action find_tuple_counts
relation P206
type Q20667921
type Q355304
value 1
[{'concept': 'Q20667921'}, 'P206', [{'concept': 'Q15324'}, {'concept': 'Q355304'}]]
SELECT DISTINCT ( COUNT ( ?h ) AS ?g ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?o ) AS ?f ) WHERE { ?o rdf:type ?a . VALUES ( ?a ) { ( ontology:Q15324 ) ( ontology:Q355304 ) } } GROUP BY ?h } . FILTER ( ?f = 1 ) }
action count
action equal
action union
action find_tuple_counts
relation located next to body of water
type type of french administrative division
type body of water
action find_tuple_counts
relation located next to body of water
type type of french administrative division
type watercourse
value 1
[{'concept': 'type of french administrative division'}, 'located next to body of water', [{'concept': 'body of water'}, {'concept': 'watercourse'}]]
SELECT DISTINCT ( COUNT ( ?h ) AS ?g ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?o ) AS ?f ) WHERE { ?o rdf:type ?a . VALUES ( ?a ) { ( ontology:body_of_water ) ( ontology:watercourse ) } } GROUP BY ?h } . FILTER ( ?f = 1 ) }
[]
body of water watercourse type of french administrative division
SYSTEM
34
Q665411 Q245066 Q842027 Q30974 Q71356 Q1221458 Q236736 Q207253 Q380224 Q675318 Q1221814 Q849165 Q1073039 Q921780 Q1162138 Q1066836 Q391365 Q849065 Q849023 Q769160 Q513962 Q333447 Q323399 Q70491 Q231180 Q191765 Q738523 Q1075733 Q1217913 Q545015 Q662229 Q20892 Q273297 Q284445
(c(Q20667921),P206,c(Q15324)|c(Q355304))
action count
action equal
action union
action find_tuple_counts
relation P206
type Q20667921
type Q15324
action find_tuple_counts
relation P206
type Q20667921
type Q355304
value 1
[ANSWER]
[{'concept': 'Q20667921'}, 'P206', [{'concept': 'Q15324'}, {'concept': 'Q355304'}]]
SELECT DISTINCT ( COUNT ( ?h ) AS ?g ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?o ) AS ?f ) WHERE { ?o rdf:type ?a . VALUES ( ?a ) { ( ontology:Q15324 ) ( ontology:Q355304 ) } } GROUP BY ?h } . FILTER ( ?f = 1 ) }
Leffrinckoucke Chouvigny Rogliano Rouen Île-aux-Moines Saint-Quintin-sur-Sioule Vernon Mantes-la-Jolie Marck Bussières-et-Pruns Menat Saint-Bonnet-de-Rochefort Poses Val-de-Reuil Isches Grand-Fort-Philippe Bray-Dunes Bègues Mazerier Grande-Synthe Oye-Plage Aigueperse Gravelines Larmor-Baden Zuydcoote Anglet Saint-Gal-sur-Sioule La Roche-de-Glun Saint-Agoulin Chaptuzat Jenzat Le Mont-Saint-Michel Ébreuil Pontgibaud
34
action count
action equal
action union
action find_tuple_counts
relation located next to body of water
type type of french administrative division
type body of water
action find_tuple_counts
relation located next to body of water
type type of french administrative division
type watercourse
value 1
[{'concept': 'type of french administrative division'}, 'located next to body of water', [{'concept': 'body of water'}, {'concept': 'watercourse'}]]
SELECT DISTINCT ( COUNT ( ?h ) AS ?g ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?o ) AS ?f ) WHERE { ?o rdf:type ?a . VALUES ( ?a ) { ( ontology:body_of_water ) ( ontology:watercourse ) } } GROUP BY ?h } . FILTER ( ?f = 1 ) }
[]