Simple Question (Direct)
Simple Question
Q194130
P47
Q20667921
USER
Who share the border with Verneuil-sur-Vienne ?
(Q194130,P47,c(Q20667921))
action filter_type
action find
entity Q194130
relation P47
type Q20667921
['Q194130', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q20667921 . resource:Q194130 property:P47 ?h }
Verneuil-sur-Vienne
action filter_type
action find
entity Verneuil-sur-Vienne
relation shares border with
type type of french administrative division
['Verneuil-sur-Vienne', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:type_of_french_administrative_division . resource:Verneuil-sur-Vienne property:shares_border_with ?h }
[]
type of french administrative division
Q45656 Q274245 Q937719
SYSTEM
Limoges, Aixe-sur-Vienne, Isle
Q202486 Q194174 Q274245 Q178660 Q595032 Q937719 Q45656 Q190700 Q766537
(Q194130,P47,c(Q20667921))
action filter_type
action find
entity Q194130
relation P47
type Q20667921
[ANSWERS] share the border with Verneuil-sur-Vienne
['Q194130', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q20667921 . resource:Q194130 property:P47 ?h }
Saint-Priest-sous-Aixe Sainte-Marie-de-Vaux Aixe-sur-Vienne Saint-Yrieix-sous-Aixe Veyrac Isle Limoges Saint-Gence Saint-Victurnien
Limoges, Aixe-sur-Vienne and Isle share the border with Verneuil-sur-Vienne
Limoges Aixe-sur-Vienne Isle
action filter_type
action find
entity Verneuil-sur-Vienne
relation shares border with
type type of french administrative division
['Verneuil-sur-Vienne', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:type_of_french_administrative_division . resource:Verneuil-sur-Vienne property:shares_border_with ?h }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q194130
P17
Q15617994
USER
Which administrative territory is Verneuil-sur-Vienne present in ?
(Q194130,P17,c(Q15617994))
action filter_type
action find
entity Q194130
relation P17
type Q15617994
['Q194130', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?s WHERE { resource:Q194130 property:P17 ?s . ?s rdf:type ontology:Q15617994 }
Verneuil-sur-Vienne
action filter_type
action find
entity Verneuil-sur-Vienne
relation country
type designation for an administrative territorial entity
['Verneuil-sur-Vienne', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Verneuil-sur-Vienne property:country ?s . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142
SYSTEM
France
Q142
(Q194130,P17,c(Q15617994))
action filter_type
action find
entity Q194130
relation P17
type Q15617994
Which administrative territory is Verneuil-sur-Vienne present in
['Q194130', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?s WHERE { resource:Q194130 property:P17 ?s . ?s rdf:type ontology:Q15617994 }
France
Which administrative territory is Verneuil-sur-Vienne present in
France
action filter_type
action find
entity Verneuil-sur-Vienne
relation country
type designation for an administrative territorial entity
['Verneuil-sur-Vienne', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Verneuil-sur-Vienne property:country ?s . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q142 Q2398611
P27
Q502895
USER
Is Joseph Roos a native of that administrative territory ?
(Q2398611,P27,Q142)
action is_in
entity Q142
action find
entity Q2398611
relation P27
['Q2398611', 'P27', 'Q142']
ASK WHERE { resource:Q2398611 property:P27 resource:Q142 }
France Joseph Roos
action is_in
entity France
action find
entity Joseph Roos
relation country of citizenship
['Joseph Roos', 'country of citizenship', 'France']
ASK WHERE { resource:Joseph_Roos property:country_of_citizenship resource:France }
[]
common name
SYSTEM
YES
(Q2398611,P27,Q142)
action is_in
entity Q142
action find
entity Q2398611
relation P27
[ANSWER]
['Q2398611', 'P27', 'Q142']
ASK WHERE { resource:Q2398611 property:P27 resource:Q142 }
Yes
action is_in
entity France
action find
entity Joseph Roos
relation country of citizenship
['Joseph Roos', 'country of citizenship', 'France']
ASK WHERE { resource:Joseph_Roos property:country_of_citizenship resource:France }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q45656
P119
Q502895
USER
Who has Limoges as his/her tomb ?
(c(Q502895),P119,Q45656)
action filter_type
action find_reverse
entity Q45656
relation P119
type Q502895
[{'concept': 'Q502895'}, 'P119', 'Q45656']
SELECT DISTINCT ?z WHERE { ?z property:P119 resource:Q45656 . ?z rdf:type ontology:Q502895 }
Limoges
action filter_type
action find_reverse
entity Limoges
relation place of burial
type common name
[{'concept': 'common name'}, 'place of burial', 'Limoges']
SELECT DISTINCT ?z WHERE { ?z property:place_of_burial resource:Limoges . ?z rdf:type ontology:common_name }
[]
common name
Q777477
SYSTEM
Henri Coutheillas
Q777477
(c(Q502895),P119,Q45656)
action filter_type
action find_reverse
entity Q45656
relation P119
type Q502895
[ANSWER] has Limoges as his/her tomb
[{'concept': 'Q502895'}, 'P119', 'Q45656']
SELECT DISTINCT ?z WHERE { ?z property:P119 resource:Q45656 . ?z rdf:type ontology:Q502895 }
Henri Coutheillas
Henri Coutheillas has Limoges as his/her tomb
Henri Coutheillas
action filter_type
action find_reverse
entity Limoges
relation place of burial
type common name
[{'concept': 'common name'}, 'place of burial', 'Limoges']
SELECT DISTINCT ?z WHERE { ?z property:place_of_burial resource:Limoges . ?z rdf:type ontology:common_name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q45656
P1071
Q214609
USER
Which material has Limoges as its location of final assembly ?
(c(Q214609),P1071,Q45656)
action filter_type
action find_reverse
entity Q45656
relation P1071
type Q214609
[{'concept': 'Q214609'}, 'P1071', 'Q45656']
SELECT DISTINCT ?w WHERE { ?w property:P1071 resource:Q45656 . ?w rdf:type ontology:Q214609 }
Limoges
action filter_type
action find_reverse
entity Limoges
relation location of final assembly
type material
[{'concept': 'material'}, 'location of final assembly', 'Limoges']
SELECT DISTINCT ?w WHERE { ?w property:location_of_final_assembly resource:Limoges . ?w rdf:type ontology:material }
[]
material
Q3398126
SYSTEM
Limoges porcelain
Q3398126
(c(Q214609),P1071,Q45656)
action filter_type
action find_reverse
entity Q45656
relation P1071
type Q214609
[ANSWER] has Limoges as its location of final assembly
[{'concept': 'Q214609'}, 'P1071', 'Q45656']
SELECT DISTINCT ?w WHERE { ?w property:P1071 resource:Q45656 . ?w rdf:type ontology:Q214609 }
Limoges porcelain
Limoges porcelain has Limoges as its location of final assembly
Limoges porcelain
action filter_type
action find_reverse
entity Limoges
relation location of final assembly
type material
[{'concept': 'material'}, 'location of final assembly', 'Limoges']
SELECT DISTINCT ?w WHERE { ?w property:location_of_final_assembly resource:Limoges . ?w rdf:type ontology:material }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P186
Q214609 Q3565782
USER
Which navigational aids use max number of materials as material for their making ?
(c(Q3565782),P186,c(Q214609))
action argmax
action find_tuple_counts
relation P186
type Q3565782
type Q214609
[{'concept': 'Q3565782'}, 'P186', {'concept': 'Q214609'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( MAX ( ?p ) AS ?x ) { SELECT DISTINCT ?s ( COUNT ( ?y ) AS ?p ) WHERE { ?y rdf:type ontology:Q214609 . ?s rdf:type ontology:Q3565782 . ?s property:P186 ?y } GROUP BY ?s } } . FILTER ( ?l = ?x ) . { SELECT DISTINCT ?j ( COUNT ( ?w ) AS ?l ) WHERE { ?j property:P186 ?w . ?j rdf:type ontology:Q3565782 . ?w rdf:type ontology:Q214609 } GROUP BY ?j } }
action argmax
action find_tuple_counts
relation material used
type navigational aid
type material
[{'concept': 'navigational aid'}, 'material used', {'concept': 'material'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( MAX ( ?p ) AS ?x ) { SELECT DISTINCT ?s ( COUNT ( ?y ) AS ?p ) WHERE { ?y rdf:type ontology:material . ?s rdf:type ontology:navigational_aid . ?s property:material_used ?y } GROUP BY ?s } } . FILTER ( ?l = ?x ) . { SELECT DISTINCT ?j ( COUNT ( ?w ) AS ?l ) WHERE { ?j property:material_used ?w . ?j rdf:type ontology:navigational_aid . ?w rdf:type ontology:material } GROUP BY ?j } }
[]
material navigational aid
Q10700432 Q39858 Q21030715
SYSTEM
Torsvik lightouse, Pointe-au-Père Lighthouse, Machias Seal Island Lighthouse
Q10474994 Q2085048 Q39858 Q10728413 Q5612869 Q10431416 Q1707940 Q3378253 Q1821451 Q10519294 Q16605095 Q19403412 Q10700432 Q7587435 Q10498603 Q304471 Q21030715 Q15728460 Q19291759 Q19279502 Q10691829 Q1137592 Q1821446 Q10711098
(c(Q3565782),P186,c(Q214609))
action argmax
action find_tuple_counts
relation P186
type Q3565782
type Q214609
[ANSWERS] use max number of materials as material for their making
[{'concept': 'Q3565782'}, 'P186', {'concept': 'Q214609'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( MAX ( ?p ) AS ?x ) { SELECT DISTINCT ?s ( COUNT ( ?y ) AS ?p ) WHERE { ?y rdf:type ontology:Q214609 . ?s rdf:type ontology:Q3565782 . ?s property:P186 ?y } GROUP BY ?s } } . FILTER ( ?l = ?x ) . { SELECT DISTINCT ?j ( COUNT ( ?w ) AS ?l ) WHERE { ?j property:P186 ?w . ?j rdf:type ontology:Q3565782 . ?w rdf:type ontology:Q214609 } GROUP BY ?j } }
Djursten Prince Shoal Light Pointe-au-Père Lighthouse Östra Stendörren Grönskär Blockhusudden Leuchtturm Staberhuk High lighthouse of Heist Landsort lighthouse Heidenstam lighthouse Île aux Perroquets Lighthouse Eckernförde lighthouse (1986) Torsvik lightouse St. Catherine's Oratory French Rocks Bremerhaven lighthouse Machias Seal Island Lighthouse Svenska Högarna lighthouse Phare de l'Île-d'Entrée Arenas Blancas Lighthouse Tegelhällan Maasvlakte Light Leuchtturm Norderney Ursholmen
Torsvik lightouse, Pointe-au-Père Lighthouse and Machias Seal Island Lighthouse use max number of materials as material for their making
Torsvik lightouse Pointe-au-Père Lighthouse Machias Seal Island Lighthouse
action argmax
action find_tuple_counts
relation material used
type navigational aid
type material
[{'concept': 'navigational aid'}, 'material used', {'concept': 'material'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( MAX ( ?p ) AS ?x ) { SELECT DISTINCT ?s ( COUNT ( ?y ) AS ?p ) WHERE { ?y rdf:type ontology:material . ?s rdf:type ontology:navigational_aid . ?s property:material_used ?y } GROUP BY ?s } } . FILTER ( ?l = ?x ) . { SELECT DISTINCT ?j ( COUNT ( ?w ) AS ?l ) WHERE { ?j property:material_used ?w . ?j rdf:type ontology:navigational_aid . ?w rdf:type ontology:material } GROUP BY ?j } }
[]
Clarification
Comparative|Count over More/Less|Mult. entity type|Indirect
P186
Q5447188 Q214609 Q3565782
USER
How many navigational aids are constructed approximately the same number of solutions or materials as that navigational aid ?
(c(Q3565782),P186,c(Q5447188)|c(Q214609))
[{'concept': 'Q3565782'}, 'P186', [{'concept': 'Q5447188'}, {'concept': 'Q214609'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?w ) WHERE { { { ?z property:P186 ?y } UNION { ?z property:P186 ?x } } . ?z rdf:type ontology:Q3565782 . ?y rdf:type ontology:Q5447188 . ?x rdf:type ontology:Q214609 }
[{'concept': 'navigational aid'}, 'material used', [{'concept': 'solution'}, {'concept': 'material'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?w ) WHERE { { { ?z property:material_used ?y } UNION { ?z property:material_used ?x } } . ?z rdf:type ontology:navigational_aid . ?y rdf:type ontology:solution . ?x rdf:type ontology:material }
[]
solution material navigational aid
Comparative|Count over More/Less|Mult. entity type|Clarification
Q39858
SYSTEM
Did you mean Pointe-au-Père Lighthouse ?
(c(Q3565782),P186,c(Q5447188)|c(Q214609))
[ANSWER]
[{'concept': 'Q3565782'}, 'P186', [{'concept': 'Q5447188'}, {'concept': 'Q214609'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?w ) WHERE { { { ?z property:P186 ?y } UNION { ?z property:P186 ?x } } . ?z rdf:type ontology:Q3565782 . ?y rdf:type ontology:Q5447188 . ?x rdf:type ontology:Q214609 }
Did you mean Pointe-au-Père Lighthouse ?
Pointe-au-Père Lighthouse
[{'concept': 'navigational aid'}, 'material used', [{'concept': 'solution'}, {'concept': 'material'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?w ) WHERE { { { ?z property:material_used ?y } UNION { ?z property:material_used ?x } } . ?z rdf:type ontology:navigational_aid . ?y rdf:type ontology:solution . ?x rdf:type ontology:material }
[]
Comparative Reasoning (Count) (All)
USER
No, I meant Machias Seal Island Lighthouse. Could you tell me the answer for that?
(c(Q3565782),P186,c(Q5447188)|c(Q214609))
Q21030715
[{'concept': 'Q3565782'}, 'P186', [{'concept': 'Q5447188'}, {'concept': 'Q214609'}]]
[{'concept': 'navigational aid'}, 'material used', [{'concept': 'solution'}, {'concept': 'material'}]]
[]
SYSTEM
24
Q10474994 Q2085048 Q39858 Q10728413 Q5612869 Q10431416 Q1707940 Q3378253 Q1821451 Q10519294 Q16605095 Q19403412 Q10700432 Q7587435 Q10498603 Q304471 Q21030715 Q19291759 Q19279502 Q10691829 Q1137592 Q1821446 Q15071756 Q10711098
(c(Q3565782),P186,c(Q5447188)|c(Q214609))
[ANSWER]
[{'concept': 'Q3565782'}, 'P186', [{'concept': 'Q5447188'}, {'concept': 'Q214609'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?w ) WHERE { { { ?z property:P186 ?y } UNION { ?z property:P186 ?x } } . ?z rdf:type ontology:Q3565782 . ?y rdf:type ontology:Q5447188 . ?x rdf:type ontology:Q214609 }
Djursten Prince Shoal Light Pointe-au-Père Lighthouse Östra Stendörren Grönskär Blockhusudden Leuchtturm Staberhuk High lighthouse of Heist Landsort lighthouse Heidenstam lighthouse Île aux Perroquets Lighthouse Eckernförde lighthouse (1986) Torsvik lightouse St. Catherine's Oratory French Rocks Bremerhaven lighthouse Machias Seal Island Lighthouse Phare de l'Île-d'Entrée Arenas Blancas Lighthouse Tegelhällan Maasvlakte Light Leuchtturm Norderney Cape Pine Light Ursholmen
24
[{'concept': 'navigational aid'}, 'material used', [{'concept': 'solution'}, {'concept': 'material'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?w ) WHERE { { { ?z property:material_used ?y } UNION { ?z property:material_used ?x } } . ?z rdf:type ontology:navigational_aid . ?y rdf:type ontology:solution . ?x rdf:type ontology:material }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q45656
P36
Q20667921
USER
Which french administrative divisions have Limoges as their capital ?
(c(Q20667921),P36,Q45656)
action filter_type
action find_reverse
entity Q45656
relation P36
type Q20667921
[{'concept': 'Q20667921'}, 'P36', 'Q45656']
SELECT DISTINCT ?h WHERE { ?h property:P36 resource:Q45656 . ?h rdf:type ontology:Q20667921 }
Limoges
action filter_type
action find_reverse
entity Limoges
relation capital
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'capital', 'Limoges']
SELECT DISTINCT ?h WHERE { ?h property:capital resource:Limoges . ?h rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q20899800 Q20899801 Q20899802
SYSTEM
canton of Limoges-7, canton of Limoges-8, canton of Limoges-9
Q20899800 Q20899801 Q20899802 Q570751 Q1690539 Q956905 Q1508904 Q1407532 Q1725923 Q1725925 Q1725924 Q1720574 Q20899794 Q20899795 Q20899796 Q20899797 Q1591516 Q1532137 Q20899798 Q20899799 Q736534 Q1725937 Q1725934 Q1725933 Q1725931
(c(Q20667921),P36,Q45656)
action filter_type
action find_reverse
entity Q45656
relation P36
type Q20667921
[ANSWERS] have Limoges as their capital
[{'concept': 'Q20667921'}, 'P36', 'Q45656']
SELECT DISTINCT ?h WHERE { ?h property:P36 resource:Q45656 . ?h rdf:type ontology:Q20667921 }
canton of Limoges-7 canton of Limoges-8 canton of Limoges-9 canton of Limoges-Vigenal canton of Limoges-Isle canton of Limoges-Centre canton of Limoges-Cité canton of Limoges-Couzeix canton of Limoges-Carnot canton of Limoges-Grand-Treuil canton of Limoges-Corgnac canton of Limoges-Émailleurs canton of Limoges-1 canton of Limoges-2 canton of Limoges-3 canton of Limoges-4 canton of Limoges-Le Palais canton of Limoges-Beaupuy canton of Limoges-5 canton of Limoges-6 canton of Limoges-Condat canton of Limoges-Puy-las-Rodas canton of Limoges-Panazol canton of Limoges-Landouge canton of Limoges-La Bastide
Canton of Limoges-7, canton of Limoges-8 and canton of Limoges-9 have Limoges as their capital
canton of Limoges-7 canton of Limoges-8 canton of Limoges-9
action filter_type
action find_reverse
entity Limoges
relation capital
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'capital', 'Limoges']
SELECT DISTINCT ?h WHERE { ?h property:capital resource:Limoges . ?h rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q20899800 Q20899801 Q20899802
P36
Q20667921
USER
Which french administrative divisions are called the capital of canton of Limoges-7, canton of Limoges-8 and canton of Limoges-9 ?
(Q20899800,P36,c(Q20667921)) (Q20899801,P36,c(Q20667921)) (Q20899802,P36,c(Q20667921))
action union
action filter_type
action find
entity Q20899800
relation P36
type Q20667921
action filter_type
action find
entity Q20899801
relation P36
type Q20667921
action filter_type
action find
entity Q20899802
relation P36
type Q20667921
['Q20899800', 'P36', {'concept': 'Q20667921'}] ['Q20899801', 'P36', {'concept': 'Q20667921'}] ['Q20899802', 'P36', {'concept': 'Q20667921'}]
SELECT DISTINCT ?y WHERE { { resource:Q20899800 property:P36 ?y . ?y rdf:type ontology:Q20667921 } UNION { resource:Q20899801 property:P36 ?y . ?y rdf:type ontology:Q20667921 } }
canton of Limoges-7 canton of Limoges-8 canton of Limoges-9
action union
action filter_type
action find
entity canton of Limoges-7
relation capital
type type of french administrative division
action filter_type
action find
entity canton of Limoges-8
relation capital
type type of french administrative division
action filter_type
action find
entity canton of Limoges-9
relation capital
type type of french administrative division
['canton of Limoges-7', 'capital', {'concept': 'type of french administrative division'}] ['canton of Limoges-8', 'capital', {'concept': 'type of french administrative division'}] ['canton of Limoges-9', 'capital', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?y WHERE { { resource:canton_of_Limoges-7 property:capital ?y . ?y rdf:type ontology:type_of_french_administrative_division } UNION { resource:canton_of_Limoges-8 property:capital ?y . ?y rdf:type ontology:type_of_french_administrative_division } }
[]
type of french administrative division
Q45656 Q45656 Q45656
SYSTEM
Limoges
Q45656 Q45656 Q45656
(Q20899800,P36,c(Q20667921)) (Q20899801,P36,c(Q20667921)) (Q20899802,P36,c(Q20667921))
action union
action filter_type
action find
entity Q20899800
relation P36
type Q20667921
action filter_type
action find
entity Q20899801
relation P36
type Q20667921
action filter_type
action find
entity Q20899802
relation P36
type Q20667921
[ANSWER], [ANSWER] and [ANSWER] are called the capital of canton of [ANSWER]-7, canton of [ANSWER]-8 and canton of [ANSWER]-9
['Q20899800', 'P36', {'concept': 'Q20667921'}] ['Q20899801', 'P36', {'concept': 'Q20667921'}] ['Q20899802', 'P36', {'concept': 'Q20667921'}]
SELECT DISTINCT ?y WHERE { { resource:Q20899800 property:P36 ?y . ?y rdf:type ontology:Q20667921 } UNION { resource:Q20899801 property:P36 ?y . ?y rdf:type ontology:Q20667921 } }
Limoges Limoges Limoges
Limoges, Limoges and Limoges are called the capital of canton of Limoges-7, canton of Limoges-8 and canton of Limoges-9
Limoges Limoges Limoges
action union
action filter_type
action find
entity canton of Limoges-7
relation capital
type type of french administrative division
action filter_type
action find
entity canton of Limoges-8
relation capital
type type of french administrative division
action filter_type
action find
entity canton of Limoges-9
relation capital
type type of french administrative division
['canton of Limoges-7', 'capital', {'concept': 'type of french administrative division'}] ['canton of Limoges-8', 'capital', {'concept': 'type of french administrative division'}] ['canton of Limoges-9', 'capital', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?y WHERE { { resource:canton_of_Limoges-7 property:capital ?y . ?y rdf:type ontology:type_of_french_administrative_division } UNION { resource:canton_of_Limoges-8 property:capital ?y . ?y rdf:type ontology:type_of_french_administrative_division } }
[]