Simple Question (Direct)
Simple Question
Q1141848
P47
Q20667921
USER
Which french administrative divisions have a shared border with Millay ?
(Q1141848,P47,c(Q20667921))
action filter_type
action find
entity Q1141848
relation P47
type Q20667921
['Q1141848', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?i WHERE { resource:Q1141848 property:P47 ?i . ?i rdf:type ontology:Q20667921 }
Millay
action filter_type
action find
entity Millay
relation shares border with
type type of french administrative division
['Millay', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?i WHERE { resource:Millay property:shares_border_with ?i . ?i rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q681237 Q1626807 Q890728
SYSTEM
Luzy, Saint-Didier-sur-Arroux, Avrée
Q890422 Q778315 Q1626807 Q890728 Q46569 Q681237 Q684539
(Q1141848,P47,c(Q20667921))
action filter_type
action find
entity Q1141848
relation P47
type Q20667921
[ANSWERS] have a shared border with Millay
['Q1141848', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ?i WHERE { resource:Q1141848 property:P47 ?i . ?i rdf:type ontology:Q20667921 }
Chiddes Fléty Saint-Didier-sur-Arroux Avrée Poil Luzy Larochemillay
Luzy, Saint-Didier-sur-Arroux and Avrée have a shared border with Millay
Luzy Saint-Didier-sur-Arroux Avrée
action filter_type
action find
entity Millay
relation shares border with
type type of french administrative division
['Millay', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?i WHERE { resource:Millay property:shares_border_with ?i . ?i rdf:type ontology:type_of_french_administrative_division }
[]
Clarification
Simple Question|Single Entity|Indirect
Q681237
P1376
Q20667921
USER
What has that one as its capital ?
(Q681237,P1376,c(Q20667921))
action filter_type
action find
entity Q681237
relation P1376
type Q20667921
['Q681237', 'P1376', {'concept': 'Q20667921'}]
SELECT DISTINCT ?j WHERE { resource:Q681237 property:P1376 ?j . ?j rdf:type ontology:Q20667921 }
Luzy
action filter_type
action find
entity Luzy
relation capital of
type type of french administrative division
['Luzy', 'capital of', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?j WHERE { resource:Luzy property:capital_of ?j . ?j rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Clarification for simple ques.
Q681237
SYSTEM
Did you mean Luzy ?
Q681237 Q1626807 Q890728
(Q681237,P1376,c(Q20667921)) (Q1626807,P1376,c(Q20667921)) (Q890728,P1376,c(Q20667921))
[ANSWER]
['Q681237', 'P1376', {'concept': 'Q20667921'}] ['Q1626807', 'P1376', {'concept': 'Q20667921'}] ['Q890728', 'P1376', {'concept': 'Q20667921'}]
SELECT DISTINCT ?j WHERE { resource:Q681237 property:P1376 ?j . ?j rdf:type ontology:Q20667921 }
Luzy Saint-Didier-sur-Arroux Avrée
Did you mean Luzy ?
Luzy
['Luzy', 'capital of', {'concept': 'type of french administrative division'}] ['Saint-Didier-sur-Arroux', 'capital of', {'concept': 'type of french administrative division'}] ['Avrée', 'capital of', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?j WHERE { resource:Luzy property:capital_of ?j . ?j rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Coreferenced)
USER
Yes
(Q681237,P1376,c(Q20667921))
['Q681237', 'P1376', {'concept': 'Q20667921'}]
['Luzy', 'capital of', {'concept': 'type of french administrative division'}]
[]
Q1605323
SYSTEM
canton of Luzy
Q1605323
(Q681237,P1376,c(Q20667921))
action filter_type
action find
entity Q681237
relation P1376
type Q20667921
The [ANSWER] has that one as its capital
['Q681237', 'P1376', {'concept': 'Q20667921'}]
SELECT DISTINCT ?j WHERE { resource:Q681237 property:P1376 ?j . ?j rdf:type ontology:Q20667921 }
canton of Luzy
The canton of Luzy has that one as its capital
canton of Luzy
action filter_type
action find
entity Luzy
relation capital of
type type of french administrative division
['Luzy', 'capital of', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?j WHERE { resource:Luzy property:capital_of ?j . ?j rdf:type ontology:type_of_french_administrative_division }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q1340853 Q890728
P47
Q20667921
USER
Which french administrative divisions are adjacent to Avrée or Salies-du-Salat ?
OR((Q890728,P47,c(Q20667921)), (Q1340853,P47,c(Q20667921)))
action filter_type
action union
action find
entity Q890728
relation P47
action find
entity Q1340853
relation P47
type Q20667921
{'OR': [['Q890728', 'P47', {'concept': 'Q20667921'}], ['Q1340853', 'P47', {'concept': 'Q20667921'}]]}
SELECT DISTINCT ?t WHERE { { VALUES ( ?j ) { ( resource:Q890728 ) ( resource:Q1340853 ) } . ?j property:P47 ?t } . ?t rdf:type ontology:Q20667921 }
Salies-du-Salat Avrée
action filter_type
action union
action find
entity Avrée
relation shares border with
action find
entity Salies-du-Salat
relation shares border with
type type of french administrative division
{'OR': [['Avrée', 'shares border with', {'concept': 'type of french administrative division'}], ['Salies-du-Salat', 'shares border with', {'concept': 'type of french administrative division'}]]}
SELECT DISTINCT ?t WHERE { { VALUES ( ?j ) { ( resource:Avrée ) ( resource:Salies-du-Salat ) } . ?j property:shares_border_with ?t } . ?t rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1141848 Q1428874 Q1440931 Q1441037 Q1432916 Q33832 Q890422 Q33840 Q1143767 Q1419234
SYSTEM
Some of them are Millay, Mane, Mazères-sur-Salat, Montsaunès, Marsoulas, Sémelay, Chiddes, Savigny-Poil-Fol, Touille, Cassagne
Q1441037 Q33832 Q1143767 Q890422 Q778315 Q1428874 Q1432916 Q33840 Q1141848 Q1419234 Q748463 Q1440931
OR((Q890728,P47,c(Q20667921)), (Q1340853,P47,c(Q20667921)))
action filter_type
action union
action find
entity Q890728
relation P47
action find
entity Q1340853
relation P47
type Q20667921
[ANSWERS] are adjacent to Avrée or Salies-du-Salat
{'OR': [['Q890728', 'P47', {'concept': 'Q20667921'}], ['Q1340853', 'P47', {'concept': 'Q20667921'}]]}
SELECT DISTINCT ?t WHERE { { VALUES ( ?j ) { ( resource:Q890728 ) ( resource:Q1340853 ) } . ?j property:P47 ?t } . ?t rdf:type ontology:Q20667921 }
Montsaunès Sémelay Touille Chiddes Fléty Mane Marsoulas Savigny-Poil-Fol Millay Cassagne Lanty Mazères-sur-Salat
Millay, Mane, Mazères-sur-Salat, Montsaunès, Marsoulas, Sémelay, Chiddes, Savigny-Poil-Fol, Touille and Cassagne are adjacent to Avrée or Salies-du-Salat
Millay Mane Mazères-sur-Salat Montsaunès Marsoulas Sémelay Chiddes Savigny-Poil-Fol Touille Cassagne
action filter_type
action union
action find
entity Avrée
relation shares border with
action find
entity Salies-du-Salat
relation shares border with
type type of french administrative division
{'OR': [['Avrée', 'shares border with', {'concept': 'type of french administrative division'}], ['Salies-du-Salat', 'shares border with', {'concept': 'type of french administrative division'}]]}
SELECT DISTINCT ?t WHERE { { VALUES ( ?j ) { ( resource:Avrée ) ( resource:Salies-du-Salat ) } . ?j property:shares_border_with ?t } . ?t rdf:type ontology:type_of_french_administrative_division }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q1082149 Q1626807
P47
Q20667921
USER
Which french administrative divisions have a shared border with Saint-Didier-sur-Arroux or Comps-la-Grand-Ville ?
OR((Q1626807,P47,c(Q20667921)), (Q1082149,P47,c(Q20667921)))
action filter_type
action union
action find
entity Q1626807
relation P47
action find
entity Q1082149
relation P47
type Q20667921
{'OR': [['Q1626807', 'P47', {'concept': 'Q20667921'}], ['Q1082149', 'P47', {'concept': 'Q20667921'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Q1626807 property:P47 ?e } UNION { resource:Q1082149 property:P47 ?e } } . ?e rdf:type ontology:Q20667921 }
Comps-la-Grand-Ville Saint-Didier-sur-Arroux
action filter_type
action union
action find
entity Saint-Didier-sur-Arroux
relation shares border with
action find
entity Comps-la-Grand-Ville
relation shares border with
type type of french administrative division
{'OR': [['Saint-Didier-sur-Arroux', 'shares border with', {'concept': 'type of french administrative division'}], ['Comps-la-Grand-Ville', 'shares border with', {'concept': 'type of french administrative division'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Saint-Didier-sur-Arroux property:shares_border_with ?e } UNION { resource:Comps-la-Grand-Ville property:shares_border_with ?e } } . ?e rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1624902 Q1141848 Q1020818 Q681237 Q1373950 Q1625791 Q1363563 Q1411357 Q1411218 Q46569
SYSTEM
Some of them are Thil-sur-Arroux, Millay, Cassagnes-Bégonhès, Luzy, Calmont, Saint-Nizier-sur-Arroux, Trémouilles, La Comelle, Étang-sur-Arroux, Poil
Q1625791 Q681237 Q1366161 Q1411357 Q1363563 Q1624902 Q1153322 Q1373950 Q1411218 Q46569 Q1141848 Q1020818 Q1366512
OR((Q1626807,P47,c(Q20667921)), (Q1082149,P47,c(Q20667921)))
action filter_type
action union
action find
entity Q1626807
relation P47
action find
entity Q1082149
relation P47
type Q20667921
[ANSWERS] have a shared border with Saint-Didier-sur-Arroux or Comps-la-Grand-Ville
{'OR': [['Q1626807', 'P47', {'concept': 'Q20667921'}], ['Q1082149', 'P47', {'concept': 'Q20667921'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Q1626807 property:P47 ?e } UNION { resource:Q1082149 property:P47 ?e } } . ?e rdf:type ontology:Q20667921 }
Saint-Nizier-sur-Arroux Luzy Salmiech La Comelle Trémouilles Thil-sur-Arroux Flavin Calmont Étang-sur-Arroux Poil Millay Cassagnes-Bégonhès Sainte-Juliette-sur-Viaur
Thil-sur-Arroux, Millay, Cassagnes-Bégonhès, Luzy, Calmont, Saint-Nizier-sur-Arroux, Trémouilles, La Comelle, Étang-sur-Arroux and Poil have a shared border with Saint-Didier-sur-Arroux or Comps-la-Grand-Ville
Thil-sur-Arroux Millay Cassagnes-Bégonhès Luzy Calmont Saint-Nizier-sur-Arroux Trémouilles La Comelle Étang-sur-Arroux Poil
action filter_type
action union
action find
entity Saint-Didier-sur-Arroux
relation shares border with
action find
entity Comps-la-Grand-Ville
relation shares border with
type type of french administrative division
{'OR': [['Saint-Didier-sur-Arroux', 'shares border with', {'concept': 'type of french administrative division'}], ['Comps-la-Grand-Ville', 'shares border with', {'concept': 'type of french administrative division'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Saint-Didier-sur-Arroux property:shares_border_with ?e } UNION { resource:Comps-la-Grand-Ville property:shares_border_with ?e } } . ?e rdf:type ontology:type_of_french_administrative_division }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P159
Q20667921 Q4830453 Q1269299
USER
Which french administrative divisions are the headquarter locations of approximately 6 business enterprises and business organizations ?
(c(Q4830453)|c(Q1269299),P159,c(Q20667921))
action approx
action union
action find_reverse_tuple_counts
relation P159
type Q20667921
type Q4830453
action find_reverse_tuple_counts
relation P159
type Q20667921
type Q1269299
value 6
[[{'concept': 'Q4830453'}, {'concept': 'Q1269299'}], 'P159', {'concept': 'Q20667921'}]
SELECT DISTINCT ?y WHERE { FILTER ( ?i = 6 ) . { SELECT DISTINCT ?y ( COUNT ( ?l ) AS ?i ) WHERE { { ?l property:P159 ?y . ?y rdf:type ontology:Q20667921 . ?l rdf:type ontology:Q4830453 } UNION { ?y rdf:type ontology:Q20667921 . ?l rdf:type ontology:Q1269299 . ?l property:P159 ?y } } GROUP BY ?y } }
action approx
action union
action find_reverse_tuple_counts
relation headquarters location
type type of french administrative division
type business enterprise
action find_reverse_tuple_counts
relation headquarters location
type type of french administrative division
type type of business entity
value 6
[[{'concept': 'business enterprise'}, {'concept': 'type of business entity'}], 'headquarters location', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?y WHERE { FILTER ( ?i = 6 ) . { SELECT DISTINCT ?y ( COUNT ( ?l ) AS ?i ) WHERE { { ?l property:headquarters_location ?y . ?y rdf:type ontology:type_of_french_administrative_division . ?l rdf:type ontology:business_enterprise } UNION { ?y rdf:type ontology:type_of_french_administrative_division . ?l rdf:type ontology:type_of_business_entity . ?l property:headquarters_location ?y } } GROUP BY ?y } }
[]
type of french administrative division business enterprise type of business entity
Q160506 Q170507 Q193929
SYSTEM
Saint-Denis, Nanterre, Suresnes
Q160506 Q170507 Q193929
(c(Q4830453)|c(Q1269299),P159,c(Q20667921))
action approx
action union
action find_reverse_tuple_counts
relation P159
type Q20667921
type Q4830453
action find_reverse_tuple_counts
relation P159
type Q20667921
type Q1269299
value 6
[ANSWERS] are the headquarter locations of approximately 6 business enterprises and business organizations
[[{'concept': 'Q4830453'}, {'concept': 'Q1269299'}], 'P159', {'concept': 'Q20667921'}]
SELECT DISTINCT ?y WHERE { FILTER ( ?i = 6 ) . { SELECT DISTINCT ?y ( COUNT ( ?l ) AS ?i ) WHERE { { ?l property:P159 ?y . ?y rdf:type ontology:Q20667921 . ?l rdf:type ontology:Q4830453 } UNION { ?y rdf:type ontology:Q20667921 . ?l rdf:type ontology:Q1269299 . ?l property:P159 ?y } } GROUP BY ?y } }
Saint-Denis Nanterre Suresnes
Saint-Denis, Nanterre and Suresnes are the headquarter locations of approximately 6 business enterprises and business organizations
Saint-Denis Nanterre Suresnes
action approx
action union
action find_reverse_tuple_counts
relation headquarters location
type type of french administrative division
type business enterprise
action find_reverse_tuple_counts
relation headquarters location
type type of french administrative division
type type of business entity
value 6
[[{'concept': 'business enterprise'}, {'concept': 'type of business entity'}], 'headquarters location', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?y WHERE { FILTER ( ?i = 6 ) . { SELECT DISTINCT ?y ( COUNT ( ?l ) AS ?i ) WHERE { { ?l property:headquarters_location ?y . ?y rdf:type ontology:type_of_french_administrative_division . ?l rdf:type ontology:business_enterprise } UNION { ?y rdf:type ontology:type_of_french_administrative_division . ?l rdf:type ontology:type_of_business_entity . ?l property:headquarters_location ?y } } GROUP BY ?y } }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q681237
P19 P21
Q502895
USER
Which people were born at Luzy and are a male ?
AND((c(Q502895),P19,Q681237), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q681237
relation P19
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P19', 'Q681237'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?i WHERE { ?i property:P19 resource:Q681237 . ?i property:P21 resource:Q6581097 . ?i rdf:type ontology:Q502895 }
male Luzy
action filter_type
action intersection
action find_reverse
entity Luzy
relation place of birth
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'place of birth', 'Luzy'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?i WHERE { ?i property:place_of_birth resource:Luzy . ?i property:gender resource:male . ?i rdf:type ontology:common_name }
[]
common name
Q18744703 Q3099918 Q726131 Q908133 Q22211315
SYSTEM
Amaury Delerue, Gaëtan Gorce, Jean-François Bernard, Philippe Barbier, Victor Gueneau
Q18744703 Q3099918 Q726131 Q908133 Q22211315
AND((c(Q502895),P19,Q681237), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q681237
relation P19
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWERS] were born at Luzy and are a male
{'AND': [[{'concept': 'Q502895'}, 'P19', 'Q681237'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?i WHERE { ?i property:P19 resource:Q681237 . ?i property:P21 resource:Q6581097 . ?i rdf:type ontology:Q502895 }
Amaury Delerue Gaëtan Gorce Jean-François Bernard Philippe Barbier Victor Gueneau
Amaury Delerue, Gaëtan Gorce, Jean-François Bernard, Philippe Barbier and Victor Gueneau were born at Luzy and are a male
Amaury Delerue Gaëtan Gorce Jean-François Bernard Philippe Barbier Victor Gueneau
action filter_type
action intersection
action find_reverse
entity Luzy
relation place of birth
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'place of birth', 'Luzy'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?i WHERE { ?i property:place_of_birth resource:Luzy . ?i property:gender resource:male . ?i rdf:type ontology:common_name }
[]