Simple Question (Direct)
Simple Question
Q3125
P47
Q15089
USER
Who share the border with Hautes-Alpes ?
(Q3125,P47,c(Q15089))
action filter_type
action find
entity Q3125
relation P47
type Q15089
['Q3125', 'P47', {'concept': 'Q15089'}]
SELECT DISTINCT ?e WHERE { resource:Q3125 property:P47 ?e . ?e rdf:type ontology:Q15089 }
Hautes-Alpes
action filter_type
action find
entity Hautes-Alpes
relation shares border with
type province of Italy
['Hautes-Alpes', 'shares border with', {'concept': 'province of Italy'}]
SELECT DISTINCT ?e WHERE { resource:Hautes-Alpes property:shares_border_with ?e . ?e rdf:type ontology:province_of_Italy }
[]
province of Italy
Q15091 Q16287
SYSTEM
Province of Cuneo, Province of Turin
Q15091 Q16287
(Q3125,P47,c(Q15089))
action filter_type
action find
entity Q3125
relation P47
type Q15089
[ANSWERS] share the border with Hautes-Alpes
['Q3125', 'P47', {'concept': 'Q15089'}]
SELECT DISTINCT ?e WHERE { resource:Q3125 property:P47 ?e . ?e rdf:type ontology:Q15089 }
Province of Cuneo Province of Turin
Province of Cuneo and Province of Turin share the border with Hautes-Alpes
Province of Cuneo Province of Turin
action filter_type
action find
entity Hautes-Alpes
relation shares border with
type province of Italy
['Hautes-Alpes', 'shares border with', {'concept': 'province of Italy'}]
SELECT DISTINCT ?e WHERE { resource:Hautes-Alpes property:shares_border_with ?e . ?e rdf:type ontology:province_of_Italy }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q15091 Q16287
P47
Q15617994
USER
Which administrative territories share border with Province of Cuneo and Province of Turin ?
(Q15091,P47,c(Q15617994)) (Q16287,P47,c(Q15617994))
action union
action filter_type
action find
entity Q15091
relation P47
type Q15617994
action filter_type
action find
entity Q16287
relation P47
type Q15617994
['Q15091', 'P47', {'concept': 'Q15617994'}] ['Q16287', 'P47', {'concept': 'Q15617994'}]
SELECT DISTINCT ?z WHERE { VALUES ( ?h ) { ( resource:Q15091 ) ( resource:Q16287 ) } . ?h property:P47 ?z }
Province of Cuneo Province of Turin
action union
action filter_type
action find
entity Province of Cuneo
relation shares border with
type designation for an administrative territorial entity
action filter_type
action find
entity Province of Turin
relation shares border with
type designation for an administrative territorial entity
['Province of Cuneo', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Province of Turin', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?z WHERE { VALUES ( ?h ) { ( resource:Province_of_Cuneo ) ( resource:Province_of_Turin ) } . ?h property:shares_border_with ?z }
[]
designation for an administrative territorial entity
Q3131 Q1222 Q3125
SYSTEM
Alpes-de-Haute-Provence, Aosta Valley, Hautes-Alpes
Q3125 Q3131 Q3139 Q12745 Q3125 Q1222
(Q15091,P47,c(Q15617994)) (Q16287,P47,c(Q15617994))
action union
action filter_type
action find
entity Q15091
relation P47
type Q15617994
action filter_type
action find
entity Q16287
relation P47
type Q15617994
[ANSWERS] share border with Province of Cuneo and Province of Turin
['Q15091', 'P47', {'concept': 'Q15617994'}] ['Q16287', 'P47', {'concept': 'Q15617994'}]
SELECT DISTINCT ?z WHERE { VALUES ( ?h ) { ( resource:Q15091 ) ( resource:Q16287 ) } . ?h property:P47 ?z }
Hautes-Alpes Alpes-de-Haute-Provence Alpes-Maritimes Savoie Hautes-Alpes Aosta Valley
Alpes-de-Haute-Provence, Aosta Valley and Hautes-Alpes share border with Province of Cuneo and Province of Turin
Alpes-de-Haute-Provence Aosta Valley Hautes-Alpes
action union
action filter_type
action find
entity Province of Cuneo
relation shares border with
type designation for an administrative territorial entity
action filter_type
action find
entity Province of Turin
relation shares border with
type designation for an administrative territorial entity
['Province of Cuneo', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Province of Turin', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?z WHERE { VALUES ( ?h ) { ( resource:Province_of_Cuneo ) ( resource:Province_of_Turin ) } . ?h property:shares_border_with ?z }
[]
Clarification
Simple Question|Single Entity|Indirect
Q3131
P19
Q502895
USER
Which person has place of birth as that administrative territory ?
(c(Q502895),P19,Q3131)
action filter_type
action find_reverse
entity Q3131
relation P19
type Q502895
[{'concept': 'Q502895'}, 'P19', 'Q3131']
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:Q502895 . ?m property:P19 resource:Q3131 }
Alpes-de-Haute-Provence
action filter_type
action find_reverse
entity Alpes-de-Haute-Provence
relation place of birth
type common name
[{'concept': 'common name'}, 'place of birth', 'Alpes-de-Haute-Provence']
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:common_name . ?m property:place_of_birth resource:Alpes-de-Haute-Provence }
[]
common name
Clarification for simple ques.
Q3125
SYSTEM
Did you mean Hautes-Alpes ?
Q3131 Q1222 Q3125
(c(Q502895),P19,Q3131) (c(Q502895),P19,Q1222) (c(Q502895),P19,Q3125)
[ANSWER]
[{'concept': 'Q502895'}, 'P19', 'Q3131'] [{'concept': 'Q502895'}, 'P19', 'Q1222'] [{'concept': 'Q502895'}, 'P19', 'Q3125']
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:Q502895 . ?m property:P19 resource:Q3131 }
Alpes-de-Haute-Provence Aosta Valley Hautes-Alpes
Did you mean Hautes-Alpes ?
Hautes-Alpes
[{'concept': 'common name'}, 'place of birth', 'Alpes-de-Haute-Provence'] [{'concept': 'common name'}, 'place of birth', 'Aosta Valley'] [{'concept': 'common name'}, 'place of birth', 'Hautes-Alpes']
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:common_name . ?m property:place_of_birth resource:Alpes-de-Haute-Provence }
[]
Simple Question (Coreferenced)
USER
No, I meant Alpes-de-Haute-Provence. Could you tell me the answer for that?
(c(Q502895),P19,Q3131)
Q3131
[{'concept': 'Q502895'}, 'P19', 'Q3131']
[{'concept': 'common name'}, 'place of birth', 'Alpes-de-Haute-Provence']
[]
Q1451223
SYSTEM
François de Baschi
Q1451223
(c(Q502895),P19,Q3131)
action filter_type
action find_reverse
entity Q3131
relation P19
type Q502895
[ANSWER] has place of birth as that administrative territory
[{'concept': 'Q502895'}, 'P19', 'Q3131']
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:Q502895 . ?m property:P19 resource:Q3131 }
François de Baschi
François de Baschi has place of birth as that administrative territory
François de Baschi
action filter_type
action find_reverse
entity Alpes-de-Haute-Provence
relation place of birth
type common name
[{'concept': 'common name'}, 'place of birth', 'Alpes-de-Haute-Provence']
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:common_name . ?m property:place_of_birth resource:Alpes-de-Haute-Provence }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type
Q753848
P725
Q502895 Q15961987
USER
How many television genres did lesser number of people dub for than TaleSpin ?
(c(Q15961987),P725,c(Q502895))
action count
action less
action find_tuple_counts
relation P725
type Q15961987
type Q502895
action count
action filter_type
action find
entity Q753848
relation P725
type Q502895
[{'concept': 'Q15961987'}, 'P725', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?b ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?a ) AS ?r ) WHERE { ?y property:P725 ?a . ?y rdf:type ontology:Q15961987 . ?a rdf:type ontology:Q502895 } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?f ) WHERE { resource:Q753848 property:P725 ?k . ?k rdf:type ontology:Q502895 } } . FILTER ( ?r < ?f ) }
TaleSpin
action count
action less
action find_tuple_counts
relation voice actor
type television genre
type common name
action count
action filter_type
action find
entity TaleSpin
relation voice actor
type common name
[{'concept': 'television genre'}, 'voice actor', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?b ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?a ) AS ?r ) WHERE { ?y property:voice_actor ?a . ?y rdf:type ontology:television_genre . ?a rdf:type ontology:common_name } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?f ) WHERE { resource:TaleSpin property:voice_actor ?k . ?k rdf:type ontology:common_name } } . FILTER ( ?r < ?f ) }
[]
common name television genre
SYSTEM
3
Q11572 Q847219 Q917543
(c(Q15961987),P725,c(Q502895))
action count
action less
action find_tuple_counts
relation P725
type Q15961987
type Q502895
action count
action filter_type
action find
entity Q753848
relation P725
type Q502895
[ANSWER]
[{'concept': 'Q15961987'}, 'P725', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?b ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?a ) AS ?r ) WHERE { ?y property:P725 ?a . ?y rdf:type ontology:Q15961987 . ?a rdf:type ontology:Q502895 } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?f ) WHERE { resource:Q753848 property:P725 ?k . ?k rdf:type ontology:Q502895 } } . FILTER ( ?r < ?f ) }
Avatar: The Last Airbender Pururun! Shizuku-chan The Garfield Show
3
action count
action less
action find_tuple_counts
relation voice actor
type television genre
type common name
action count
action filter_type
action find
entity TaleSpin
relation voice actor
type common name
[{'concept': 'television genre'}, 'voice actor', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?b ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?a ) AS ?r ) WHERE { ?y property:voice_actor ?a . ?y rdf:type ontology:television_genre . ?a rdf:type ontology:common_name } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?f ) WHERE { resource:TaleSpin property:voice_actor ?k . ?k rdf:type ontology:common_name } } . FILTER ( ?r < ?f ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type|Incomplete
Q22773153
P725
Q502895 Q15961987
USER
And how about Milo Murphy's Law?
(c(Q15961987),P725,c(Q502895))
action count
action less
action find_tuple_counts
relation P725
type Q15961987
type Q502895
action count
action filter_type
action find
entity Q22773153
relation P725
type Q502895
[{'concept': 'Q15961987'}, 'P725', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?v ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?l ) AS ?t ) WHERE { ?h property:P725 ?l . ?l rdf:type ontology:Q502895 . ?h rdf:type ontology:Q15961987 } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?z ) WHERE { resource:Q22773153 property:P725 ?i . ?i rdf:type ontology:Q502895 } } . FILTER ( ?t < ?z ) }
Milo Murphy's Law
action count
action less
action find_tuple_counts
relation voice actor
type television genre
type common name
action count
action filter_type
action find
entity Milo Murphy's Law
relation voice actor
type common name
[{'concept': 'television genre'}, 'voice actor', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?v ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?l ) AS ?t ) WHERE { ?h property:voice_actor ?l . ?l rdf:type ontology:common_name . ?h rdf:type ontology:television_genre } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?z ) WHERE { resource:Milo_Murphy's_Law property:voice_actor ?i . ?i rdf:type ontology:common_name } } . FILTER ( ?t < ?z ) }
[]
common name television genre
SYSTEM
14
Q11572 Q24034511 Q11296848 Q7615342 Q3235151 Q576501 Q18790 Q847219 Q53093 Q753848 Q5415 Q886 Q917543 Q2750339
(c(Q15961987),P725,c(Q502895))
action count
action less
action find_tuple_counts
relation P725
type Q15961987
type Q502895
action count
action filter_type
action find
entity Q22773153
relation P725
type Q502895
[ANSWER]
[{'concept': 'Q15961987'}, 'P725', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?v ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?l ) AS ?t ) WHERE { ?h property:P725 ?l . ?l rdf:type ontology:Q502895 . ?h rdf:type ontology:Q15961987 } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?z ) WHERE { resource:Q22773153 property:P725 ?i . ?i rdf:type ontology:Q502895 } } . FILTER ( ?t < ?z ) }
Avatar: The Last Airbender Voltron: Legendary Defender Kiteretsu Daihyakka Steven Universe VeggieTales Garfield and Friends The Legend of Korra Pururun! Shizuku-chan Adventure Time TaleSpin My Little Pony: Friendship Is Magic The Simpsons The Garfield Show Hellsing Ultimate
14
action count
action less
action find_tuple_counts
relation voice actor
type television genre
type common name
action count
action filter_type
action find
entity Milo Murphy's Law
relation voice actor
type common name
[{'concept': 'television genre'}, 'voice actor', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?v ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?l ) AS ?t ) WHERE { ?h property:voice_actor ?l . ?l rdf:type ontology:common_name . ?h rdf:type ontology:television_genre } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?z ) WHERE { resource:Milo_Murphy's_Law property:voice_actor ?i . ?i rdf:type ontology:common_name } } . FILTER ( ?t < ?z ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q3131
P1376
Q20667921
USER
Which french administrative division is center of administration for Alpes-de-Haute-Provence ?
(c(Q20667921),P1376,Q3131)
action filter_type
action find_reverse
entity Q3131
relation P1376
type Q20667921
[{'concept': 'Q20667921'}, 'P1376', 'Q3131']
SELECT DISTINCT ?m WHERE { ?m property:P1376 resource:Q3131 . ?m rdf:type ontology:Q20667921 }
Alpes-de-Haute-Provence
action filter_type
action find_reverse
entity Alpes-de-Haute-Provence
relation capital of
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'capital of', 'Alpes-de-Haute-Provence']
SELECT DISTINCT ?m WHERE { ?m property:capital_of resource:Alpes-de-Haute-Provence . ?m rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q181306
SYSTEM
Digne-les-Bains
Q181306
(c(Q20667921),P1376,Q3131)
action filter_type
action find_reverse
entity Q3131
relation P1376
type Q20667921
[ANSWER] is center of administration for Alpes-de-Haute-Provence
[{'concept': 'Q20667921'}, 'P1376', 'Q3131']
SELECT DISTINCT ?m WHERE { ?m property:P1376 resource:Q3131 . ?m rdf:type ontology:Q20667921 }
Digne-les-Bains
Digne-les-Bains is center of administration for Alpes-de-Haute-Provence
Digne-les-Bains
action filter_type
action find_reverse
entity Alpes-de-Haute-Provence
relation capital of
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'capital of', 'Alpes-de-Haute-Provence']
SELECT DISTINCT ?m WHERE { ?m property:capital_of resource:Alpes-de-Haute-Provence . ?m rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q3131
P1071
Q185217
USER
Which dairy product has that administrative territory as its final place of assembly ?
(c(Q185217),P1071,Q181306)
action filter_type
action find_reverse
entity Q3131
relation P1071
type Q185217
[{'concept': 'Q185217'}, 'P1071', 'Q181306']
SELECT DISTINCT ?q WHERE { ?q property:P1071 resource:Q3131 . ?q rdf:type ontology:Q185217 }
Alpes-de-Haute-Provence
action filter_type
action find_reverse
entity Alpes-de-Haute-Provence
relation location of final assembly
type dairy product
[{'concept': 'dairy product'}, 'location of final assembly', 'Digne-les-Bains']
SELECT DISTINCT ?q WHERE { ?q property:location_of_final_assembly resource:Alpes-de-Haute-Provence . ?q rdf:type ontology:dairy_product }
[]
dairy product
Q772326
SYSTEM
Banon cheese
Q772326
(c(Q185217),P1071,Q181306)
action filter_type
action find_reverse
entity Q3131
relation P1071
type Q185217
[ANSWER] has that administrative territory as its final place of assembly
[{'concept': 'Q185217'}, 'P1071', 'Q181306']
SELECT DISTINCT ?q WHERE { ?q property:P1071 resource:Q3131 . ?q rdf:type ontology:Q185217 }
Banon cheese
Banon cheese has that administrative territory as its final place of assembly
Banon cheese
action filter_type
action find_reverse
entity Alpes-de-Haute-Provence
relation location of final assembly
type dairy product
[{'concept': 'dairy product'}, 'location of final assembly', 'Digne-les-Bains']
SELECT DISTINCT ?q WHERE { ?q property:location_of_final_assembly resource:Alpes-de-Haute-Provence . ?q rdf:type ontology:dairy_product }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q772326 Q142
P495
Q15617994
USER
Is France the country of origin of Banon cheese ?
(Q772326,P495,Q142)
action is_in
entity Q142
action find
entity Q772326
relation P495
['Q772326', 'P495', 'Q142']
ASK WHERE { resource:Q772326 property:P495 resource:Q142 }
Banon cheese France
action is_in
entity France
action find
entity Banon cheese
relation country of origin
['Banon cheese', 'country of origin', 'France']
ASK WHERE { resource:Banon_cheese property:country_of_origin resource:France }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q772326,P495,Q142)
action is_in
entity Q142
action find
entity Q772326
relation P495
[ANSWER]
['Q772326', 'P495', 'Q142']
ASK WHERE { resource:Q772326 property:P495 resource:Q142 }
Yes
action is_in
entity France
action find
entity Banon cheese
relation country of origin
['Banon cheese', 'country of origin', 'France']
ASK WHERE { resource:Banon_cheese property:country_of_origin resource:France }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q3131 Q142
P17
Q15617994
USER
Is Alpes-de-Haute-Provence present in France ?
(Q3131,P17,Q142)
action is_in
entity Q142
action find
entity Q3131
relation P17
['Q3131', 'P17', 'Q142']
ASK WHERE { resource:Q3131 property:P17 resource:Q142 }
Alpes-de-Haute-Provence France
action is_in
entity France
action find
entity Alpes-de-Haute-Provence
relation country
['Alpes-de-Haute-Provence', 'country', 'France']
ASK WHERE { resource:Alpes-de-Haute-Provence property:country resource:France }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q3131,P17,Q142)
action is_in
entity Q142
action find
entity Q3131
relation P17
[ANSWER]
['Q3131', 'P17', 'Q142']
ASK WHERE { resource:Q3131 property:P17 resource:Q142 }
Yes
action is_in
entity France
action find
entity Alpes-de-Haute-Provence
relation country
['Alpes-de-Haute-Provence', 'country', 'France']
ASK WHERE { resource:Alpes-de-Haute-Provence property:country resource:France }
[]