Simple Question (Direct)
Simple Question
Q11814336
P19
Q56061
USER
Which administrative territory was Paweł Piotrowski born in ?
(Q11814336,P19,c(Q56061))
action filter_type
action find
entity Q11814336
relation P19
type Q56061
['Q11814336', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?c WHERE { resource:Q11814336 property:P19 ?c . ?c rdf:type ontology:Q56061 }
Paweł Piotrowski
action filter_type
action find
entity Paweł Piotrowski
relation place of birth
type administrative territorial entity
['Paweł Piotrowski', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { resource:Paweł_Piotrowski property:place_of_birth ?c . ?c rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q142101
SYSTEM
Kożuchów
Q142101
(Q11814336,P19,c(Q56061))
action filter_type
action find
entity Q11814336
relation P19
type Q56061
[ANSWER]
['Q11814336', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?c WHERE { resource:Q11814336 property:P19 ?c . ?c rdf:type ontology:Q56061 }
Kożuchów
Kożuchów
action filter_type
action find
entity Paweł Piotrowski
relation place of birth
type administrative territorial entity
['Paweł Piotrowski', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { resource:Paweł_Piotrowski property:place_of_birth ?c . ?c rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q11814336
P734
Q82799
USER
Who has the surname Paweł Piotrowski ?
(Q11814336,P734,c(Q82799))
action filter_type
action find
entity Q11814336
relation P734
type Q82799
['Q11814336', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?x WHERE { resource:Q11814336 property:P734 ?x . ?x rdf:type ontology:Q82799 }
Paweł Piotrowski
action filter_type
action find
entity Paweł Piotrowski
relation family name
type name
['Paweł Piotrowski', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?x WHERE { resource:Paweł_Piotrowski property:family_name ?x . ?x rdf:type ontology:name }
[]
name
Q7197133
SYSTEM
Piotrowski
Q7197133
(Q11814336,P734,c(Q82799))
action filter_type
action find
entity Q11814336
relation P734
type Q82799
[ANSWER]
['Q11814336', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?x WHERE { resource:Q11814336 property:P734 ?x . ?x rdf:type ontology:Q82799 }
Piotrowski
Piotrowski
action filter_type
action find
entity Paweł Piotrowski
relation family name
type name
['Paweł Piotrowski', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?x WHERE { resource:Paweł_Piotrowski property:family_name ?x . ?x rdf:type ontology:name }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P407
Q34770 Q82799
USER
How many languages are atleast 18 names in ?
(c(Q82799),P407,c(Q34770))
action count
action atleast
action find_reverse_tuple_counts
relation P407
type Q34770
type Q82799
value 18
[{'concept': 'Q82799'}, 'P407', {'concept': 'Q34770'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?n ) WHERE { FILTER ( ?l >= 18 ) . { SELECT DISTINCT ?z ( COUNT ( ?p ) AS ?l ) WHERE { ?p property:P407 ?z . ?z rdf:type ontology:Q34770 . ?p rdf:type ontology:Q82799 } GROUP BY ?z } }
action count
action atleast
action find_reverse_tuple_counts
relation language of work or name
type language
type name
value 18
[{'concept': 'name'}, 'language of work or name', {'concept': 'language'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?n ) WHERE { FILTER ( ?l >= 18 ) . { SELECT DISTINCT ?z ( COUNT ( ?p ) AS ?l ) WHERE { ?p property:language_of_work_or_name ?z . ?z rdf:type ontology:language . ?p rdf:type ontology:name } GROUP BY ?z } }
[]
language name
SYSTEM
3
Q1860 Q1321 Q652
(c(Q82799),P407,c(Q34770))
action count
action atleast
action find_reverse_tuple_counts
relation P407
type Q34770
type Q82799
value 18
[ANSWER]
[{'concept': 'Q82799'}, 'P407', {'concept': 'Q34770'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?n ) WHERE { FILTER ( ?l >= 18 ) . { SELECT DISTINCT ?z ( COUNT ( ?p ) AS ?l ) WHERE { ?p property:P407 ?z . ?z rdf:type ontology:Q34770 . ?p rdf:type ontology:Q82799 } GROUP BY ?z } }
English Spanish Italian
3
action count
action atleast
action find_reverse_tuple_counts
relation language of work or name
type language
type name
value 18
[{'concept': 'name'}, 'language of work or name', {'concept': 'language'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?n ) WHERE { FILTER ( ?l >= 18 ) . { SELECT DISTINCT ?z ( COUNT ( ?p ) AS ?l ) WHERE { ?p property:language_of_work_or_name ?z . ?z rdf:type ontology:language . ?p rdf:type ontology:name } GROUP BY ?z } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q20963733 Q11814336
P27
Q15617994
USER
Which administrative territories are the native countriesof Paweł Piotrowski or Stoyan Petrov ?
OR((Q11814336,P27,c(Q15617994)), (Q20963733,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q11814336
relation P27
action find
entity Q20963733
relation P27
type Q15617994
{'OR': [['Q11814336', 'P27', {'concept': 'Q15617994'}], ['Q20963733', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Q11814336 property:P27 ?e } UNION { resource:Q20963733 property:P27 ?e } } . ?e rdf:type ontology:Q15617994 }
Stoyan Petrov Paweł Piotrowski
action filter_type
action union
action find
entity Paweł Piotrowski
relation country of citizenship
action find
entity Stoyan Petrov
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Paweł Piotrowski', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Stoyan Petrov', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Paweł_Piotrowski property:country_of_citizenship ?e } UNION { resource:Stoyan_Petrov property:country_of_citizenship ?e } } . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q219 Q36
SYSTEM
Bulgaria, Poland
Q219 Q36
OR((Q11814336,P27,c(Q15617994)), (Q20963733,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q11814336
relation P27
action find
entity Q20963733
relation P27
type Q15617994
[ANSWERS]
{'OR': [['Q11814336', 'P27', {'concept': 'Q15617994'}], ['Q20963733', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Q11814336 property:P27 ?e } UNION { resource:Q20963733 property:P27 ?e } } . ?e rdf:type ontology:Q15617994 }
Bulgaria Poland
Bulgaria Poland
action filter_type
action union
action find
entity Paweł Piotrowski
relation country of citizenship
action find
entity Stoyan Petrov
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Paweł Piotrowski', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Stoyan Petrov', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Paweł_Piotrowski property:country_of_citizenship ?e } UNION { resource:Stoyan_Petrov property:country_of_citizenship ?e } } . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q2177173
P530
Q15617994
USER
Do Hibb's Green have diplomatic relations with those ones ?
(Q2177173,P530,Q219) (Q2177173,P530,Q36)
action is_in
entity prev_answer
action find
entity Q2177173
relation P530
['Q2177173', 'P530', 'Q219'] ['Q2177173', 'P530', 'Q36']
ASK WHERE { resource:Q2177173 property:P530 ?o . VALUES ( ?o ) { ( resource:Q219 ) ( resource:Q36 ) } }
Hibb's Green
action is_in
entity prev_answer
action find
entity Hibb's Green
relation diplomatic relation
["Hibb's Green", 'diplomatic relation', 'Bulgaria'] ["Hibb's Green", 'diplomatic relation', 'Poland']
ASK WHERE { resource:Hibb's_Green property:diplomatic_relation ?o . VALUES ( ?o ) { ( resource:Bulgaria ) ( resource:Poland ) } }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q2177173,P530,Q219) (Q2177173,P530,Q36)
action is_in
entity prev_answer
action find
entity Q2177173
relation P530
[ANSWER]
['Q2177173', 'P530', 'Q219'] ['Q2177173', 'P530', 'Q36']
ASK WHERE { resource:Q2177173 property:P530 ?o . VALUES ( ?o ) { ( resource:Q219 ) ( resource:Q36 ) } }
No
action is_in
entity prev_answer
action find
entity Hibb's Green
relation diplomatic relation
["Hibb's Green", 'diplomatic relation', 'Bulgaria'] ["Hibb's Green", 'diplomatic relation', 'Poland']
ASK WHERE { resource:Hibb's_Green property:diplomatic_relation ?o . VALUES ( ?o ) { ( resource:Bulgaria ) ( resource:Poland ) } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q11857359 Q11814336
P27
Q15617994
USER
Which administrative territories do Paweł Piotrowski or Eliisa Alanko belong to ?
OR((Q11814336,P27,c(Q15617994)), (Q11857359,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q11814336
relation P27
action find
entity Q11857359
relation P27
type Q15617994
{'OR': [['Q11814336', 'P27', {'concept': 'Q15617994'}], ['Q11857359', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?p WHERE { { { resource:Q11857359 property:P27 ?p } UNION { resource:Q11814336 property:P27 ?p } } . ?p rdf:type ontology:Q15617994 }
Eliisa Alanko Paweł Piotrowski
action filter_type
action union
action find
entity Paweł Piotrowski
relation country of citizenship
action find
entity Eliisa Alanko
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Paweł Piotrowski', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Eliisa Alanko', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?p WHERE { { { resource:Eliisa_Alanko property:country_of_citizenship ?p } UNION { resource:Paweł_Piotrowski property:country_of_citizenship ?p } } . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q33 Q36
SYSTEM
Finland, Poland
Q33 Q36
OR((Q11814336,P27,c(Q15617994)), (Q11857359,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q11814336
relation P27
action find
entity Q11857359
relation P27
type Q15617994
[ANSWERS]
{'OR': [['Q11814336', 'P27', {'concept': 'Q15617994'}], ['Q11857359', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?p WHERE { { { resource:Q11857359 property:P27 ?p } UNION { resource:Q11814336 property:P27 ?p } } . ?p rdf:type ontology:Q15617994 }
Finland Poland
Finland Poland
action filter_type
action union
action find
entity Paweł Piotrowski
relation country of citizenship
action find
entity Eliisa Alanko
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Paweł Piotrowski', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Eliisa Alanko', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?p WHERE { { { resource:Eliisa_Alanko property:country_of_citizenship ?p } UNION { resource:Paweł_Piotrowski property:country_of_citizenship ?p } } . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Clarification
Comparative|More/Less|Single entity type|Indirect
P941
Q15617994 Q3895768
USER
Which administrative territories were the sources of inspiration for more number of fictional locations than that administrative territory ?
(c(Q3895768),P941,c(Q15617994))
[{'concept': 'Q3895768'}, 'P941', {'concept': 'Q15617994'}]
SELECT DISTINCT * WHERE { ?z property:P941 ?y . ?z rdf:type ontology:Q3895768 . ?y rdf:type ontology:Q15617994 }
[{'concept': 'fictional location'}, 'inspired by', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT * WHERE { ?z property:inspired_by ?y . ?z rdf:type ontology:fictional_location . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity fictional location
Comparative|More/Less|Single entity type|Clarification
Q33
SYSTEM
Did you mean Finland ?
(c(Q3895768),P941,c(Q15617994))
[ANSWER]
[{'concept': 'Q3895768'}, 'P941', {'concept': 'Q15617994'}]
SELECT DISTINCT * WHERE { ?z property:P941 ?y . ?z rdf:type ontology:Q3895768 . ?y rdf:type ontology:Q15617994 }
Did you mean Finland ?
Finland
[{'concept': 'fictional location'}, 'inspired by', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT * WHERE { ?z property:inspired_by ?y . ?z rdf:type ontology:fictional_location . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Comparative Reasoning (All)
USER
Yes
(c(Q3895768),P941,c(Q15617994))
[{'concept': 'Q3895768'}, 'P941', {'concept': 'Q15617994'}]
[{'concept': 'fictional location'}, 'inspired by', {'concept': 'designation for an administrative territorial entity'}]
[]
Q668
SYSTEM
India
Q668
(c(Q3895768),P941,c(Q15617994))
[ANSWER]
[{'concept': 'Q3895768'}, 'P941', {'concept': 'Q15617994'}]
SELECT DISTINCT * WHERE { ?z property:P941 ?y . ?z rdf:type ontology:Q3895768 . ?y rdf:type ontology:Q15617994 }
India
India
[{'concept': 'fictional location'}, 'inspired by', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT * WHERE { ?z property:inspired_by ?y . ?z rdf:type ontology:fictional_location . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q668 Q5016937
P17
Q56061
USER
Is Caerwedros located in that administrative territory ?
(Q5016937,P17,Q668)
action is_in
entity Q5016937
action find
entity Q668
relation P17
['Q5016937', 'P17', 'Q668']
ASK WHERE { resource:Q668 property:P17 resource:Q5016937 }
India Caerwedros
action is_in
entity Caerwedros
action find
entity India
relation country
['Caerwedros', 'country', 'India']
ASK WHERE { resource:India property:country resource:Caerwedros }
[]
administrative territorial entity
SYSTEM
NO
(Q5016937,P17,Q668)
action is_in
entity Q5016937
action find
entity Q668
relation P17
[ANSWER]
['Q5016937', 'P17', 'Q668']
ASK WHERE { resource:Q668 property:P17 resource:Q5016937 }
No
action is_in
entity Caerwedros
action find
entity India
relation country
['Caerwedros', 'country', 'India']
ASK WHERE { resource:India property:country resource:Caerwedros }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P180
Q15617994 Q3305213 Q2342494
USER
Which administrative territories are depicted in exactly 2 paintings and collectables ?
(c(Q3305213)|c(Q2342494),P180,c(Q15617994))
action equal
action union
action find_reverse_tuple_counts
relation P180
type Q15617994
type Q3305213
action find_reverse_tuple_counts
relation P180
type Q15617994
type Q2342494
value 2
[[{'concept': 'Q3305213'}, {'concept': 'Q2342494'}], 'P180', {'concept': 'Q15617994'}]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ?r ( COUNT ( ?c ) AS ?x ) WHERE { { ?c property:P180 ?r . ?r rdf:type ontology:Q15617994 . ?c rdf:type ontology:Q3305213 } UNION { ?c property:P180 ?r . ?r rdf:type ontology:Q15617994 . ?c rdf:type ontology:Q2342494 } } GROUP BY ?r } . FILTER ( ?x = 2 ) }
action equal
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 collectable
value 2
[[{'concept': 'painting'}, {'concept': 'collectable'}], 'depicts', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ?r ( COUNT ( ?c ) AS ?x ) WHERE { { ?c property:depicts ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?c rdf:type ontology:painting } UNION { ?c property:depicts ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?c rdf:type ontology:collectable } } GROUP BY ?r } . FILTER ( ?x = 2 ) }
[]
designation for an administrative territorial entity painting collectable
Q131596 Q38 Q82025
SYSTEM
farm, Italy, horn
Q131596 Q38 Q82025
(c(Q3305213)|c(Q2342494),P180,c(Q15617994))
action equal
action union
action find_reverse_tuple_counts
relation P180
type Q15617994
type Q3305213
action find_reverse_tuple_counts
relation P180
type Q15617994
type Q2342494
value 2
[ANSWERS]
[[{'concept': 'Q3305213'}, {'concept': 'Q2342494'}], 'P180', {'concept': 'Q15617994'}]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ?r ( COUNT ( ?c ) AS ?x ) WHERE { { ?c property:P180 ?r . ?r rdf:type ontology:Q15617994 . ?c rdf:type ontology:Q3305213 } UNION { ?c property:P180 ?r . ?r rdf:type ontology:Q15617994 . ?c rdf:type ontology:Q2342494 } } GROUP BY ?r } . FILTER ( ?x = 2 ) }
farm Italy horn
farm Italy horn
action equal
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 collectable
value 2
[[{'concept': 'painting'}, {'concept': 'collectable'}], 'depicts', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ?r ( COUNT ( ?c ) AS ?x ) WHERE { { ?c property:depicts ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?c rdf:type ontology:painting } UNION { ?c property:depicts ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?c rdf:type ontology:collectable } } GROUP BY ?r } . FILTER ( ?x = 2 ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q1773268
P1376
Q15617994 Q56061 Q515
USER
Which administrative territories have lesser number of administrative territories or cities as their capital than ZF Mgcawu District Municipality ?
(c(Q56061)|c(Q515),P1376,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q56061
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action count
action filter_multi_types
action find_reverse
entity Q1773268
relation P1376
type Q56061
type Q515
[[{'concept': 'Q56061'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?g ) WHERE { ?p property:P1376 resource:Q1773268 . { { ?p rdf:type ontology:Q56061 } UNION { ?p rdf:type ontology:Q515 } } } } . FILTER ( ?r < ?g ) . { SELECT DISTINCT ?w ( COUNT ( ?v ) AS ?r ) WHERE { { ?w rdf:type ontology:Q15617994 . ?v rdf:type ontology:Q56061 . ?v property:P1376 ?w } UNION { ?v property:P1376 ?w . ?w rdf:type ontology:Q15617994 . ?v rdf:type ontology:Q515 } } GROUP BY ?w } }
ZF Mgcawu District Municipality
action less
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type administrative territorial entity
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action count
action filter_multi_types
action find_reverse
entity ZF Mgcawu District Municipality
relation capital of
type administrative territorial entity
type city
[[{'concept': 'administrative territorial entity'}, {'concept': 'city'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?g ) WHERE { ?p property:capital_of resource:ZF_Mgcawu_District_Municipality . { { ?p rdf:type ontology:administrative_territorial_entity } UNION { ?p rdf:type ontology:city } } } } . FILTER ( ?r < ?g ) . { SELECT DISTINCT ?w ( COUNT ( ?v ) AS ?r ) WHERE { { ?w rdf:type ontology:designation_for_an_administrative_territorial_entity . ?v rdf:type ontology:administrative_territorial_entity . ?v property:capital_of ?w } UNION { ?v property:capital_of ?w . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity . ?v rdf:type ontology:city } } GROUP BY ?w } }
[]
designation for an administrative territorial entity administrative territorial entity city
Q224 Q739 Q965
SYSTEM
Croatia, Colombia, Burkina Faso
Q12631 Q3368 Q1111401 Q3044731 Q12689 Q2527360 Q699731 Q3377 Q3372 Q3093 Q3259 Q2528268 Q12594 Q739 Q733 Q12574 Q12798 Q12792 Q1284 Q541811 Q1458 Q12700 Q12703 Q12709 Q12569 Q12642 Q3216 Q3194 Q541589 Q12804 Q12808 Q3326 Q3286 Q3266 Q3105 Q731547 Q33788 Q709 Q12740 Q12745 Q12779 Q12607 Q290739 Q12789 Q1452646 Q2281221 Q1508919 Q12694 Q12515 Q12517 Q3364 Q3148 Q280312 Q492437 Q12675 Q12589 Q12584 Q12580 Q3131 Q12788 Q12784 Q12782 Q686312 Q697 Q12730 Q12736 Q1270568 Q12657 Q12652 Q12556 Q694594 Q874 Q176 Q12816 Q3353 Q3357 Q389004 Q492430 Q3278 Q3184 Q239502 Q2900529 Q12772 Q1090678 Q1999970 Q155019 Q107426 Q511365 Q598193 Q1270623 Q10957559 Q965 Q962 Q3125 Q3120 Q3110307 Q12722 Q12553 Q12620 Q12626 Q12543 Q12563 Q426025 Q474421 Q3349 Q3083 Q3249 Q34762 Q12761 Q12765 Q1443 Q224 Q691265 Q313175 Q3334 Q12572 Q12576 Q12578 Q12679 Q3514973 Q3113 Q1234961 Q1222 Q672 Q12758 Q12753 Q12751 Q12564
(c(Q56061)|c(Q515),P1376,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q56061
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action count
action filter_multi_types
action find_reverse
entity Q1773268
relation P1376
type Q56061
type Q515
[ANSWERS]
[[{'concept': 'Q56061'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?g ) WHERE { ?p property:P1376 resource:Q1773268 . { { ?p rdf:type ontology:Q56061 } UNION { ?p rdf:type ontology:Q515 } } } } . FILTER ( ?r < ?g ) . { SELECT DISTINCT ?w ( COUNT ( ?v ) AS ?r ) WHERE { { ?w rdf:type ontology:Q15617994 . ?v rdf:type ontology:Q56061 . ?v property:P1376 ?w } UNION { ?v property:P1376 ?w . ?w rdf:type ontology:Q15617994 . ?v rdf:type ontology:Q515 } } GROUP BY ?w } }
Meuse Essonne Kispest District Guyane Pas-de-Calais Stura Wied Eure-et-Loir Eure Aisne Cantal Mont-Blanc Marne Colombia Paraguay Loiret Vendée Vaucluse Abruzzo Ems-Oriental Calabria Hautes-Pyrénées Pyrénées-Atlantiques Pyrénées-Orientales Loire Morbihan Aveyron Aube Ems-Supérieur Vienne Haute-Vienne Corrèze Cher Charente Vosges Lippe New Caledonia Marshall Islands Sarthe Savoie Tarn-et-Garonne Haute-Marne Sesia Var Montenotte Principality of Orange Marengo Puy-de-Dôme Gard Gers Drôme Ardèche Principality of Lüneburg Bouches-du-Weser Oise Manche Maine-et-Loire Lozère Alpes-de-Haute-Provence Val-de-Marne Val-d'Oise Territoire de Belfort Duchy of Amalfi Nauru Haute-Saône Saône-et-Loire Ems Nièvre Moselle Indre-et-Loire Bremen-Verden Turkmenistan Quebec Yonne Creuse Dordogne Wallachia Bouches-de-l'Elbe Charente-Maritime Ariège Kingdom of Galicia–Volhynia Bezirk Lothringen Tarn Sègre Upper Alsace Duchy of Lorraine Anjou Arvika Municipality Apennins Meurthe Moldavia Burkina Faso Benin Hautes-Alpes Jura Golo Haut-Rhin Indre Mayenne Meurthe-et-Moselle Hauts-de-Seine Landes Duchy of Savoy Principality of Fürstenberg Côtes-d'Armor Ain Calvados Principality of Bayreuth Seine-Saint-Denis Deux-Sèvres Molise Croatia Mont-Terrible Saxe-Lauenburg Haute-Corse Haute-Loire Lot Lot-et-Garonne Orne Tanaro Allier Doire Aosta Valley Tuvalu Seine-Maritime Seine-et-Marne Haute-Savoie Loir-et-Cher
Croatia Colombia Burkina Faso
action less
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type administrative territorial entity
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action count
action filter_multi_types
action find_reverse
entity ZF Mgcawu District Municipality
relation capital of
type administrative territorial entity
type city
[[{'concept': 'administrative territorial entity'}, {'concept': 'city'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?g ) WHERE { ?p property:capital_of resource:ZF_Mgcawu_District_Municipality . { { ?p rdf:type ontology:administrative_territorial_entity } UNION { ?p rdf:type ontology:city } } } } . FILTER ( ?r < ?g ) . { SELECT DISTINCT ?w ( COUNT ( ?v ) AS ?r ) WHERE { { ?w rdf:type ontology:designation_for_an_administrative_territorial_entity . ?v rdf:type ontology:administrative_territorial_entity . ?v property:capital_of ?w } UNION { ?v property:capital_of ?w . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity . ?v rdf:type ontology:city } } GROUP BY ?w } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q617646
P1376
Q15617994 Q56061 Q515
USER
And what about Namakwa District Municipality?
(c(Q56061)|c(Q515),P1376,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q56061
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action count
action filter_multi_types
action find_reverse
entity Q617646
relation P1376
type Q56061
type Q515
[[{'concept': 'Q56061'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?u ) AS ?h ) WHERE { ?u rdf:type ?g . VALUES ( ?g ) { ( ontology:Q515 ) ( ontology:Q56061 ) } } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?i ) WHERE { ?c property:P1376 resource:Q617646 . { VALUES ( ?d ) { ( ontology:Q56061 ) ( ontology:Q515 ) } . ?c rdf:type ?d } } } . FILTER ( ?h < ?i ) }
Namakwa District Municipality
action less
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type administrative territorial entity
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action count
action filter_multi_types
action find_reverse
entity Namakwa District Municipality
relation capital of
type administrative territorial entity
type city
[[{'concept': 'administrative territorial entity'}, {'concept': 'city'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?u ) AS ?h ) WHERE { ?u rdf:type ?g . VALUES ( ?g ) { ( ontology:city ) ( ontology:administrative_territorial_entity ) } } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?i ) WHERE { ?c property:capital_of resource:Namakwa_District_Municipality . { VALUES ( ?d ) { ( ontology:administrative_territorial_entity ) ( ontology:city ) } . ?c rdf:type ?d } } } . FILTER ( ?h < ?i ) }
[]
designation for an administrative territorial entity administrative territorial entity city
Q224 Q739 Q965
SYSTEM
Croatia, Colombia, Burkina Faso
Q12631 Q3368 Q1111401 Q3044731 Q12689 Q2527360 Q699731 Q3377 Q3372 Q3093 Q3259 Q2528268 Q12594 Q739 Q733 Q12574 Q12798 Q12792 Q1284 Q541811 Q1458 Q12700 Q12703 Q12709 Q12569 Q12642 Q3216 Q3194 Q541589 Q12804 Q12808 Q3326 Q3286 Q3266 Q3105 Q731547 Q33788 Q709 Q12740 Q12745 Q12779 Q12607 Q290739 Q12789 Q1452646 Q2281221 Q1508919 Q12694 Q12515 Q12517 Q3364 Q3148 Q280312 Q492437 Q12675 Q12589 Q12584 Q12580 Q3131 Q12788 Q12784 Q12782 Q686312 Q697 Q12730 Q12736 Q1270568 Q12657 Q12652 Q12556 Q694594 Q874 Q176 Q12816 Q3353 Q3357 Q389004 Q492430 Q3278 Q3184 Q239502 Q2900529 Q12772 Q1090678 Q1999970 Q155019 Q107426 Q511365 Q598193 Q1270623 Q10957559 Q965 Q962 Q3125 Q3120 Q3110307 Q12722 Q12553 Q12620 Q12626 Q12543 Q12563 Q426025 Q474421 Q3349 Q3083 Q3249 Q34762 Q12761 Q12765 Q1443 Q224 Q691265 Q313175 Q3334 Q12572 Q12576 Q12578 Q12679 Q3514973 Q3113 Q1234961 Q1222 Q672 Q12758 Q12753 Q12751 Q12564
(c(Q56061)|c(Q515),P1376,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q56061
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action count
action filter_multi_types
action find_reverse
entity Q617646
relation P1376
type Q56061
type Q515
[ANSWERS]
[[{'concept': 'Q56061'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?u ) AS ?h ) WHERE { ?u rdf:type ?g . VALUES ( ?g ) { ( ontology:Q515 ) ( ontology:Q56061 ) } } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?i ) WHERE { ?c property:P1376 resource:Q617646 . { VALUES ( ?d ) { ( ontology:Q56061 ) ( ontology:Q515 ) } . ?c rdf:type ?d } } } . FILTER ( ?h < ?i ) }
Meuse Essonne Kispest District Guyane Pas-de-Calais Stura Wied Eure-et-Loir Eure Aisne Cantal Mont-Blanc Marne Colombia Paraguay Loiret Vendée Vaucluse Abruzzo Ems-Oriental Calabria Hautes-Pyrénées Pyrénées-Atlantiques Pyrénées-Orientales Loire Morbihan Aveyron Aube Ems-Supérieur Vienne Haute-Vienne Corrèze Cher Charente Vosges Lippe New Caledonia Marshall Islands Sarthe Savoie Tarn-et-Garonne Haute-Marne Sesia Var Montenotte Principality of Orange Marengo Puy-de-Dôme Gard Gers Drôme Ardèche Principality of Lüneburg Bouches-du-Weser Oise Manche Maine-et-Loire Lozère Alpes-de-Haute-Provence Val-de-Marne Val-d'Oise Territoire de Belfort Duchy of Amalfi Nauru Haute-Saône Saône-et-Loire Ems Nièvre Moselle Indre-et-Loire Bremen-Verden Turkmenistan Quebec Yonne Creuse Dordogne Wallachia Bouches-de-l'Elbe Charente-Maritime Ariège Kingdom of Galicia–Volhynia Bezirk Lothringen Tarn Sègre Upper Alsace Duchy of Lorraine Anjou Arvika Municipality Apennins Meurthe Moldavia Burkina Faso Benin Hautes-Alpes Jura Golo Haut-Rhin Indre Mayenne Meurthe-et-Moselle Hauts-de-Seine Landes Duchy of Savoy Principality of Fürstenberg Côtes-d'Armor Ain Calvados Principality of Bayreuth Seine-Saint-Denis Deux-Sèvres Molise Croatia Mont-Terrible Saxe-Lauenburg Haute-Corse Haute-Loire Lot Lot-et-Garonne Orne Tanaro Allier Doire Aosta Valley Tuvalu Seine-Maritime Seine-et-Marne Haute-Savoie Loir-et-Cher
Croatia Colombia Burkina Faso
action less
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type administrative territorial entity
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action count
action filter_multi_types
action find_reverse
entity Namakwa District Municipality
relation capital of
type administrative territorial entity
type city
[[{'concept': 'administrative territorial entity'}, {'concept': 'city'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?u ) AS ?h ) WHERE { ?u rdf:type ?g . VALUES ( ?g ) { ( ontology:city ) ( ontology:administrative_territorial_entity ) } } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?i ) WHERE { ?c property:capital_of resource:Namakwa_District_Municipality . { VALUES ( ?d ) { ( ontology:administrative_territorial_entity ) ( ontology:city ) } . ?c rdf:type ?d } } } . FILTER ( ?h < ?i ) }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q183
P530
Q1048835
USER
Do Germany have diplomatic associations with those administrative territories ?
(Q183,P530,Q224) (Q183,P530,Q739) (Q183,P530,Q965)
action is_in
entity prev_answer
action find
entity Q183
relation P530
['Q183', 'P530', 'Q224'] ['Q183', 'P530', 'Q739'] ['Q183', 'P530', 'Q965']
ASK WHERE { VALUES ( ?d ) { ( resource:Q12631 ) ( resource:Q3368 ) ( resource:Q1111401 ) } . resource:Q183 property:P530 ?d }
Germany
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Croatia'] ['Germany', 'diplomatic relation', 'Colombia'] ['Germany', 'diplomatic relation', 'Burkina Faso']
ASK WHERE { VALUES ( ?d ) { ( resource:Meuse ) ( resource:Essonne ) ( resource:Kispest_District ) } . resource:Germany property:diplomatic_relation ?d }
[]
political territorial entity
SYSTEM
YES
(Q183,P530,Q224) (Q183,P530,Q739) (Q183,P530,Q965)
action is_in
entity prev_answer
action find
entity Q183
relation P530
[ANSWER]
['Q183', 'P530', 'Q224'] ['Q183', 'P530', 'Q739'] ['Q183', 'P530', 'Q965']
ASK WHERE { VALUES ( ?d ) { ( resource:Q12631 ) ( resource:Q3368 ) ( resource:Q1111401 ) } . resource:Q183 property:P530 ?d }
Yes
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Croatia'] ['Germany', 'diplomatic relation', 'Colombia'] ['Germany', 'diplomatic relation', 'Burkina Faso']
ASK WHERE { VALUES ( ?d ) { ( resource:Meuse ) ( resource:Essonne ) ( resource:Kispest_District ) } . resource:Germany property:diplomatic_relation ?d }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q8701
P488
Q502895
USER
Who served as the chairperson of Atlético Madrid ?
(Q8701,P488,c(Q502895))
action filter_type
action find
entity Q8701
relation P488
type Q502895
['Q8701', 'P488', {'concept': 'Q502895'}]
SELECT DISTINCT ?v WHERE { resource:Q8701 property:P488 ?v . ?v rdf:type ontology:Q502895 }
Atlético Madrid
action filter_type
action find
entity Atlético Madrid
relation chairperson
type common name
['Atlético Madrid', 'chairperson', {'concept': 'common name'}]
SELECT DISTINCT ?v WHERE { resource:Atlético_Madrid property:chairperson ?v . ?v rdf:type ontology:common_name }
[]
common name
Q2457791
SYSTEM
Enrique Cerezo
Q2457791
(Q8701,P488,c(Q502895))
action filter_type
action find
entity Q8701
relation P488
type Q502895
[ANSWER]
['Q8701', 'P488', {'concept': 'Q502895'}]
SELECT DISTINCT ?v WHERE { resource:Q8701 property:P488 ?v . ?v rdf:type ontology:Q502895 }
Enrique Cerezo
Enrique Cerezo
action filter_type
action find
entity Atlético Madrid
relation chairperson
type common name
['Atlético Madrid', 'chairperson', {'concept': 'common name'}]
SELECT DISTINCT ?v WHERE { resource:Atlético_Madrid property:chairperson ?v . ?v rdf:type ontology:common_name }
[]