Simple Question (Direct)
Simple Question
Q871287
P47
Q20667921
USER
Who share the border with Bayons ?
(Q871287,P47,c(Q20667921))
action filter_type
action find
entity Q871287
relation P47
type Q20667921
['Q871287', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:Q20667921 . resource:Q871287 property:P47 ?m }
Bayons
action filter_type
action find
entity Bayons
relation shares border with
type type of french administrative division
['Bayons', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:type_of_french_administrative_division . resource:Bayons property:shares_border_with ?m }
[]
type of french administrative division
Q662602 Q1112934 Q1018617
SYSTEM
Authon, Selonnet, Faucon-du-Caire
Q662602 Q1112934 Q1016949 Q1016772 Q1018617 Q867033 Q865218 Q871177 Q748466
(Q871287,P47,c(Q20667921))
action filter_type
action find
entity Q871287
relation P47
type Q20667921
[ANSWERS] share the border with Bayons
['Q871287', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:Q20667921 . resource:Q871287 property:P47 ?m }
Authon Selonnet Valavoire Saint-Martin-lès-Seyne Faucon-du-Caire Bellaffaire Barles Clamensane Turriers
Authon, Selonnet and Faucon-du-Caire share the border with Bayons
Authon Selonnet Faucon-du-Caire
action filter_type
action find
entity Bayons
relation shares border with
type type of french administrative division
['Bayons', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:type_of_french_administrative_division . resource:Bayons property:shares_border_with ?m }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q662602 Q1112934 Q1018617
P17
Q15617994
USER
Which administrative territories do Authon, Selonnet and Faucon-du-Caire belong to ?
(Q662602,P17,c(Q15617994)) (Q1112934,P17,c(Q15617994)) (Q1018617,P17,c(Q15617994))
action union
action filter_type
action find
entity Q662602
relation P17
type Q15617994
action filter_type
action find
entity Q1112934
relation P17
type Q15617994
action filter_type
action find
entity Q1018617
relation P17
type Q15617994
['Q662602', 'P17', {'concept': 'Q15617994'}] ['Q1112934', 'P17', {'concept': 'Q15617994'}] ['Q1018617', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?c WHERE { ?u property:P17 ?c . VALUES ( ?u ) { ( resource:Q1112934 ) ( resource:Q662602 ) } }
Authon Selonnet Faucon-du-Caire
action union
action filter_type
action find
entity Authon
relation country
type designation for an administrative territorial entity
action filter_type
action find
entity Selonnet
relation country
type designation for an administrative territorial entity
action filter_type
action find
entity Faucon-du-Caire
relation country
type designation for an administrative territorial entity
['Authon', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Selonnet', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Faucon-du-Caire', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { ?u property:country ?c . VALUES ( ?u ) { ( resource:Selonnet ) ( resource:Authon ) } }
[]
designation for an administrative territorial entity
Q142 Q142 Q142
SYSTEM
France
Q142 Q142 Q142
(Q662602,P17,c(Q15617994)) (Q1112934,P17,c(Q15617994)) (Q1018617,P17,c(Q15617994))
action union
action filter_type
action find
entity Q662602
relation P17
type Q15617994
action filter_type
action find
entity Q1112934
relation P17
type Q15617994
action filter_type
action find
entity Q1018617
relation P17
type Q15617994
[ANSWER], [ANSWER] and [ANSWER] Authon, Selonnet and Faucon-du-Caire belong to
['Q662602', 'P17', {'concept': 'Q15617994'}] ['Q1112934', 'P17', {'concept': 'Q15617994'}] ['Q1018617', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?c WHERE { ?u property:P17 ?c . VALUES ( ?u ) { ( resource:Q1112934 ) ( resource:Q662602 ) } }
France France France
France, France and France Authon, Selonnet and Faucon-du-Caire belong to
France France France
action union
action filter_type
action find
entity Authon
relation country
type designation for an administrative territorial entity
action filter_type
action find
entity Selonnet
relation country
type designation for an administrative territorial entity
action filter_type
action find
entity Faucon-du-Caire
relation country
type designation for an administrative territorial entity
['Authon', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Selonnet', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Faucon-du-Caire', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { ?u property:country ?c . VALUES ( ?u ) { ( resource:Selonnet ) ( resource:Authon ) } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1018617
P6
Q502895
USER
Which person is the head of government of Faucon-du-Caire ?
(Q1018617,P6,c(Q502895))
action filter_type
action find
entity Q1018617
relation P6
type Q502895
['Q1018617', 'P6', {'concept': 'Q502895'}]
SELECT DISTINCT ?i WHERE { resource:Q1018617 property:P6 ?i . ?i rdf:type ontology:Q502895 }
Faucon-du-Caire
action filter_type
action find
entity Faucon-du-Caire
relation head of government
type common name
['Faucon-du-Caire', 'head of government', {'concept': 'common name'}]
SELECT DISTINCT ?i WHERE { resource:Faucon-du-Caire property:head_of_government ?i . ?i rdf:type ontology:common_name }
[]
common name
Q2865307
SYSTEM
Arthur Richier
Q2865307
(Q1018617,P6,c(Q502895))
action filter_type
action find
entity Q1018617
relation P6
type Q502895
[ANSWER] is the head of government of Faucon-du-Caire
['Q1018617', 'P6', {'concept': 'Q502895'}]
SELECT DISTINCT ?i WHERE { resource:Q1018617 property:P6 ?i . ?i rdf:type ontology:Q502895 }
Arthur Richier
Arthur Richier is the head of government of Faucon-du-Caire
Arthur Richier
action filter_type
action find
entity Faucon-du-Caire
relation head of government
type common name
['Faucon-du-Caire', 'head of government', {'concept': 'common name'}]
SELECT DISTINCT ?i WHERE { resource:Faucon-du-Caire property:head_of_government ?i . ?i rdf:type ontology:common_name }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q1442251
Q502895
USER
And what about Villanueva de San Juan?
(Q1442251,P6,c(Q502895))
action filter_type
action find
entity Q1442251
relation P6
type Q502895
['Q1442251', 'P6', {'concept': 'Q502895'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q502895 . resource:Q1442251 property:P6 ?r }
Villanueva de San Juan
action filter_type
action find
entity Villanueva de San Juan
relation head of government
type common name
['Villanueva de San Juan', 'head of government', {'concept': 'common name'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:common_name . resource:Villanueva_de_San_Juan property:head_of_government ?r }
[]
common name
Q14119081
SYSTEM
Francisca Díaz Roldán
Q14119081
(Q1442251,P6,c(Q502895))
action filter_type
action find
entity Q1442251
relation P6
type Q502895
[ANSWER]
['Q1442251', 'P6', {'concept': 'Q502895'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q502895 . resource:Q1442251 property:P6 ?r }
Francisca Díaz Roldán
Francisca Díaz Roldán
action filter_type
action find
entity Villanueva de San Juan
relation head of government
type common name
['Villanueva de San Juan', 'head of government', {'concept': 'common name'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:common_name . resource:Villanueva_de_San_Juan property:head_of_government ?r }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q549123 Q662602
P47
Q20667921
USER
Which french administrative divisions do Authon or Gémonval share a border with ?
OR((c(Q20667921),P47,Q662602), (c(Q20667921),P47,Q549123))
action filter_type
action union
action find_reverse
entity Q662602
relation P47
action find_reverse
entity Q549123
relation P47
type Q20667921
{'OR': [[{'concept': 'Q20667921'}, 'P47', 'Q662602'], [{'concept': 'Q20667921'}, 'P47', 'Q549123']]}
SELECT DISTINCT ?f WHERE { { VALUES ( ?m ) { ( resource:Q549123 ) ( resource:Q662602 ) } . ?f property:P47 ?m } . ?f rdf:type ontology:Q20667921 }
Gémonval Authon
action filter_type
action union
action find_reverse
entity Authon
relation shares border with
action find_reverse
entity Gémonval
relation shares border with
type type of french administrative division
{'OR': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Authon'], [{'concept': 'type of french administrative division'}, 'shares border with', 'Gémonval']]}
SELECT DISTINCT ?f WHERE { { VALUES ( ?m ) { ( resource:Gémonval ) ( resource:Authon ) } . ?f property:shares_border_with ?m } . ?f rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q918968 Q865218 Q918899 Q1381831 Q1016733 Q918973 Q858530 Q905080 Q865161 Q871287
SYSTEM
Some of them are Secenans, Barles, Vellechevreux-et-Courbenans, La Robine-sur-Galabre, Saint-Geniez, Saulnot, Hautes-Duyes, Onans, Le Castellard-Mélan, Bayons
Q918973 Q733623 Q865161 Q905080 Q1016733 Q905117 Q918968 Q1381831 Q1016949 Q918899 Q871287 Q865218 Q858530
OR((c(Q20667921),P47,Q662602), (c(Q20667921),P47,Q549123))
action filter_type
action union
action find_reverse
entity Q662602
relation P47
action find_reverse
entity Q549123
relation P47
type Q20667921
Authon or Gémonval share a border with [ANSWERS]
{'OR': [[{'concept': 'Q20667921'}, 'P47', 'Q662602'], [{'concept': 'Q20667921'}, 'P47', 'Q549123']]}
SELECT DISTINCT ?f WHERE { { VALUES ( ?m ) { ( resource:Q549123 ) ( resource:Q662602 ) } . ?f property:P47 ?m } . ?f rdf:type ontology:Q20667921 }
Saulnot Crevans-et-la-Chapelle-lès-Granges Le Castellard-Mélan Onans Saint-Geniez Marvelise Secenans La Robine-sur-Galabre Valavoire Vellechevreux-et-Courbenans Bayons Barles Hautes-Duyes
Authon or Gémonval share a border with Secenans, Barles, Vellechevreux-et-Courbenans, La Robine-sur-Galabre, Saint-Geniez, Saulnot, Hautes-Duyes, Onans, Le Castellard-Mélan and Bayons
Secenans Barles Vellechevreux-et-Courbenans La Robine-sur-Galabre Saint-Geniez Saulnot Hautes-Duyes Onans Le Castellard-Mélan Bayons
action filter_type
action union
action find_reverse
entity Authon
relation shares border with
action find_reverse
entity Gémonval
relation shares border with
type type of french administrative division
{'OR': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Authon'], [{'concept': 'type of french administrative division'}, 'shares border with', 'Gémonval']]}
SELECT DISTINCT ?f WHERE { { VALUES ( ?m ) { ( resource:Gémonval ) ( resource:Authon ) } . ?f property:shares_border_with ?m } . ?f rdf:type ontology:type_of_french_administrative_division }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P138
Q20667921 Q62447 Q16970
USER
Which french administrative divisions are the etymology of max number of aerodromes and churches ?
(c(Q62447)|c(Q16970),P138,c(Q20667921))
action argmax
action union
action find_reverse_tuple_counts
relation P138
type Q20667921
type Q62447
action find_reverse_tuple_counts
relation P138
type Q20667921
type Q16970
[[{'concept': 'Q62447'}, {'concept': 'Q16970'}], 'P138', {'concept': 'Q20667921'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?d ) AS ?t ) { SELECT DISTINCT ?q ( COUNT ( ?w ) AS ?d ) WHERE { ?w rdf:type ?f . VALUES ( ?f ) { ( ontology:Q62447 ) ( ontology:Q16970 ) } } GROUP BY ?q } } . { SELECT DISTINCT ?p ( COUNT ( ?n ) AS ?c ) WHERE { { ?n property:P138 ?p . ?n rdf:type ontology:Q16970 . ?p rdf:type ontology:Q20667921 } UNION { ?n property:P138 ?p . ?p rdf:type ontology:Q20667921 . ?n rdf:type ontology:Q62447 } } GROUP BY ?p } . FILTER ( ?c = ?t ) }
action argmax
action union
action find_reverse_tuple_counts
relation named after
type type of french administrative division
type aerodrome
action find_reverse_tuple_counts
relation named after
type type of french administrative division
type church
[[{'concept': 'aerodrome'}, {'concept': 'church'}], 'named after', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?d ) AS ?t ) { SELECT DISTINCT ?q ( COUNT ( ?w ) AS ?d ) WHERE { ?w rdf:type ?f . VALUES ( ?f ) { ( ontology:aerodrome ) ( ontology:church ) } } GROUP BY ?q } } . { SELECT DISTINCT ?p ( COUNT ( ?n ) AS ?c ) WHERE { { ?n property:named_after ?p . ?n rdf:type ontology:church . ?p rdf:type ontology:type_of_french_administrative_division } UNION { ?n property:named_after ?p . ?p rdf:type ontology:type_of_french_administrative_division . ?n rdf:type ontology:aerodrome } } GROUP BY ?p } . FILTER ( ?c = ?t ) }
[]
type of french administrative division aerodrome church
Q837748 Q130272
SYSTEM
Brétigny-sur-Orge, Chartres
Q837748 Q130272
(c(Q62447)|c(Q16970),P138,c(Q20667921))
action argmax
action union
action find_reverse_tuple_counts
relation P138
type Q20667921
type Q62447
action find_reverse_tuple_counts
relation P138
type Q20667921
type Q16970
[ANSWERS] are the etymology of max number of aerodromes and churches
[[{'concept': 'Q62447'}, {'concept': 'Q16970'}], 'P138', {'concept': 'Q20667921'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?d ) AS ?t ) { SELECT DISTINCT ?q ( COUNT ( ?w ) AS ?d ) WHERE { ?w rdf:type ?f . VALUES ( ?f ) { ( ontology:Q62447 ) ( ontology:Q16970 ) } } GROUP BY ?q } } . { SELECT DISTINCT ?p ( COUNT ( ?n ) AS ?c ) WHERE { { ?n property:P138 ?p . ?n rdf:type ontology:Q16970 . ?p rdf:type ontology:Q20667921 } UNION { ?n property:P138 ?p . ?p rdf:type ontology:Q20667921 . ?n rdf:type ontology:Q62447 } } GROUP BY ?p } . FILTER ( ?c = ?t ) }
Brétigny-sur-Orge Chartres
Brétigny-sur-Orge and Chartres are the etymology of max number of aerodromes and churches
Brétigny-sur-Orge Chartres
action argmax
action union
action find_reverse_tuple_counts
relation named after
type type of french administrative division
type aerodrome
action find_reverse_tuple_counts
relation named after
type type of french administrative division
type church
[[{'concept': 'aerodrome'}, {'concept': 'church'}], 'named after', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?d ) AS ?t ) { SELECT DISTINCT ?q ( COUNT ( ?w ) AS ?d ) WHERE { ?w rdf:type ?f . VALUES ( ?f ) { ( ontology:aerodrome ) ( ontology:church ) } } GROUP BY ?q } } . { SELECT DISTINCT ?p ( COUNT ( ?n ) AS ?c ) WHERE { { ?n property:named_after ?p . ?n rdf:type ontology:church . ?p rdf:type ontology:type_of_french_administrative_division } UNION { ?n property:named_after ?p . ?p rdf:type ontology:type_of_french_administrative_division . ?n rdf:type ontology:aerodrome } } GROUP BY ?p } . FILTER ( ?c = ?t ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q788007 Q865161
P47
Q20667921
USER
Which french administrative divisions share border with Le Castellard-Mélan or Questrecques ?
OR((c(Q20667921),P47,Q865161), (c(Q20667921),P47,Q788007))
action filter_type
action union
action find_reverse
entity Q865161
relation P47
action find_reverse
entity Q788007
relation P47
type Q20667921
{'OR': [[{'concept': 'Q20667921'}, 'P47', 'Q865161'], [{'concept': 'Q20667921'}, 'P47', 'Q788007']]}
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q20667921 . { { ?s property:P47 resource:Q865161 } UNION { ?s property:P47 resource:Q788007 } } }
Questrecques Le Castellard-Mélan
action filter_type
action union
action find_reverse
entity Le Castellard-Mélan
relation shares border with
action find_reverse
entity Questrecques
relation shares border with
type type of french administrative division
{'OR': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Le Castellard-Mélan'], [{'concept': 'type of french administrative division'}, 'shares border with', 'Questrecques']]}
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:type_of_french_administrative_division . { { ?s property:shares_border_with resource:Le_Castellard-Mélan } UNION { ?s property:shares_border_with resource:Questrecques } } }
[]
type of french administrative division
Q662602 Q1030272 Q1018593 Q737550 Q1016733 Q377641 Q613505 Q74641 Q1016821 Q858530
SYSTEM
Authon, Carly, Entrepierres, Wirwignes, Saint-Geniez, Baincthun, Wierre-au-Bois, Samer, Thoard, Hautes-Duyes
Q662602 Q1030272 Q1018593 Q737550 Q1016733 Q377641 Q613505 Q74641 Q1016821 Q858530
OR((c(Q20667921),P47,Q865161), (c(Q20667921),P47,Q788007))
action filter_type
action union
action find_reverse
entity Q865161
relation P47
action find_reverse
entity Q788007
relation P47
type Q20667921
[ANSWERS] share border with Le Castellard-Mélan or Questrecques
{'OR': [[{'concept': 'Q20667921'}, 'P47', 'Q865161'], [{'concept': 'Q20667921'}, 'P47', 'Q788007']]}
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q20667921 . { { ?s property:P47 resource:Q865161 } UNION { ?s property:P47 resource:Q788007 } } }
Authon Carly Entrepierres Wirwignes Saint-Geniez Baincthun Wierre-au-Bois Samer Thoard Hautes-Duyes
Authon, Carly, Entrepierres, Wirwignes, Saint-Geniez, Baincthun, Wierre-au-Bois, Samer, Thoard and Hautes-Duyes share border with Le Castellard-Mélan or Questrecques
Authon Carly Entrepierres Wirwignes Saint-Geniez Baincthun Wierre-au-Bois Samer Thoard Hautes-Duyes
action filter_type
action union
action find_reverse
entity Le Castellard-Mélan
relation shares border with
action find_reverse
entity Questrecques
relation shares border with
type type of french administrative division
{'OR': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Le Castellard-Mélan'], [{'concept': 'type of french administrative division'}, 'shares border with', 'Questrecques']]}
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:type_of_french_administrative_division . { { ?s property:shares_border_with resource:Le_Castellard-Mélan } UNION { ?s property:shares_border_with resource:Questrecques } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q231180
P206
Q15324 Q1267889 Q20667921
USER
How many french administrative divisions are situated in the neighbourhood of less number of bodies of water or waterways than Zuydcoote ?
(c(Q20667921),P206,c(Q15324)|c(Q1267889))
action count
action less
action union
action find_tuple_counts
relation P206
type Q20667921
type Q15324
action find_tuple_counts
relation P206
type Q20667921
type Q1267889
action count
action filter_multi_types
action find
entity Q231180
relation P206
type Q15324
type Q1267889
[{'concept': 'Q20667921'}, 'P206', [{'concept': 'Q15324'}, {'concept': 'Q1267889'}]]
SELECT DISTINCT ( COUNT ( ?x ) AS ?f ) WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?l ) ?x WHERE { { ?x property:P206 ?o . ?x rdf:type ontology:Q20667921 . ?o rdf:type ontology:Q15324 } UNION { ?x property:P206 ?o . ?x rdf:type ontology:Q20667921 . ?o rdf:type ontology:Q1267889 } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?k ) WHERE { resource:Q231180 property:P206 ?m . { { ?m rdf:type ontology:Q1267889 } UNION { ?m rdf:type ontology:Q15324 } } } } . FILTER ( ?l < ?k ) }
Zuydcoote
action count
action less
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 waterway
action count
action filter_multi_types
action find
entity Zuydcoote
relation located next to body of water
type body of water
type waterway
[{'concept': 'type of french administrative division'}, 'located next to body of water', [{'concept': 'body of water'}, {'concept': 'waterway'}]]
SELECT DISTINCT ( COUNT ( ?x ) AS ?f ) WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?l ) ?x WHERE { { ?x property:located_next_to_body_of_water ?o . ?x rdf:type ontology:type_of_french_administrative_division . ?o rdf:type ontology:body_of_water } UNION { ?x property:located_next_to_body_of_water ?o . ?x rdf:type ontology:type_of_french_administrative_division . ?o rdf:type ontology:waterway } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?k ) WHERE { resource:Zuydcoote property:located_next_to_body_of_water ?m . { { ?m rdf:type ontology:waterway } UNION { ?m rdf:type ontology:body_of_water } } } } . FILTER ( ?l < ?k ) }
[]
body of water waterway type of french administrative division
SYSTEM
51
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(Q15324)|c(Q1267889))
action count
action less
action union
action find_tuple_counts
relation P206
type Q20667921
type Q15324
action find_tuple_counts
relation P206
type Q20667921
type Q1267889
action count
action filter_multi_types
action find
entity Q231180
relation P206
type Q15324
type Q1267889
[ANSWER]
[{'concept': 'Q20667921'}, 'P206', [{'concept': 'Q15324'}, {'concept': 'Q1267889'}]]
SELECT DISTINCT ( COUNT ( ?x ) AS ?f ) WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?l ) ?x WHERE { { ?x property:P206 ?o . ?x rdf:type ontology:Q20667921 . ?o rdf:type ontology:Q15324 } UNION { ?x property:P206 ?o . ?x rdf:type ontology:Q20667921 . ?o rdf:type ontology:Q1267889 } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?k ) WHERE { resource:Q231180 property:P206 ?m . { { ?m rdf:type ontology:Q1267889 } UNION { ?m rdf:type ontology:Q15324 } } } } . FILTER ( ?l < ?k ) }
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
51
action count
action less
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 waterway
action count
action filter_multi_types
action find
entity Zuydcoote
relation located next to body of water
type body of water
type waterway
[{'concept': 'type of french administrative division'}, 'located next to body of water', [{'concept': 'body of water'}, {'concept': 'waterway'}]]
SELECT DISTINCT ( COUNT ( ?x ) AS ?f ) WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?l ) ?x WHERE { { ?x property:located_next_to_body_of_water ?o . ?x rdf:type ontology:type_of_french_administrative_division . ?o rdf:type ontology:body_of_water } UNION { ?x property:located_next_to_body_of_water ?o . ?x rdf:type ontology:type_of_french_administrative_division . ?o rdf:type ontology:waterway } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?k ) WHERE { resource:Zuydcoote property:located_next_to_body_of_water ?m . { { ?m rdf:type ontology:waterway } UNION { ?m rdf:type ontology:body_of_water } } } } . FILTER ( ?l < ?k ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q71356
P206
Q15324 Q1267889 Q20667921
USER
And how about Île-aux-Moines?
(c(Q20667921),P206,c(Q15324)|c(Q1267889))
action count
action less
action union
action find_tuple_counts
relation P206
type Q20667921
type Q15324
action find_tuple_counts
relation P206
type Q20667921
type Q1267889
action count
action filter_multi_types
action find
entity Q71356
relation P206
type Q15324
type Q1267889
[{'concept': 'Q20667921'}, 'P206', [{'concept': 'Q15324'}, {'concept': 'Q1267889'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?r ) WHERE { resource:Q71356 property:P206 ?q . { VALUES ( ?j ) { ( ontology:Q1267889 ) ( ontology:Q15324 ) } . ?q rdf:type ?j } } } . FILTER ( ?b < ?r ) . { SELECT DISTINCT ( COUNT ( ?e ) AS ?b ) ?z WHERE { { ?z property:P206 ?e . ?z rdf:type ontology:Q20667921 . ?e rdf:type ontology:Q15324 } UNION { ?z rdf:type ontology:Q20667921 . ?e rdf:type ontology:Q1267889 . ?z property:P206 ?e } } GROUP BY ?z } }
Île-aux-Moines
action count
action less
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 waterway
action count
action filter_multi_types
action find
entity Île-aux-Moines
relation located next to body of water
type body of water
type waterway
[{'concept': 'type of french administrative division'}, 'located next to body of water', [{'concept': 'body of water'}, {'concept': 'waterway'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?r ) WHERE { resource:Île-aux-Moines property:located_next_to_body_of_water ?q . { VALUES ( ?j ) { ( ontology:waterway ) ( ontology:body_of_water ) } . ?q rdf:type ?j } } } . FILTER ( ?b < ?r ) . { SELECT DISTINCT ( COUNT ( ?e ) AS ?b ) ?z WHERE { { ?z property:located_next_to_body_of_water ?e . ?z rdf:type ontology:type_of_french_administrative_division . ?e rdf:type ontology:body_of_water } UNION { ?z rdf:type ontology:type_of_french_administrative_division . ?e rdf:type ontology:waterway . ?z property:located_next_to_body_of_water ?e } } GROUP BY ?z } }
[]
body of water waterway type of french administrative division
SYSTEM
51
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(Q15324)|c(Q1267889))
action count
action less
action union
action find_tuple_counts
relation P206
type Q20667921
type Q15324
action find_tuple_counts
relation P206
type Q20667921
type Q1267889
action count
action filter_multi_types
action find
entity Q71356
relation P206
type Q15324
type Q1267889
[ANSWER]
[{'concept': 'Q20667921'}, 'P206', [{'concept': 'Q15324'}, {'concept': 'Q1267889'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?r ) WHERE { resource:Q71356 property:P206 ?q . { VALUES ( ?j ) { ( ontology:Q1267889 ) ( ontology:Q15324 ) } . ?q rdf:type ?j } } } . FILTER ( ?b < ?r ) . { SELECT DISTINCT ( COUNT ( ?e ) AS ?b ) ?z WHERE { { ?z property:P206 ?e . ?z rdf:type ontology:Q20667921 . ?e rdf:type ontology:Q15324 } UNION { ?z rdf:type ontology:Q20667921 . ?e rdf:type ontology:Q1267889 . ?z property:P206 ?e } } GROUP BY ?z } }
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
51
action count
action less
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 waterway
action count
action filter_multi_types
action find
entity Île-aux-Moines
relation located next to body of water
type body of water
type waterway
[{'concept': 'type of french administrative division'}, 'located next to body of water', [{'concept': 'body of water'}, {'concept': 'waterway'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?r ) WHERE { resource:Île-aux-Moines property:located_next_to_body_of_water ?q . { VALUES ( ?j ) { ( ontology:waterway ) ( ontology:body_of_water ) } . ?q rdf:type ?j } } } . FILTER ( ?b < ?r ) . { SELECT DISTINCT ( COUNT ( ?e ) AS ?b ) ?z WHERE { { ?z property:located_next_to_body_of_water ?e . ?z rdf:type ontology:type_of_french_administrative_division . ?e rdf:type ontology:body_of_water } UNION { ?z rdf:type ontology:type_of_french_administrative_division . ?e rdf:type ontology:waterway . ?z property:located_next_to_body_of_water ?e } } GROUP BY ?z } }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q18407
Q838948
USER
And how about La Dolce Vita?
(Q18407,P915,c(Q838948))
action filter_type
action find
entity Q18407
relation P915
type Q838948
['Q18407', 'P915', {'concept': 'Q838948'}]
SELECT DISTINCT ?e WHERE { resource:Q18407 property:P915 ?e . ?e rdf:type ontology:Q838948 }
La Dolce Vita
action filter_type
action find
entity La Dolce Vita
relation filming location
type work of art
['La Dolce Vita', 'filming location', {'concept': 'work of art'}]
SELECT DISTINCT ?e WHERE { resource:La_Dolce_Vita property:filming_location ?e . ?e rdf:type ontology:work_of_art }
[]
work of art
Q185382
SYSTEM
Trevi Fountain
Q185382
(Q18407,P915,c(Q838948))
action filter_type
action find
entity Q18407
relation P915
type Q838948
[ANSWER]
['Q18407', 'P915', {'concept': 'Q838948'}]
SELECT DISTINCT ?e WHERE { resource:Q18407 property:P915 ?e . ?e rdf:type ontology:Q838948 }
Trevi Fountain
Trevi Fountain
action filter_type
action find
entity La Dolce Vita
relation filming location
type work of art
['La Dolce Vita', 'filming location', {'concept': 'work of art'}]
SELECT DISTINCT ?e WHERE { resource:La_Dolce_Vita property:filming_location ?e . ?e rdf:type ontology:work_of_art }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q185382 Q47371 Q20079
P17
Q15617994
USER
Is Trevi Fountain present in Tarzo and Kirchberg ?
(Q185382,P17,Q47371) (Q185382,P17,Q20079)
action is_in
entity Q185382
action intersection
action find_reverse
entity Q47371
relation P17
action find_reverse
entity Q20079
relation P17
['Q185382', 'P17', 'Q47371'] ['Q185382', 'P17', 'Q20079']
ASK WHERE { resource:Q185382 property:P17 resource:Q20079 . resource:Q185382 property:P17 resource:Q47371 }
Trevi Fountain Tarzo Kirchberg
action is_in
entity Trevi Fountain
action intersection
action find_reverse
entity Tarzo
relation country
action find_reverse
entity Kirchberg
relation country
['Trevi Fountain', 'country', 'Tarzo'] ['Trevi Fountain', 'country', 'Kirchberg']
ASK WHERE { resource:Trevi_Fountain property:country resource:Kirchberg . resource:Trevi_Fountain property:country resource:Tarzo }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q185382,P17,Q47371) (Q185382,P17,Q20079)
action is_in
entity Q185382
action intersection
action find_reverse
entity Q47371
relation P17
action find_reverse
entity Q20079
relation P17
[ANSWER]
['Q185382', 'P17', 'Q47371'] ['Q185382', 'P17', 'Q20079']
ASK WHERE { resource:Q185382 property:P17 resource:Q20079 . resource:Q185382 property:P17 resource:Q47371 }
No
action is_in
entity Trevi Fountain
action intersection
action find_reverse
entity Tarzo
relation country
action find_reverse
entity Kirchberg
relation country
['Trevi Fountain', 'country', 'Tarzo'] ['Trevi Fountain', 'country', 'Kirchberg']
ASK WHERE { resource:Trevi_Fountain property:country resource:Kirchberg . resource:Trevi_Fountain property:country resource:Tarzo }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1016821 Q858530
P47
Q20667921
USER
Does Hautes-Duyes have a shared border with Thoard ?
(Q1016821,P47,Q858530)
action is_in
entity Q858530
action find
entity Q1016821
relation P47
['Q1016821', 'P47', 'Q858530']
ASK WHERE { resource:Q1016821 property:P47 resource:Q858530 }
Thoard Hautes-Duyes
action is_in
entity Hautes-Duyes
action find
entity Thoard
relation shares border with
['Thoard', 'shares border with', 'Hautes-Duyes']
ASK WHERE { resource:Thoard property:shares_border_with resource:Hautes-Duyes }
[]
type of french administrative division
SYSTEM
YES
(Q1016821,P47,Q858530)
action is_in
entity Q858530
action find
entity Q1016821
relation P47
[ANSWER]
['Q1016821', 'P47', 'Q858530']
ASK WHERE { resource:Q1016821 property:P47 resource:Q858530 }
Yes
action is_in
entity Hautes-Duyes
action find
entity Thoard
relation shares border with
['Thoard', 'shares border with', 'Hautes-Duyes']
ASK WHERE { resource:Thoard property:shares_border_with resource:Hautes-Duyes }
[]