Simple Question (Direct)
Simple Question
Q40798
P17
Q15617994
USER
Which administrative territory is Sospirolo situated in ?
(Q40798,P17,c(Q15617994))
action filter_type
action find
entity Q40798
relation P17
type Q15617994
['Q40798', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?l WHERE { resource:Q40798 property:P17 ?l . ?l rdf:type ontology:Q15617994 }
Sospirolo
action filter_type
action find
entity Sospirolo
relation country
type designation for an administrative territorial entity
['Sospirolo', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?l WHERE { resource:Sospirolo property:country ?l . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q38
SYSTEM
Italy
Q38
(Q40798,P17,c(Q15617994))
action filter_type
action find
entity Q40798
relation P17
type Q15617994
Sospirolo is situated in [ANSWER]
['Q40798', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?l WHERE { resource:Q40798 property:P17 ?l . ?l rdf:type ontology:Q15617994 }
Italy
Sospirolo is situated in Italy
Italy
action filter_type
action find
entity Sospirolo
relation country
type designation for an administrative territorial entity
['Sospirolo', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?l WHERE { resource:Sospirolo property:country ?l . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q40798
P47
Q15617994
USER
Which administrative territories have an adjacent border with Sospirolo ?
(c(Q15617994),P47,Q40798)
action filter_type
action find
entity Q40798
relation P47
type Q15617994
[{'concept': 'Q15617994'}, 'P47', 'Q40798']
SELECT DISTINCT ?x WHERE { resource:Q40798 property:P47 ?x . ?x rdf:type ontology:Q15617994 }
Sospirolo
action filter_type
action find
entity Sospirolo
relation shares border with
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Sospirolo']
SELECT DISTINCT ?x WHERE { resource:Sospirolo property:shares_border_with ?x . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q6558 Q40033 Q40316
SYSTEM
Belluno, Cesiomaggiore, Sedico
Q40922 Q6558 Q39876 Q40316 Q40408 Q40033
(c(Q15617994),P47,Q40798)
action filter_type
action find
entity Q40798
relation P47
type Q15617994
[ANSWERS] have an adjacent border with Sospirolo
[{'concept': 'Q15617994'}, 'P47', 'Q40798']
SELECT DISTINCT ?x WHERE { resource:Q40798 property:P47 ?x . ?x rdf:type ontology:Q15617994 }
Gosaldo Belluno Rivamonte Agordino Sedico San Gregorio nelle Alpi Cesiomaggiore
Belluno, Cesiomaggiore and Sedico have an adjacent border with Sospirolo
Belluno Cesiomaggiore Sedico
action filter_type
action find
entity Sospirolo
relation shares border with
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Sospirolo']
SELECT DISTINCT ?x WHERE { resource:Sospirolo property:shares_border_with ?x . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Clarification
Simple Question|Single Entity|Indirect
Q6558
P931
Q62447
USER
What city is served by that administrative territory ?
(c(Q62447),P931,Q6558)
action filter_type
action find_reverse
entity Q6558
relation P931
type Q62447
[{'concept': 'Q62447'}, 'P931', 'Q6558']
SELECT DISTINCT ?g WHERE { ?g property:P931 resource:Q6558 . ?g rdf:type ontology:Q62447 }
Belluno
action filter_type
action find_reverse
entity Belluno
relation place served by airport
type aerodrome
[{'concept': 'aerodrome'}, 'place served by airport', 'Belluno']
SELECT DISTINCT ?g WHERE { ?g property:place_served_by_airport resource:Belluno . ?g rdf:type ontology:aerodrome }
[]
aerodrome
Clarification for simple ques.
Q40033
SYSTEM
Did you mean Cesiomaggiore ?
Q6558 Q40033 Q40316
(c(Q62447),P931,Q6558) (c(Q62447),P931,Q40033) (c(Q62447),P931,Q40316)
[ANSWER]
[{'concept': 'Q62447'}, 'P931', 'Q6558'] [{'concept': 'Q62447'}, 'P931', 'Q40033'] [{'concept': 'Q62447'}, 'P931', 'Q40316']
SELECT DISTINCT ?g WHERE { ?g property:P931 resource:Q6558 . ?g rdf:type ontology:Q62447 }
Belluno Cesiomaggiore Sedico
Did you mean Cesiomaggiore ?
Cesiomaggiore
[{'concept': 'aerodrome'}, 'place served by airport', 'Belluno'] [{'concept': 'aerodrome'}, 'place served by airport', 'Cesiomaggiore'] [{'concept': 'aerodrome'}, 'place served by airport', 'Sedico']
SELECT DISTINCT ?g WHERE { ?g property:place_served_by_airport resource:Belluno . ?g rdf:type ontology:aerodrome }
[]
Simple Question (Coreferenced)
USER
No, I meant Belluno. Could you tell me the answer for that?
(c(Q62447),P931,Q6558)
Q6558
[{'concept': 'Q62447'}, 'P931', 'Q6558']
[{'concept': 'aerodrome'}, 'place served by airport', 'Belluno']
[]
Q1248782
SYSTEM
Belluno Airport
Q1248782
(c(Q62447),P931,Q6558)
action filter_type
action find_reverse
entity Q6558
relation P931
type Q62447
[ANSWER] is served by that administrative territory
[{'concept': 'Q62447'}, 'P931', 'Q6558']
SELECT DISTINCT ?g WHERE { ?g property:P931 resource:Q6558 . ?g rdf:type ontology:Q62447 }
Belluno Airport
Belluno Airport is served by that administrative territory
Belluno Airport
action filter_type
action find_reverse
entity Belluno
relation place served by airport
type aerodrome
[{'concept': 'aerodrome'}, 'place served by airport', 'Belluno']
SELECT DISTINCT ?g WHERE { ?g property:place_served_by_airport resource:Belluno . ?g rdf:type ontology:aerodrome }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q6558
P190
Q15617994
USER
Which administrative territory is twin city of Belluno ?
(c(Q15617994),P190,Q6558)
action filter_type
action find
entity Q6558
relation P190
type Q15617994
[{'concept': 'Q15617994'}, 'P190', 'Q6558']
SELECT DISTINCT ?h WHERE { resource:Q6558 property:P190 ?h . ?h rdf:type ontology:Q15617994 }
Belluno
action filter_type
action find
entity Belluno
relation sister city
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'sister city', 'Belluno']
SELECT DISTINCT ?h WHERE { resource:Belluno property:sister_city ?h . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q52975
SYSTEM
Cervia
Q52975
(c(Q15617994),P190,Q6558)
action filter_type
action find
entity Q6558
relation P190
type Q15617994
[ANSWER] is twin city of Belluno
[{'concept': 'Q15617994'}, 'P190', 'Q6558']
SELECT DISTINCT ?h WHERE { resource:Q6558 property:P190 ?h . ?h rdf:type ontology:Q15617994 }
Cervia
Cervia is twin city of Belluno
Cervia
action filter_type
action find
entity Belluno
relation sister city
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'sister city', 'Belluno']
SELECT DISTINCT ?h WHERE { resource:Belluno property:sister_city ?h . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q6558
P417
Q502895
USER
What is the name of the patron saint of Belluno ?
(Q6558,P417,c(Q502895))
action filter_type
action find
entity Q6558
relation P417
type Q502895
['Q6558', 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:Q502895 . resource:Q6558 property:P417 ?j }
Belluno
action filter_type
action find
entity Belluno
relation patron saint
type common name
['Belluno', 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:common_name . resource:Belluno property:patron_saint ?j }
[]
common name
Q133704
SYSTEM
Martin of Tours
Q133704
(Q6558,P417,c(Q502895))
action filter_type
action find
entity Q6558
relation P417
type Q502895
The name of the patron saint of Belluno is Saint [ANSWER]
['Q6558', 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:Q502895 . resource:Q6558 property:P417 ?j }
Martin of Tours
The name of the patron saint of Belluno is Saint Martin of Tours
Martin of Tours
action filter_type
action find
entity Belluno
relation patron saint
type common name
['Belluno', 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:common_name . resource:Belluno property:patron_saint ?j }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q133704 Q5991813
P417
Q56061
USER
Is that person a patron saint of Mansilla del Páramo ?
(Q5991813,P417,Q133704)
action is_in
entity Q133704
action find
entity Q5991813
relation P417
['Q5991813', 'P417', 'Q133704']
ASK WHERE { resource:Q5991813 property:P417 resource:Q133704 }
Martin of Tours Mansilla del Páramo
action is_in
entity Martin of Tours
action find
entity Mansilla del Páramo
relation patron saint
['Mansilla del Páramo', 'patron saint', 'Martin of Tours']
ASK WHERE { resource:Mansilla_del_Páramo property:patron_saint resource:Martin_of_Tours }
[]
administrative territorial entity
SYSTEM
YES
(Q5991813,P417,Q133704)
action is_in
entity Q133704
action find
entity Q5991813
relation P417
[ANSWER]
['Q5991813', 'P417', 'Q133704']
ASK WHERE { resource:Q5991813 property:P417 resource:Q133704 }
Yes
action is_in
entity Martin of Tours
action find
entity Mansilla del Páramo
relation patron saint
['Mansilla del Páramo', 'patron saint', 'Martin of Tours']
ASK WHERE { resource:Mansilla_del_Páramo property:patron_saint resource:Martin_of_Tours }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q8025675 Q40033
P47
Q56061
USER
Which administrative territories are bordered by Cesiomaggiore or Winnifred, Alberta ?
OR((c(Q56061),P47,Q40033), (c(Q56061),P47,Q8025675))
action filter_type
action union
action find_reverse
entity Q40033
relation P47
action find_reverse
entity Q8025675
relation P47
type Q56061
{'OR': [[{'concept': 'Q56061'}, 'P47', 'Q40033'], [{'concept': 'Q56061'}, 'P47', 'Q8025675']]}
SELECT DISTINCT ?s WHERE { { { ?s property:P47 resource:Q40033 } UNION { ?s property:P47 resource:Q8025675 } } . ?s rdf:type ontology:Q56061 }
Winnifred, Alberta Cesiomaggiore
action filter_type
action union
action find_reverse
entity Cesiomaggiore
relation shares border with
action find_reverse
entity Winnifred, Alberta
relation shares border with
type administrative territorial entity
{'OR': [[{'concept': 'administrative territorial entity'}, 'shares border with', 'Cesiomaggiore'], [{'concept': 'administrative territorial entity'}, 'shares border with', 'Winnifred, Alberta']]}
SELECT DISTINCT ?s WHERE { { { ?s property:shares_border_with resource:Cesiomaggiore } UNION { ?s property:shares_border_with resource:Winnifred,_Alberta } } . ?s rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q295486 Q6742941 Q41023
SYSTEM
Mezzano, Maleb, Alberta, Santa Giustina
Q295486 Q6742941 Q41023
OR((c(Q56061),P47,Q40033), (c(Q56061),P47,Q8025675))
action filter_type
action union
action find_reverse
entity Q40033
relation P47
action find_reverse
entity Q8025675
relation P47
type Q56061
[ANSWERS] are bordered by Cesiomaggiore or Winnifred, Alberta
{'OR': [[{'concept': 'Q56061'}, 'P47', 'Q40033'], [{'concept': 'Q56061'}, 'P47', 'Q8025675']]}
SELECT DISTINCT ?s WHERE { { { ?s property:P47 resource:Q40033 } UNION { ?s property:P47 resource:Q8025675 } } . ?s rdf:type ontology:Q56061 }
Mezzano Maleb, Alberta Santa Giustina
Mezzano, Maleb, Alberta and Santa Giustina are bordered by Cesiomaggiore or Winnifred, Alberta
Mezzano Maleb, Alberta Santa Giustina
action filter_type
action union
action find_reverse
entity Cesiomaggiore
relation shares border with
action find_reverse
entity Winnifred, Alberta
relation shares border with
type administrative territorial entity
{'OR': [[{'concept': 'administrative territorial entity'}, 'shares border with', 'Cesiomaggiore'], [{'concept': 'administrative territorial entity'}, 'shares border with', 'Winnifred, Alberta']]}
SELECT DISTINCT ?s WHERE { { { ?s property:shares_border_with resource:Cesiomaggiore } UNION { ?s property:shares_border_with resource:Winnifred,_Alberta } } . ?s rdf:type ontology:administrative_territorial_entity }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q304745
P206
Q337567 Q15324 Q15617994
USER
How many administrative territories are located next to more number of still waterss or bodies of water than Niamey IV ?
(c(Q15617994),P206,c(Q337567)|c(Q15324))
action count
action greater
action union
action find_tuple_counts
relation P206
type Q15617994
type Q337567
action find_tuple_counts
relation P206
type Q15617994
type Q15324
action count
action filter_multi_types
action find
entity Q304745
relation P206
type Q337567
type Q15324
[{'concept': 'Q15617994'}, 'P206', [{'concept': 'Q337567'}, {'concept': 'Q15324'}]]
SELECT DISTINCT ( COUNT ( ?y ) AS ?a ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?k ) AS ?l ) WHERE { { ?y property:P206 ?k . ?y rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q337567 } UNION { ?y property:P206 ?k . ?y rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q15324 } } GROUP BY ?y } . FILTER ( ?l > ?x ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?x ) WHERE { resource:Q304745 property:P206 ?n . { { ?n rdf:type ontology:Q15324 } UNION { ?n rdf:type ontology:Q337567 } } } } }
Niamey IV
action count
action greater
action union
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type still waters
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type body of water
action count
action filter_multi_types
action find
entity Niamey IV
relation located next to body of water
type still waters
type body of water
[{'concept': 'designation for an administrative territorial entity'}, 'located next to body of water', [{'concept': 'still waters'}, {'concept': 'body of water'}]]
SELECT DISTINCT ( COUNT ( ?y ) AS ?a ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?k ) AS ?l ) WHERE { { ?y property:located_next_to_body_of_water ?k . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:still_waters } UNION { ?y property:located_next_to_body_of_water ?k . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:body_of_water } } GROUP BY ?y } . FILTER ( ?l > ?x ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?x ) WHERE { resource:Niamey_IV property:located_next_to_body_of_water ?n . { { ?n rdf:type ontology:body_of_water } UNION { ?n rdf:type ontology:still_waters } } } } }
[]
still waters body of water designation for an administrative territorial entity
SYSTEM
36
Q21111 Q104577 Q446425 Q55 Q801 Q47585 Q6237 Q568926 Q884 Q664950 Q244095 Q7566251 Q36 Q34 Q38 Q769680 Q104192 Q236 Q681329 Q20 Q690219 Q3038 Q2043234 Q42265 Q225 Q224 Q222 Q17 Q1577 Q516567 Q215 Q1009 Q1438 Q20267 Q194136 Q47612
(c(Q15617994),P206,c(Q337567)|c(Q15324))
action count
action greater
action union
action find_tuple_counts
relation P206
type Q15617994
type Q337567
action find_tuple_counts
relation P206
type Q15617994
type Q15324
action count
action filter_multi_types
action find
entity Q304745
relation P206
type Q337567
type Q15324
[ANSWER]
[{'concept': 'Q15617994'}, 'P206', [{'concept': 'Q337567'}, {'concept': 'Q15324'}]]
SELECT DISTINCT ( COUNT ( ?y ) AS ?a ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?k ) AS ?l ) WHERE { { ?y property:P206 ?k . ?y rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q337567 } UNION { ?y property:P206 ?k . ?y rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q15324 } } GROUP BY ?y } . FILTER ( ?l > ?x ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?x ) WHERE { resource:Q304745 property:P206 ?n . { { ?n rdf:type ontology:Q15324 } UNION { ?n rdf:type ontology:Q337567 } } } } }
Corn Islands Desenzano del Garda Altwarp Netherlands Israel Garda Lecco Maasholm South Korea Loddin Bellagio South Bay Poland Sweden Italy Bornholm Kleinmachnow Montenegro Dümmer Norway Perlin Helgoland Almere Buiten Abbadia Lariana Bosnia and Herzegovina Croatia Albania Japan Neuwerk Kappeln Slovenia Cameroon Campania Schwarz Riva del Garda Domaso
36
action count
action greater
action union
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type still waters
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type body of water
action count
action filter_multi_types
action find
entity Niamey IV
relation located next to body of water
type still waters
type body of water
[{'concept': 'designation for an administrative territorial entity'}, 'located next to body of water', [{'concept': 'still waters'}, {'concept': 'body of water'}]]
SELECT DISTINCT ( COUNT ( ?y ) AS ?a ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?k ) AS ?l ) WHERE { { ?y property:located_next_to_body_of_water ?k . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:still_waters } UNION { ?y property:located_next_to_body_of_water ?k . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:body_of_water } } GROUP BY ?y } . FILTER ( ?l > ?x ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?x ) WHERE { resource:Niamey_IV property:located_next_to_body_of_water ?n . { { ?n rdf:type ontology:body_of_water } UNION { ?n rdf:type ontology:still_waters } } } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q3939
P206
Q337567 Q15324 Q15617994
USER
And how about Dinslaken?
(c(Q15617994),P206,c(Q337567)|c(Q15324))
action count
action greater
action union
action find_tuple_counts
relation P206
type Q15617994
type Q337567
action find_tuple_counts
relation P206
type Q15617994
type Q15324
action count
action filter_multi_types
action find
entity Q3939
relation P206
type Q337567
type Q15324
[{'concept': 'Q15617994'}, 'P206', [{'concept': 'Q337567'}, {'concept': 'Q15324'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?z ) WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?j ) ?q WHERE { VALUES ( ?t ) { ( ontology:Q337567 ) ( ontology:Q15324 ) } . ?l rdf:type ?t } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?d ) WHERE { resource:Q3939 property:P206 ?h . { VALUES ( ?v ) { ( ontology:Q337567 ) ( ontology:Q15324 ) } . ?h rdf:type ?v } } } . FILTER ( ?j > ?d ) }
Dinslaken
action count
action greater
action union
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type still waters
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type body of water
action count
action filter_multi_types
action find
entity Dinslaken
relation located next to body of water
type still waters
type body of water
[{'concept': 'designation for an administrative territorial entity'}, 'located next to body of water', [{'concept': 'still waters'}, {'concept': 'body of water'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?z ) WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?j ) ?q WHERE { VALUES ( ?t ) { ( ontology:still_waters ) ( ontology:body_of_water ) } . ?l rdf:type ?t } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?d ) WHERE { resource:Dinslaken property:located_next_to_body_of_water ?h . { VALUES ( ?v ) { ( ontology:still_waters ) ( ontology:body_of_water ) } . ?h rdf:type ?v } } } . FILTER ( ?j > ?d ) }
[]
still waters body of water designation for an administrative territorial entity
SYSTEM
36
Q21111 Q104577 Q446425 Q55 Q801 Q47585 Q6237 Q568926 Q884 Q664950 Q244095 Q7566251 Q36 Q34 Q38 Q769680 Q104192 Q236 Q681329 Q20 Q690219 Q3038 Q2043234 Q42265 Q225 Q224 Q222 Q17 Q1577 Q516567 Q215 Q1009 Q1438 Q20267 Q194136 Q47612
(c(Q15617994),P206,c(Q337567)|c(Q15324))
action count
action greater
action union
action find_tuple_counts
relation P206
type Q15617994
type Q337567
action find_tuple_counts
relation P206
type Q15617994
type Q15324
action count
action filter_multi_types
action find
entity Q3939
relation P206
type Q337567
type Q15324
[ANSWER]
[{'concept': 'Q15617994'}, 'P206', [{'concept': 'Q337567'}, {'concept': 'Q15324'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?z ) WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?j ) ?q WHERE { VALUES ( ?t ) { ( ontology:Q337567 ) ( ontology:Q15324 ) } . ?l rdf:type ?t } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?d ) WHERE { resource:Q3939 property:P206 ?h . { VALUES ( ?v ) { ( ontology:Q337567 ) ( ontology:Q15324 ) } . ?h rdf:type ?v } } } . FILTER ( ?j > ?d ) }
Corn Islands Desenzano del Garda Altwarp Netherlands Israel Garda Lecco Maasholm South Korea Loddin Bellagio South Bay Poland Sweden Italy Bornholm Kleinmachnow Montenegro Dümmer Norway Perlin Helgoland Almere Buiten Abbadia Lariana Bosnia and Herzegovina Croatia Albania Japan Neuwerk Kappeln Slovenia Cameroon Campania Schwarz Riva del Garda Domaso
36
action count
action greater
action union
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type still waters
action find_tuple_counts
relation located next to body of water
type designation for an administrative territorial entity
type body of water
action count
action filter_multi_types
action find
entity Dinslaken
relation located next to body of water
type still waters
type body of water
[{'concept': 'designation for an administrative territorial entity'}, 'located next to body of water', [{'concept': 'still waters'}, {'concept': 'body of water'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?z ) WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?j ) ?q WHERE { VALUES ( ?t ) { ( ontology:still_waters ) ( ontology:body_of_water ) } . ?l rdf:type ?t } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?d ) WHERE { resource:Dinslaken property:located_next_to_body_of_water ?h . { VALUES ( ?v ) { ( ontology:still_waters ) ( ontology:body_of_water ) } . ?h rdf:type ?v } } } . FILTER ( ?j > ?d ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P17
Q15617994 Q699405 Q3914
USER
How many administrative territories do exactly 15 dwellings and schools belong to ?
(c(Q699405)|c(Q3914),P17,c(Q15617994))
action count
action equal
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q699405
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q3914
value 15
[[{'concept': 'Q699405'}, {'concept': 'Q3914'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?j ) WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?g ) ?c WHERE { { ?q property:P17 ?c . ?c rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q699405 } UNION { ?q property:P17 ?c . ?c rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q3914 } } GROUP BY ?c } . FILTER ( ?g = 15 ) }
action count
action equal
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type dwelling
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type school
value 15
[[{'concept': 'dwelling'}, {'concept': 'school'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?j ) WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?g ) ?c WHERE { { ?q property:country ?c . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:dwelling } UNION { ?q property:country ?c . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:school } } GROUP BY ?c } . FILTER ( ?g = 15 ) }
[]
designation for an administrative territorial entity dwelling school
SYSTEM
3
Q884 Q96 Q79
(c(Q699405)|c(Q3914),P17,c(Q15617994))
action count
action equal
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q699405
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q3914
value 15
[ANSWER]
[[{'concept': 'Q699405'}, {'concept': 'Q3914'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?j ) WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?g ) ?c WHERE { { ?q property:P17 ?c . ?c rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q699405 } UNION { ?q property:P17 ?c . ?c rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q3914 } } GROUP BY ?c } . FILTER ( ?g = 15 ) }
South Korea Mexico Egypt
3
action count
action equal
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type dwelling
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type school
value 15
[[{'concept': 'dwelling'}, {'concept': 'school'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?j ) WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?g ) ?c WHERE { { ?q property:country ?c . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:dwelling } UNION { ?q property:country ?c . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:school } } GROUP BY ?c } . FILTER ( ?g = 15 ) }
[]