Simple Question (Direct)
Simple Question
Q595371
P17
Q15617994
USER
Which administrative territory is Riaillé a part of ?
(Q595371,P17,c(Q15617994))
action filter_type
action find
entity Q595371
relation P17
type Q15617994
['Q595371', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:Q15617994 . resource:Q595371 property:P17 ?k }
Riaillé
action filter_type
action find
entity Riaillé
relation country
type designation for an administrative territorial entity
['Riaillé', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Riaillé property:country ?k }
[]
designation for an administrative territorial entity
Q142
SYSTEM
France
Q142
(Q595371,P17,c(Q15617994))
action filter_type
action find
entity Q595371
relation P17
type Q15617994
Which administrative territory is Riaillé a part of
['Q595371', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:Q15617994 . resource:Q595371 property:P17 ?k }
France
Which administrative territory is Riaillé a part of
France
action filter_type
action find
entity Riaillé
relation country
type designation for an administrative territorial entity
['Riaillé', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Riaillé property:country ?k }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q595371
P36
Q20667921
USER
Which french administrative division has that one as its administrative centre ?
(c(Q20667921),P36,Q142)
action filter_type
action find_reverse
entity Q595371
relation P36
type Q20667921
[{'concept': 'Q20667921'}, 'P36', 'Q142']
SELECT DISTINCT ?q WHERE { ?q property:P36 resource:Q595371 . ?q rdf:type ontology:Q20667921 }
Riaillé
action filter_type
action find_reverse
entity Riaillé
relation capital
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'capital', 'France']
SELECT DISTINCT ?q WHERE { ?q property:capital resource:Riaillé . ?q rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1726932
SYSTEM
canton of Riaillé
Q1726932
(c(Q20667921),P36,Q142)
action filter_type
action find_reverse
entity Q595371
relation P36
type Q20667921
The [ANSWER] has that one as its administrative centre
[{'concept': 'Q20667921'}, 'P36', 'Q142']
SELECT DISTINCT ?q WHERE { ?q property:P36 resource:Q595371 . ?q rdf:type ontology:Q20667921 }
canton of Riaillé
The canton of Riaillé has that one as its administrative centre
canton of Riaillé
action filter_type
action find_reverse
entity Riaillé
relation capital
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'capital', 'France']
SELECT DISTINCT ?q WHERE { ?q property:capital resource:Riaillé . ?q rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1726932
P1376
Q20667921
USER
Which french administrative division is the county seat of that one ?
(c(Q20667921),P1376,Q1726932)
action filter_type
action find_reverse
entity Q1726932
relation P1376
type Q20667921
[{'concept': 'Q20667921'}, 'P1376', 'Q1726932']
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q20667921 . ?f property:P1376 resource:Q1726932 }
canton of Riaillé
action filter_type
action find_reverse
entity canton of Riaillé
relation capital of
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'capital of', 'canton of Riaillé']
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:type_of_french_administrative_division . ?f property:capital_of resource:canton_of_Riaillé }
[]
type of french administrative division
Q595371
SYSTEM
Riaillé
Q595371
(c(Q20667921),P1376,Q1726932)
action filter_type
action find_reverse
entity Q1726932
relation P1376
type Q20667921
[ANSWER] is the county seat of that one
[{'concept': 'Q20667921'}, 'P1376', 'Q1726932']
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q20667921 . ?f property:P1376 resource:Q1726932 }
Riaillé
Riaillé is the county seat of that one
Riaillé
action filter_type
action find_reverse
entity canton of Riaillé
relation capital of
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'capital of', 'canton of Riaillé']
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:type_of_french_administrative_division . ?f property:capital_of resource:canton_of_Riaillé }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q142 Q595371
P47 P17
Q20667921
USER
Which french administrative divisions do Riaillé share a border with and are located in France ?
AND((c(Q20667921),P47,Q595371), (c(Q20667921),P17,Q142))
action filter_type
action intersection
action find_reverse
entity Q595371
relation P47
action find_reverse
entity Q142
relation P17
type Q20667921
{'AND': [[{'concept': 'Q20667921'}, 'P47', 'Q595371'], [{'concept': 'Q20667921'}, 'P17', 'Q142']]}
SELECT DISTINCT ?i WHERE { ?i property:P47 resource:Q595371 . ?i property:P17 resource:Q142 . ?i rdf:type ontology:Q20667921 }
France Riaillé
action filter_type
action intersection
action find_reverse
entity Riaillé
relation shares border with
action find_reverse
entity France
relation country
type type of french administrative division
{'AND': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Riaillé'], [{'concept': 'type of french administrative division'}, 'country', 'France']]}
SELECT DISTINCT ?i WHERE { ?i property:shares_border_with resource:Riaillé . ?i property:country resource:France . ?i rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1115785 Q1069477 Q304553 Q668708 Q54804 Q609905 Q778091 Q1065387
SYSTEM
Bonnœuvre, Saint-Sulpice-des-Landes, Joué-sur-Erdre, La Meilleraye-de-Bretagne, Pannecé, Trans-sur-Erdre, Grand-Auverné, Teillé
Q1115785 Q1069477 Q304553 Q668708 Q54804 Q609905 Q778091 Q1065387
AND((c(Q20667921),P47,Q595371), (c(Q20667921),P17,Q142))
action filter_type
action intersection
action find_reverse
entity Q595371
relation P47
action find_reverse
entity Q142
relation P17
type Q20667921
[ANSWERS] Riaillé share a border with
{'AND': [[{'concept': 'Q20667921'}, 'P47', 'Q595371'], [{'concept': 'Q20667921'}, 'P17', 'Q142']]}
SELECT DISTINCT ?i WHERE { ?i property:P47 resource:Q595371 . ?i property:P17 resource:Q142 . ?i rdf:type ontology:Q20667921 }
Bonnœuvre Saint-Sulpice-des-Landes Joué-sur-Erdre La Meilleraye-de-Bretagne Pannecé Trans-sur-Erdre Grand-Auverné Teillé
Bonnœuvre, Saint-Sulpice-des-Landes, Joué-sur-Erdre, La Meilleraye-de-Bretagne, Pannecé, Trans-sur-Erdre, Grand-Auverné and Teillé Riaillé share a border with
Bonnœuvre Saint-Sulpice-des-Landes Joué-sur-Erdre La Meilleraye-de-Bretagne Pannecé Trans-sur-Erdre Grand-Auverné Teillé
action filter_type
action intersection
action find_reverse
entity Riaillé
relation shares border with
action find_reverse
entity France
relation country
type type of french administrative division
{'AND': [[{'concept': 'type of french administrative division'}, 'shares border with', 'Riaillé'], [{'concept': 'type of french administrative division'}, 'country', 'France']]}
SELECT DISTINCT ?i WHERE { ?i property:shares_border_with resource:Riaillé . ?i property:country resource:France . ?i rdf:type ontology:type_of_french_administrative_division }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q595371
P47
Q20667921
USER
Do those ones share a border with Riaillé ?
(Q595371,P47,Q1115785) (Q595371,P47,Q1069477) (Q595371,P47,Q304553) (Q595371,P47,Q668708) (Q595371,P47,Q54804) (Q595371,P47,Q609905) (Q595371,P47,Q778091) (Q595371,P47,Q1065387)
action is_in
entity prev_answer
action find
entity Q595371
relation P47
['Q595371', 'P47', 'Q1115785'] ['Q595371', 'P47', 'Q1069477'] ['Q595371', 'P47', 'Q304553'] ['Q595371', 'P47', 'Q668708'] ['Q595371', 'P47', 'Q54804'] ['Q595371', 'P47', 'Q609905'] ['Q595371', 'P47', 'Q778091'] ['Q595371', 'P47', 'Q1065387']
ASK WHERE { VALUES ( ?t ) { ( resource:Q1115785 ) ( resource:Q1069477 ) ( resource:Q304553 ) } . resource:Q595371 property:P47 ?t }
Riaillé
action is_in
entity prev_answer
action find
entity Riaillé
relation shares border with
['Riaillé', 'shares border with', 'Bonnœuvre'] ['Riaillé', 'shares border with', 'Saint-Sulpice-des-Landes'] ['Riaillé', 'shares border with', 'Joué-sur-Erdre'] ['Riaillé', 'shares border with', 'La Meilleraye-de-Bretagne'] ['Riaillé', 'shares border with', 'Pannecé'] ['Riaillé', 'shares border with', 'Trans-sur-Erdre'] ['Riaillé', 'shares border with', 'Grand-Auverné'] ['Riaillé', 'shares border with', 'Teillé']
ASK WHERE { VALUES ( ?t ) { ( resource:Bonnœuvre ) ( resource:Saint-Sulpice-des-Landes ) ( resource:Joué-sur-Erdre ) } . resource:Riaillé property:shares_border_with ?t }
[]
type of french administrative division
SYSTEM
YES
(Q595371,P47,Q1115785) (Q595371,P47,Q1069477) (Q595371,P47,Q304553) (Q595371,P47,Q668708) (Q595371,P47,Q54804) (Q595371,P47,Q609905) (Q595371,P47,Q778091) (Q595371,P47,Q1065387)
action is_in
entity prev_answer
action find
entity Q595371
relation P47
[ANSWER]
['Q595371', 'P47', 'Q1115785'] ['Q595371', 'P47', 'Q1069477'] ['Q595371', 'P47', 'Q304553'] ['Q595371', 'P47', 'Q668708'] ['Q595371', 'P47', 'Q54804'] ['Q595371', 'P47', 'Q609905'] ['Q595371', 'P47', 'Q778091'] ['Q595371', 'P47', 'Q1065387']
ASK WHERE { VALUES ( ?t ) { ( resource:Q1115785 ) ( resource:Q1069477 ) ( resource:Q304553 ) } . resource:Q595371 property:P47 ?t }
Yes
action is_in
entity prev_answer
action find
entity Riaillé
relation shares border with
['Riaillé', 'shares border with', 'Bonnœuvre'] ['Riaillé', 'shares border with', 'Saint-Sulpice-des-Landes'] ['Riaillé', 'shares border with', 'Joué-sur-Erdre'] ['Riaillé', 'shares border with', 'La Meilleraye-de-Bretagne'] ['Riaillé', 'shares border with', 'Pannecé'] ['Riaillé', 'shares border with', 'Trans-sur-Erdre'] ['Riaillé', 'shares border with', 'Grand-Auverné'] ['Riaillé', 'shares border with', 'Teillé']
ASK WHERE { VALUES ( ?t ) { ( resource:Bonnœuvre ) ( resource:Saint-Sulpice-des-Landes ) ( resource:Joué-sur-Erdre ) } . resource:Riaillé property:shares_border_with ?t }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q1115785
P47
Q20667921
USER
How many french administrative divisions share the border with Bonnœuvre ?
(Q1115785,P47,c(Q20667921))
action count
action filter_type
action find
entity Q1115785
relation P47
type Q20667921
['Q1115785', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) WHERE { resource:Q1115785 property:P47 ?z . ?z rdf:type ontology:Q20667921 }
Bonnœuvre
action count
action filter_type
action find
entity Bonnœuvre
relation shares border with
type type of french administrative division
['Bonnœuvre', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) WHERE { resource:Bonnœuvre property:shares_border_with ?z . ?z rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
SYSTEM
5
Q54804 Q595371 Q1114003 Q1065425 Q1069477
(Q1115785,P47,c(Q20667921))
action count
action filter_type
action find
entity Q1115785
relation P47
type Q20667921
[ANSWER]
['Q1115785', 'P47', {'concept': 'Q20667921'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) WHERE { resource:Q1115785 property:P47 ?z . ?z rdf:type ontology:Q20667921 }
Pannecé Riaillé Maumusson Saint-Mars-la-Jaille Saint-Sulpice-des-Landes
5
action count
action filter_type
action find
entity Bonnœuvre
relation shares border with
type type of french administrative division
['Bonnœuvre', 'shares border with', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) WHERE { resource:Bonnœuvre property:shares_border_with ?z . ?z rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q595371
P19
Q502895
USER
Who was born at Riaillé ?
(c(Q502895),P19,Q595371)
action filter_type
action find_reverse
entity Q595371
relation P19
type Q502895
[{'concept': 'Q502895'}, 'P19', 'Q595371']
SELECT DISTINCT ?f WHERE { ?f property:P19 resource:Q595371 . ?f rdf:type ontology:Q502895 }
Riaillé
action filter_type
action find_reverse
entity Riaillé
relation place of birth
type common name
[{'concept': 'common name'}, 'place of birth', 'Riaillé']
SELECT DISTINCT ?f WHERE { ?f property:place_of_birth resource:Riaillé . ?f rdf:type ontology:common_name }
[]
common name
Q2791086
SYSTEM
Franck Gilard
Q2791086
(c(Q502895),P19,Q595371)
action filter_type
action find_reverse
entity Q595371
relation P19
type Q502895
[ANSWER] was born at Riaillé
[{'concept': 'Q502895'}, 'P19', 'Q595371']
SELECT DISTINCT ?f WHERE { ?f property:P19 resource:Q595371 . ?f rdf:type ontology:Q502895 }
Franck Gilard
Franck Gilard was born at Riaillé
Franck Gilard
action filter_type
action find_reverse
entity Riaillé
relation place of birth
type common name
[{'concept': 'common name'}, 'place of birth', 'Riaillé']
SELECT DISTINCT ?f WHERE { ?f property:place_of_birth resource:Riaillé . ?f rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q2791086 Q105247
P27
Q15617994
USER
Is that person an inhabitant of Monticelli Brusati ?
(Q2791086,P27,Q105247)
action is_in
entity Q105247
action find
entity Q2791086
relation P27
['Q2791086', 'P27', 'Q105247']
ASK WHERE { resource:Q2791086 property:P27 resource:Q105247 }
Franck Gilard Monticelli Brusati
action is_in
entity Monticelli Brusati
action find
entity Franck Gilard
relation country of citizenship
['Franck Gilard', 'country of citizenship', 'Monticelli Brusati']
ASK WHERE { resource:Franck_Gilard property:country_of_citizenship resource:Monticelli_Brusati }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q2791086,P27,Q105247)
action is_in
entity Q105247
action find
entity Q2791086
relation P27
[ANSWER]
['Q2791086', 'P27', 'Q105247']
ASK WHERE { resource:Q2791086 property:P27 resource:Q105247 }
No
action is_in
entity Monticelli Brusati
action find
entity Franck Gilard
relation country of citizenship
['Franck Gilard', 'country of citizenship', 'Monticelli Brusati']
ASK WHERE { resource:Franck_Gilard property:country_of_citizenship resource:Monticelli_Brusati }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q668708 Q142
P17
Q15617994
USER
Is that french administrative division located in France ?
(Q668708,P17,Q142)
action is_in
entity Q142
action find
entity Q668708
relation P17
['Q668708', 'P17', 'Q142']
ASK WHERE { resource:Q668708 property:P17 resource:Q142 }
La Meilleraye-de-Bretagne France
action is_in
entity France
action find
entity La Meilleraye-de-Bretagne
relation country
['La Meilleraye-de-Bretagne', 'country', 'France']
ASK WHERE { resource:La_Meilleraye-de-Bretagne property:country resource:France }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q668708,P17,Q142)
action is_in
entity Q142
action find
entity Q668708
relation P17
[ANSWER]
['Q668708', 'P17', 'Q142']
ASK WHERE { resource:Q668708 property:P17 resource:Q142 }
Yes
action is_in
entity France
action find
entity La Meilleraye-de-Bretagne
relation country
['La Meilleraye-de-Bretagne', 'country', 'France']
ASK WHERE { resource:La_Meilleraye-de-Bretagne property:country resource:France }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q304553 Q432677
P17
Q15617994
USER
Is Joué-sur-Erdre located in Santa Margherita di Belice ?
(Q304553,P17,Q432677)
action is_in
entity Q432677
action find
entity Q304553
relation P17
['Q304553', 'P17', 'Q432677']
ASK WHERE { resource:Q304553 property:P17 resource:Q432677 }
Joué-sur-Erdre Santa Margherita di Belice
action is_in
entity Santa Margherita di Belice
action find
entity Joué-sur-Erdre
relation country
['Joué-sur-Erdre', 'country', 'Santa Margherita di Belice']
ASK WHERE { resource:Joué-sur-Erdre property:country resource:Santa_Margherita_di_Belice }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q304553,P17,Q432677)
action is_in
entity Q432677
action find
entity Q304553
relation P17
[ANSWER]
['Q304553', 'P17', 'Q432677']
ASK WHERE { resource:Q304553 property:P17 resource:Q432677 }
No
action is_in
entity Santa Margherita di Belice
action find
entity Joué-sur-Erdre
relation country
['Joué-sur-Erdre', 'country', 'Santa Margherita di Belice']
ASK WHERE { resource:Joué-sur-Erdre property:country resource:Santa_Margherita_di_Belice }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1726932 Q595371
P36
Q20667921
USER
Is Riaillé the capital of canton of Riaillé ?
(Q1726932,P36,Q595371)
action is_in
entity Q595371
action find
entity Q1726932
relation P36
['Q1726932', 'P36', 'Q595371']
ASK WHERE { resource:Q1726932 property:P36 resource:Q595371 }
canton of Riaillé Riaillé
action is_in
entity Riaillé
action find
entity canton of Riaillé
relation capital
['canton of Riaillé', 'capital', 'Riaillé']
ASK WHERE { resource:canton_of_Riaillé property:capital resource:Riaillé }
[]
type of french administrative division
SYSTEM
YES
(Q1726932,P36,Q595371)
action is_in
entity Q595371
action find
entity Q1726932
relation P36
[ANSWER]
['Q1726932', 'P36', 'Q595371']
ASK WHERE { resource:Q1726932 property:P36 resource:Q595371 }
Yes
action is_in
entity Riaillé
action find
entity canton of Riaillé
relation capital
['canton of Riaillé', 'capital', 'Riaillé']
ASK WHERE { resource:canton_of_Riaillé property:capital resource:Riaillé }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q1256
P180
Q15617994 Q3305213 Q340169
USER
How many administrative territories are expressed in more number of paintings or medias than Liguria ?
(c(Q3305213)|c(Q340169),P180,c(Q15617994))
action count
action greater
action union
action find_reverse_tuple_counts
relation P180
type Q15617994
type Q3305213
action find_reverse_tuple_counts
relation P180
type Q15617994
type Q340169
action count
action filter_multi_types
action find_reverse
entity Q1256
relation P180
type Q3305213
type Q340169
[[{'concept': 'Q3305213'}, {'concept': 'Q340169'}], 'P180', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?y ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?g ) AS ?x ) WHERE { { ?g property:P180 ?b . ?b rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q340169 } UNION { ?g property:P180 ?b . ?b rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q3305213 } } GROUP BY ?b } . FILTER ( ?x > ?j ) . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { ?v property:P180 resource:Q1256 . { { ?v rdf:type ontology:Q3305213 } UNION { ?v rdf:type ontology:Q340169 } } } } }
Liguria
action count
action greater
action union
action find_reverse_tuple_counts
relation depicts
type designation for an administrative territorial entity
type painting
action find_reverse_tuple_counts
relation depicts
type designation for an administrative territorial entity
type media
action count
action filter_multi_types
action find_reverse
entity Liguria
relation depicts
type painting
type media
[[{'concept': 'painting'}, {'concept': 'media'}], 'depicts', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?y ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?g ) AS ?x ) WHERE { { ?g property:depicts ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:media } UNION { ?g property:depicts ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:painting } } GROUP BY ?b } . FILTER ( ?x > ?j ) . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { ?v property:depicts resource:Liguria . { { ?v rdf:type ontology:painting } UNION { ?v rdf:type ontology:media } } } } }
[]
designation for an administrative territorial entity painting media
SYSTEM
14
Q3883 Q674904 Q145 Q131596 Q712 Q739 Q532 Q38 Q736 Q80644 Q159605 Q772 Q82025 Q1273
(c(Q3305213)|c(Q340169),P180,c(Q15617994))
action count
action greater
action union
action find_reverse_tuple_counts
relation P180
type Q15617994
type Q3305213
action find_reverse_tuple_counts
relation P180
type Q15617994
type Q340169
action count
action filter_multi_types
action find_reverse
entity Q1256
relation P180
type Q3305213
type Q340169
[ANSWER]
[[{'concept': 'Q3305213'}, {'concept': 'Q340169'}], 'P180', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?y ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?g ) AS ?x ) WHERE { { ?g property:P180 ?b . ?b rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q340169 } UNION { ?g property:P180 ?b . ?b rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q3305213 } } GROUP BY ?b } . FILTER ( ?x > ?j ) . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { ?v property:P180 resource:Q1256 . { { ?v rdf:type ontology:Q3305213 } UNION { ?v rdf:type ontology:Q340169 } } } } }
Catanzaro Krumau am Kamp United Kingdom farm Fiji Colombia village Italy Ecuador Köngen Tivoli Drenthe horn Tuscany
14
action count
action greater
action union
action find_reverse_tuple_counts
relation depicts
type designation for an administrative territorial entity
type painting
action find_reverse_tuple_counts
relation depicts
type designation for an administrative territorial entity
type media
action count
action filter_multi_types
action find_reverse
entity Liguria
relation depicts
type painting
type media
[[{'concept': 'painting'}, {'concept': 'media'}], 'depicts', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?y ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?g ) AS ?x ) WHERE { { ?g property:depicts ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:media } UNION { ?g property:depicts ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:painting } } GROUP BY ?b } . FILTER ( ?x > ?j ) . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { ?v property:depicts resource:Liguria . { { ?v rdf:type ontology:painting } UNION { ?v rdf:type ontology:media } } } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q689720
P180
Q15617994 Q3305213 Q340169
USER
And how about Thörl?
(c(Q3305213)|c(Q340169),P180,c(Q15617994))
action count
action greater
action union
action find_reverse_tuple_counts
relation P180
type Q15617994
type Q3305213
action find_reverse_tuple_counts
relation P180
type Q15617994
type Q340169
action count
action filter_multi_types
action find_reverse
entity Q689720
relation P180
type Q3305213
type Q340169
[[{'concept': 'Q3305213'}, {'concept': 'Q340169'}], 'P180', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?l ) WHERE { { SELECT DISTINCT ?n ( COUNT ( ?u ) AS ?c ) WHERE { ?u rdf:type ?k . VALUES ( ?k ) { ( ontology:Q3305213 ) ( ontology:Q340169 ) } } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?r ) WHERE { ?s property:P180 resource:Q689720 . { { ?s rdf:type ontology:Q3305213 } UNION { ?s rdf:type ontology:Q340169 } } } } . FILTER ( ?c > ?r ) }
Thörl
action count
action greater
action union
action find_reverse_tuple_counts
relation depicts
type designation for an administrative territorial entity
type painting
action find_reverse_tuple_counts
relation depicts
type designation for an administrative territorial entity
type media
action count
action filter_multi_types
action find_reverse
entity Thörl
relation depicts
type painting
type media
[[{'concept': 'painting'}, {'concept': 'media'}], 'depicts', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?l ) WHERE { { SELECT DISTINCT ?n ( COUNT ( ?u ) AS ?c ) WHERE { ?u rdf:type ?k . VALUES ( ?k ) { ( ontology:painting ) ( ontology:media ) } } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?r ) WHERE { ?s property:depicts resource:Thörl . { { ?s rdf:type ontology:painting } UNION { ?s rdf:type ontology:media } } } } . FILTER ( ?c > ?r ) }
[]
designation for an administrative territorial entity painting media
SYSTEM
14
Q3883 Q674904 Q145 Q131596 Q712 Q739 Q532 Q38 Q736 Q80644 Q159605 Q772 Q82025 Q1273
(c(Q3305213)|c(Q340169),P180,c(Q15617994))
action count
action greater
action union
action find_reverse_tuple_counts
relation P180
type Q15617994
type Q3305213
action find_reverse_tuple_counts
relation P180
type Q15617994
type Q340169
action count
action filter_multi_types
action find_reverse
entity Q689720
relation P180
type Q3305213
type Q340169
[ANSWER]
[[{'concept': 'Q3305213'}, {'concept': 'Q340169'}], 'P180', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?l ) WHERE { { SELECT DISTINCT ?n ( COUNT ( ?u ) AS ?c ) WHERE { ?u rdf:type ?k . VALUES ( ?k ) { ( ontology:Q3305213 ) ( ontology:Q340169 ) } } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?r ) WHERE { ?s property:P180 resource:Q689720 . { { ?s rdf:type ontology:Q3305213 } UNION { ?s rdf:type ontology:Q340169 } } } } . FILTER ( ?c > ?r ) }
Catanzaro Krumau am Kamp United Kingdom farm Fiji Colombia village Italy Ecuador Köngen Tivoli Drenthe horn Tuscany
14
action count
action greater
action union
action find_reverse_tuple_counts
relation depicts
type designation for an administrative territorial entity
type painting
action find_reverse_tuple_counts
relation depicts
type designation for an administrative territorial entity
type media
action count
action filter_multi_types
action find_reverse
entity Thörl
relation depicts
type painting
type media
[[{'concept': 'painting'}, {'concept': 'media'}], 'depicts', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?l ) WHERE { { SELECT DISTINCT ?n ( COUNT ( ?u ) AS ?c ) WHERE { ?u rdf:type ?k . VALUES ( ?k ) { ( ontology:painting ) ( ontology:media ) } } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?r ) WHERE { ?s property:depicts resource:Thörl . { { ?s rdf:type ontology:painting } UNION { ?s rdf:type ontology:media } } } } . FILTER ( ?c > ?r ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q493032 Q689720
P19
Q502895
USER
Which people have birthplace at Thörl or Guinobatan ?
OR((c(Q502895),P19,Q689720), (c(Q502895),P19,Q493032))
action filter_type
action union
action find_reverse
entity Q689720
relation P19
action find_reverse
entity Q493032
relation P19
type Q502895
{'OR': [[{'concept': 'Q502895'}, 'P19', 'Q689720'], [{'concept': 'Q502895'}, 'P19', 'Q493032']]}
SELECT DISTINCT ?u WHERE { { ?u property:P19 ?k . VALUES ( ?k ) { ( resource:Q689720 ) ( resource:Q493032 ) } } . ?u rdf:type ontology:Q502895 }
Guinobatan Thörl
action filter_type
action union
action find_reverse
entity Thörl
relation place of birth
action find_reverse
entity Guinobatan
relation place of birth
type common name
{'OR': [[{'concept': 'common name'}, 'place of birth', 'Thörl'], [{'concept': 'common name'}, 'place of birth', 'Guinobatan']]}
SELECT DISTINCT ?u WHERE { { ?u property:place_of_birth ?k . VALUES ( ?k ) { ( resource:Thörl ) ( resource:Guinobatan ) } } . ?u rdf:type ontology:common_name }
[]
common name
Q16192960 Q1546016
SYSTEM
Francis Tolentino, Grete Scheuer
Q16192960 Q1546016
OR((c(Q502895),P19,Q689720), (c(Q502895),P19,Q493032))
action filter_type
action union
action find_reverse
entity Q689720
relation P19
action find_reverse
entity Q493032
relation P19
type Q502895
[ANSWERS] have birthplace at Thörl or Guinobatan
{'OR': [[{'concept': 'Q502895'}, 'P19', 'Q689720'], [{'concept': 'Q502895'}, 'P19', 'Q493032']]}
SELECT DISTINCT ?u WHERE { { ?u property:P19 ?k . VALUES ( ?k ) { ( resource:Q689720 ) ( resource:Q493032 ) } } . ?u rdf:type ontology:Q502895 }
Francis Tolentino Grete Scheuer
Francis Tolentino and Grete Scheuer have birthplace at Thörl or Guinobatan
Francis Tolentino Grete Scheuer
action filter_type
action union
action find_reverse
entity Thörl
relation place of birth
action find_reverse
entity Guinobatan
relation place of birth
type common name
{'OR': [[{'concept': 'common name'}, 'place of birth', 'Thörl'], [{'concept': 'common name'}, 'place of birth', 'Guinobatan']]}
SELECT DISTINCT ?u WHERE { { ?u property:place_of_birth ?k . VALUES ( ?k ) { ( resource:Thörl ) ( resource:Guinobatan ) } } . ?u rdf:type ontology:common_name }
[]
Clarification
Simple Question|Single Entity|Indirect
Q1546016
P937
Q618779
USER
Which award is the work location of that person ?
(Q1546016,P937,c(Q618779))
action filter_type
action find
entity Q1546016
relation P937
type Q618779
['Q1546016', 'P937', {'concept': 'Q618779'}]
SELECT DISTINCT ?x WHERE { resource:Q1546016 property:P937 ?x . ?x rdf:type ontology:Q618779 }
Grete Scheuer
action filter_type
action find
entity Grete Scheuer
relation work location
type award
['Grete Scheuer', 'work location', {'concept': 'award'}]
SELECT DISTINCT ?x WHERE { resource:Grete_Scheuer property:work_location ?x . ?x rdf:type ontology:award }
[]
award
Clarification for simple ques.
Q16192960
SYSTEM
Did you mean Francis Tolentino ?
Q16192960 Q1546016
(Q16192960,P937,c(Q618779)) (Q1546016,P937,c(Q618779))
[ANSWER]
['Q16192960', 'P937', {'concept': 'Q618779'}] ['Q1546016', 'P937', {'concept': 'Q618779'}]
SELECT DISTINCT ?x WHERE { resource:Q1546016 property:P937 ?x . ?x rdf:type ontology:Q618779 }
Francis Tolentino Grete Scheuer
Did you mean Francis Tolentino ?
Francis Tolentino
['Francis Tolentino', 'work location', {'concept': 'award'}] ['Grete Scheuer', 'work location', {'concept': 'award'}]
SELECT DISTINCT ?x WHERE { resource:Grete_Scheuer property:work_location ?x . ?x rdf:type ontology:award }
[]
Simple Question (Coreferenced)
USER
No, I meant Grete Scheuer. Could you tell me the answer for that?
(Q1546016,P937,c(Q618779))
Q1546016
['Q1546016', 'P937', {'concept': 'Q618779'}]
['Grete Scheuer', 'work location', {'concept': 'award'}]
[]
Q13298
SYSTEM
Graz
Q13298
(Q1546016,P937,c(Q618779))
action filter_type
action find
entity Q1546016
relation P937
type Q618779
[ANSWER] is the work location of that person
['Q1546016', 'P937', {'concept': 'Q618779'}]
SELECT DISTINCT ?x WHERE { resource:Q1546016 property:P937 ?x . ?x rdf:type ontology:Q618779 }
Graz
Graz is the work location of that person
Graz
action filter_type
action find
entity Grete Scheuer
relation work location
type award
['Grete Scheuer', 'work location', {'concept': 'award'}]
SELECT DISTINCT ?x WHERE { resource:Grete_Scheuer property:work_location ?x . ?x rdf:type ontology:award }
[]