Simple Question (Direct)
Simple Question
Q19831457
P22
Q502895
USER
Which male person was the parent of Tonino Bertoleoni ?
(Q19831457,P22,c(Q502895))
action filter_type
action find
entity Q19831457
relation P22
type Q502895
['Q19831457', 'P22', {'concept': 'Q502895'}]
SELECT DISTINCT ?g WHERE { resource:Q19831457 property:P22 ?g . ?g rdf:type ontology:Q502895 }
Tonino Bertoleoni
action filter_type
action find
entity Tonino Bertoleoni
relation father
type common name
['Tonino Bertoleoni', 'father', {'concept': 'common name'}]
SELECT DISTINCT ?g WHERE { resource:Tonino_Bertoleoni property:father ?g . ?g rdf:type ontology:common_name }
[]
common name
Q19831449
SYSTEM
Paolo II Bertoleoni
Q19831449
(Q19831457,P22,c(Q502895))
action filter_type
action find
entity Q19831457
relation P22
type Q502895
[ANSWER] was the parent of Tonino Bertoleoni
['Q19831457', 'P22', {'concept': 'Q502895'}]
SELECT DISTINCT ?g WHERE { resource:Q19831457 property:P22 ?g . ?g rdf:type ontology:Q502895 }
Paolo II Bertoleoni
Paolo II Bertoleoni was the parent of Tonino Bertoleoni
Paolo II Bertoleoni
action filter_type
action find
entity Tonino Bertoleoni
relation father
type common name
['Tonino Bertoleoni', 'father', {'concept': 'common name'}]
SELECT DISTINCT ?g WHERE { resource:Tonino_Bertoleoni property:father ?g . ?g rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q19831449
P40
Q502895
USER
Which people are a successors of that one ?
(Q19831449,P40,c(Q502895))
action filter_type
action find
entity Q19831449
relation P40
type Q502895
['Q19831449', 'P40', {'concept': 'Q502895'}]
SELECT DISTINCT ?l WHERE { resource:Q19831449 property:P40 ?l . ?l rdf:type ontology:Q502895 }
Paolo II Bertoleoni
action filter_type
action find
entity Paolo II Bertoleoni
relation child
type common name
['Paolo II Bertoleoni', 'child', {'concept': 'common name'}]
SELECT DISTINCT ?l WHERE { resource:Paolo_II_Bertoleoni property:child ?l . ?l rdf:type ontology:common_name }
[]
common name
Q19831457 Q19831452
SYSTEM
Tonino Bertoleoni, Carlo II Bertoleoni
Q19831457 Q19831452
(Q19831449,P40,c(Q502895))
action filter_type
action find
entity Q19831449
relation P40
type Q502895
[ANSWERS] are a successors of that one
['Q19831449', 'P40', {'concept': 'Q502895'}]
SELECT DISTINCT ?l WHERE { resource:Q19831449 property:P40 ?l . ?l rdf:type ontology:Q502895 }
Tonino Bertoleoni Carlo II Bertoleoni
Tonino Bertoleoni and Carlo II Bertoleoni are a successors of that one
Tonino Bertoleoni Carlo II Bertoleoni
action filter_type
action find
entity Paolo II Bertoleoni
relation child
type common name
['Paolo II Bertoleoni', 'child', {'concept': 'common name'}]
SELECT DISTINCT ?l WHERE { resource:Paolo_II_Bertoleoni property:child ?l . ?l rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q947153
P35
Q7275
USER
Are Kingdom of Tavolara headed by those people ?
(Q947153,P35,Q19831457) (Q947153,P35,Q19831452)
action is_in
entity prev_answer
action find
entity Q947153
relation P35
['Q947153', 'P35', 'Q19831457'] ['Q947153', 'P35', 'Q19831452']
ASK WHERE { VALUES ( ?u ) { ( resource:Q19831457 ) ( resource:Q19831452 ) } . resource:Q947153 property:P35 ?u }
Kingdom of Tavolara
action is_in
entity prev_answer
action find
entity Kingdom of Tavolara
relation head of state
['Kingdom of Tavolara', 'head of state', 'Tonino Bertoleoni'] ['Kingdom of Tavolara', 'head of state', 'Carlo II Bertoleoni']
ASK WHERE { VALUES ( ?u ) { ( resource:Tonino_Bertoleoni ) ( resource:Carlo_II_Bertoleoni ) } . resource:Kingdom_of_Tavolara property:head_of_state ?u }
[]
state
SYSTEM
YES
(Q947153,P35,Q19831457) (Q947153,P35,Q19831452)
action is_in
entity prev_answer
action find
entity Q947153
relation P35
[ANSWER]
['Q947153', 'P35', 'Q19831457'] ['Q947153', 'P35', 'Q19831452']
ASK WHERE { VALUES ( ?u ) { ( resource:Q19831457 ) ( resource:Q19831452 ) } . resource:Q947153 property:P35 ?u }
Yes
action is_in
entity prev_answer
action find
entity Kingdom of Tavolara
relation head of state
['Kingdom of Tavolara', 'head of state', 'Tonino Bertoleoni'] ['Kingdom of Tavolara', 'head of state', 'Carlo II Bertoleoni']
ASK WHERE { VALUES ( ?u ) { ( resource:Tonino_Bertoleoni ) ( resource:Carlo_II_Bertoleoni ) } . resource:Kingdom_of_Tavolara property:head_of_state ?u }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P417
Q502895 Q56061 Q16970
USER
Which people are the patron saints of atmost 15 administrative territories or churches ?
(c(Q56061)|c(Q16970),P417,c(Q502895))
action atmost
action union
action find_reverse_tuple_counts
relation P417
type Q502895
type Q56061
action find_reverse_tuple_counts
relation P417
type Q502895
type Q16970
value 15
[[{'concept': 'Q56061'}, {'concept': 'Q16970'}], 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?g ) ?z WHERE { VALUES ( ?f ) { ( ontology:Q56061 ) ( ontology:Q16970 ) } . ?x rdf:type ?f } GROUP BY ?z } . FILTER ( ?g <= 15 ) }
action atmost
action union
action find_reverse_tuple_counts
relation patron saint
type common name
type administrative territorial entity
action find_reverse_tuple_counts
relation patron saint
type common name
type church
value 15
[[{'concept': 'administrative territorial entity'}, {'concept': 'church'}], 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?g ) ?z WHERE { VALUES ( ?f ) { ( ontology:administrative_territorial_entity ) ( ontology:church ) } . ?x rdf:type ?f } GROUP BY ?z } . FILTER ( ?g <= 15 ) }
[]
common name administrative territorial entity church
Q9682 Q9438 Q191479
SYSTEM
Elizabeth II, Thomas Aquinas, Tadeusz Kościuszko
Q2366998 Q453698 Q561838 Q380092 Q129674 Q229190 Q43945 Q3922154 Q152457 Q172390 Q1050218 Q464959 Q394727 Q268087 Q1141472 Q61914 Q2916248 Q516729 Q349086 Q315640 Q3893243 Q719683 Q331697 Q1553720 Q351635 Q732865 Q3759661 Q696682 Q118087 Q320199 Q43689 Q1281133 Q236974 Q378656 Q61620 Q3776432 Q128267 Q2987904 Q2574015 Q101090 Q1834624 Q328804 Q174044 Q1284098 Q1249745 Q47144 Q240610 Q166876 Q163900 Q31966 Q170547 Q603655 Q44024 Q314700 Q3940728 Q44020 Q313807 Q149315 Q676555 Q2360539 Q244383 Q3615108 Q244380 Q235857 Q287916 Q192236 Q539890 Q102131 Q505937 Q44091 Q181715 Q212850 Q2617668 Q670456 Q1346958 Q243122 Q51885 Q238744 Q3747052 Q153024 Q3949261 Q234697 Q1284971 Q132797 Q132100 Q188411 Q727316 Q4011186 Q233067 Q3838743 Q374822 Q686948 Q733308 Q309953 Q118081 Q358325 Q537686 Q312057 Q357093 Q115550 Q9438 Q1502088 Q8413 Q558148 Q160373 Q130997 Q515953 Q1274242 Q312758 Q443392 Q5575577 Q379685 Q191479 Q42887 Q3745904 Q191107 Q4210004 Q4282480 Q177903 Q3859960 Q2697247 Q203437 Q457903 Q207113 Q8018 Q315312 Q43675 Q618214 Q242274 Q216946 Q728245 Q384364 Q132113 Q81634 Q161775 Q221522 Q43954 Q44047 Q128538 Q37599 Q316599 Q232975 Q183240 Q122376 Q119289 Q145746 Q15284282 Q360798 Q298845 Q167477 Q380345 Q288295 Q297742 Q218921 Q316295 Q183332 Q4014956 Q48438 Q159834 Q119512 Q44281 Q63070 Q134666 Q170164 Q43399 Q867765 Q914115 Q1289858 Q379914 Q3906150 Q3876580 Q189776 Q339541 Q965463 Q196527 Q160922 Q1115725 Q336731 Q913528 Q231256 Q196653 Q560531 Q4161703 Q508214 Q174880 Q1270991 Q235863 Q346 Q131159 Q190388 Q3924139 Q193507 Q180936 Q83198 Q2142772 Q2182480 Q7226 Q2005417 Q463600 Q243427 Q2456880 Q417686 Q185117 Q303640 Q241423 Q43999 Q447384 Q1747656 Q6732208 Q1393825 Q64196 Q2824511 Q3887342 Q310686 Q359259 Q12871 Q43669 Q9156208 Q336704 Q181489 Q369691 Q44269 Q587596 Q372668 Q831571 Q3779522 Q2456500 Q2352076 Q977571 Q44265 Q232453 Q192816 Q43982 Q58559 Q179718 Q445357 Q359878 Q190240 Q332656 Q210096 Q1976199 Q320171 Q3724316 Q1343711 Q3663117 Q137947 Q534691 Q160374 Q442516 Q920226 Q80513 Q43600 Q283447 Q26486 Q324700 Q158504 Q744884 Q130005 Q740907 Q44015 Q44258 Q70991 Q318974 Q151967 Q312314 Q149727 Q254896 Q3947956 Q11905449 Q1172641 Q3738578 Q4026158 Q367208 Q469978 Q232427 Q164294 Q2270111 Q103556 Q129603 Q3561124 Q1110905 Q60059 Q335127 Q651226 Q355884 Q42827 Q159862 Q543320 Q17590 Q318347 Q271474 Q3958514 Q317131 Q257960 Q234689 Q385253 Q208961 Q235619 Q200895 Q523662 Q284323 Q59071 Q1383532 Q160445 Q44248 Q1269112 Q2424767 Q459032 Q276148 Q131945 Q9682 Q127385 Q470608 Q196157 Q310633 Q208331
(c(Q56061)|c(Q16970),P417,c(Q502895))
action atmost
action union
action find_reverse_tuple_counts
relation P417
type Q502895
type Q56061
action find_reverse_tuple_counts
relation P417
type Q502895
type Q16970
value 15
[ANSWERS] are the patron saints of atmost 15 administrative territories or churches
[[{'concept': 'Q56061'}, {'concept': 'Q16970'}], 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?g ) ?z WHERE { VALUES ( ?f ) { ( ontology:Q56061 ) ( ontology:Q16970 ) } . ?x rdf:type ?f } GROUP BY ?z } . FILTER ( ?g <= 15 ) }
Eurosia Saint Amand Alexander of Bergamo Francis Borgia, 4th Duke of Gandía Andrew Bobola Catherine of Siena Jude the Apostle Prisco di Nocera Saint Roch Martin I Catald Onuphrius Agnes of Bohemia Pudentiana Roger of Cannae Gotthard of Hildesheim Alexander of Comana Sebaldus Leopold III, Margrave of Austria Francis of Paola Pamphilus of Sulmona Ludger Saint David Guy of Anderlecht Stanislaus of Szczepanów Vitalis of Milan Genesio di Brescello Arnold von Arnoldsweiler Ludmila of Bohemia Apollinaris of Ravenna Ambrose Tudwal Radegund Saint Pantaleon Cunigunde of Luxembourg Gonçalo de Amarante Joseph Tryphon of Pechenga Nestor of Magydos Eleuterus Gummarus John the Evangelist Alexander Nevsky Turibius of Astorga Mamilian of Palermo Linus Euphemia Isidore of Seville Saint Francis Xavier Mark the Evangelist Anthony the Great Fidelis of Como Athanasius of Alexandria Joachim Romano martire Saint Matthias Joseph of Cupertino Silverius Francis of Assisi Donatus of Arezzo Rose of Lima Anatolia martire Saint Denis Elizabeth of Aragon Finbarr of Cork Thomas Becket Lazarus of Bethany Marcellus I Vincent Pallotti Saint Dominic Thérèse of Lisieux Vitus Saint Cunera Procopius of Sázava Judas Cyriacus Ferdinand III of Castile Thecla Peter of Verona Saint Fulk Rita of Cascia Saint Venera Maria Goretti La Mosca Victor Maurus Mark Anterus Bernard of Clairvaux Renaud de Montauban Vicinius of Sarsina Salome Lucido di Aquara Adrian of Nicomedia Alban of Mainz Medardus Gregory the Illuminator Pope Celestine V Ivo of Kermartin Angelus of Jerusalem Saint Casimir Saint Spyridon Nicholas of Flüe Thomas Aquinas Genesius of Arles Constantine the Great Leonard of Noblac Marcellinus Damasus I Maximilian of Lorch Romanus of Caesarea Jean-Baptiste de La Salle Saint Bibiana Gobnait Isidore the Laborer Tadeusz Kościuszko Clement I Fiorenzo di Bastia Clare of Assisi Venantius of Camerino Saint Martha Stephen I of Hungary Modestinus Catellus of Castellammare Stanislaus Kostka Saint Bavo Hippolytus Augustine of Hippo Januarius Philip the Apostle Aper of Toul Dorothea of Caesarea Charles Borromeo Marziano di Siracusa Ursus of Aosta Pontian Sixtus I Stephen John of Nepomuk Leo I James, son of Alphaeus Luke the Evangelist Theodore of Amasea Saint Maurice Anastasia of Sirmium Saint Lucy Callixtus I Leonard of Port Maurice Joseph Adolphus Saint Eligius Saint Florian Anthony of Padua Saint Maurus Justina of Padua Margaret the Virgin Saint Eustace Bernardino of Siena Saint Sebastian Vitaliano da Capua Saint George Hubertus William of Maleval Ignatius of Loyola Mary Magdalene Stephen I Helena of Constantinople Andrew Sossius Prosdocimus Saint Bassian Saint Cajetan Placidus Nicolò Politi Zeno of Verona Rufinus of Assisi Rumbold of Mechelen Saint Wenceslaus I, Duke of Bohemia Celestine I Saint Giovanni Battista de Rossi Pancras of Rome Brice of Tours Francis de Sales Saint Veronica Suitbert of Kaiserswerdt Dimitry Prilutsky Cyriacus Teresa of Ávila Eugenius of Carthage Genevieve Louis IX of France Fabian John of the Cross Prospero da Centuripe Saint Christopher Saint Gall Pius I Gereon Felice Joan of Arc Privat de Mende Saint Petronilla Adalbert of Prague Tryphon, Respicius, and Nympha Nazarius Justin Martyr Marcian of Tortona Juliana of Nicomedia James Victoria, Anatolia, and Audax Saturninus of Cagliari Magnus of Cuneo Valerius of Saragossa Adelaide, Abbess of Vilich Adjutor Ottone Frangipane Dionysius the Areopagite Saint Emeric of Hungary Simon the Zealot Thomas the Apostle Anthony Sulpicius Severus Eusebius of Vercelli Saint Ursula Saint Nicholas Magnus of Anagni John the Merciful Eusebius of Esztergom Guido of Acqui Eulalia of Barcelona Francis Solanus Caprasius of Lérins Benedict of Nursia Martha Saint Barbara Bartholomew the Apostle Leo IX Catherine of Alexandria Henry Erasmus of Formiae Cyprian Camillus de Lellis Agnes of Rome Gaudentius of Novara John of God Emilianus of Trevi Ephysius Castrese di Sessa Alexius of Rome Paschal Baylon Norbert of Xanten Germanus of Auxerre Michael de Sanctis Saint Cecilia Matthew the Apostle Lambert of Maastricht Ladislaus I of Hungary Urban of Langres Clement of Ohrid Zita Edward the Confessor Barbatus of Benevento John the Apostle Basil of Caesarea Hildegard of Bingen Vincent of Saragossa Saint Blaise Bruno of Cologne Saint Giles Anastasius of Persia San Secondo Anastasi de Lleida Calogerus Falco di Palena Possidonio Saint Remigius Devota Saint Apollonia Saint Anna Maternus Henry II, Holy Roman Emperor Caesarius of Africa Acisclus Simplicio of Olbia Albertus Magnus Agabus Viktor of Xanten Josaphat Kuntsevych Gregory I Elizabeth of Hungary Marina the Monk Lawrence of Rome Sigismund of Burgundy Joseph of Arimathea Severinus of Sanseverino Vincent Ferrer Felicitas of Rome Monica of Hippo Agostino Novello Brendan Gertrude of Nivelles Agatha of Sicily Syrus of Pavia Eulalia of Mérida Peter de Regalado Rainerius Saint Boniface Jerome Saint Ninian Anthony of Apamea Elizabeth Ann Seton Charalampus Pius V Elizabeth II Sixtus II Peter of Alcantara Louis of Toulouse Demetrius of Thessaloniki Olaf II of Norway
Elizabeth II, Thomas Aquinas and Tadeusz Kościuszko are the patron saints of atmost 15 administrative territories or churches
Elizabeth II Thomas Aquinas Tadeusz Kościuszko
action atmost
action union
action find_reverse_tuple_counts
relation patron saint
type common name
type administrative territorial entity
action find_reverse_tuple_counts
relation patron saint
type common name
type church
value 15
[[{'concept': 'administrative territorial entity'}, {'concept': 'church'}], 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?g ) ?z WHERE { VALUES ( ?f ) { ( ontology:administrative_territorial_entity ) ( ontology:church ) } . ?x rdf:type ?f } GROUP BY ?z } . FILTER ( ?g <= 15 ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q145 Q9682
P35 P17
Q1048835
USER
Which political territories are Elizabeth II the head of state of and are located in United Kingdom ?
AND((c(Q1048835),P35,Q9682), (c(Q1048835),P17,Q145))
action filter_type
action intersection
action find_reverse
entity Q9682
relation P35
action find_reverse
entity Q145
relation P17
type Q1048835
{'AND': [[{'concept': 'Q1048835'}, 'P35', 'Q9682'], [{'concept': 'Q1048835'}, 'P17', 'Q145']]}
SELECT DISTINCT ?c WHERE { ?c property:P35 resource:Q9682 . ?c property:P17 resource:Q145 . ?c rdf:type ontology:Q1048835 }
United Kingdom Elizabeth II
action filter_type
action intersection
action find_reverse
entity Elizabeth II
relation head of state
action find_reverse
entity United Kingdom
relation country
type political territorial entity
{'AND': [[{'concept': 'political territorial entity'}, 'head of state', 'Elizabeth II'], [{'concept': 'political territorial entity'}, 'country', 'United Kingdom']]}
SELECT DISTINCT ?c WHERE { ?c property:head_of_state resource:Elizabeth_II . ?c property:country resource:United_Kingdom . ?c rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q18221 Q9676 Q9648
SYSTEM
Turks and Caicos Islands, Isle of Man, Falkland Islands
Q18221 Q9676 Q9648
AND((c(Q1048835),P35,Q9682), (c(Q1048835),P17,Q145))
action filter_type
action intersection
action find_reverse
entity Q9682
relation P35
action find_reverse
entity Q145
relation P17
type Q1048835
The [ANSWERS] are Elizabeth II the head of state of and are located in United Kingdom
{'AND': [[{'concept': 'Q1048835'}, 'P35', 'Q9682'], [{'concept': 'Q1048835'}, 'P17', 'Q145']]}
SELECT DISTINCT ?c WHERE { ?c property:P35 resource:Q9682 . ?c property:P17 resource:Q145 . ?c rdf:type ontology:Q1048835 }
Turks and Caicos Islands Isle of Man Falkland Islands
The Turks and Caicos Islands, Isle of Man and Falkland Islands are Elizabeth II the head of state of and are located in United Kingdom
Turks and Caicos Islands Isle of Man Falkland Islands
action filter_type
action intersection
action find_reverse
entity Elizabeth II
relation head of state
action find_reverse
entity United Kingdom
relation country
type political territorial entity
{'AND': [[{'concept': 'political territorial entity'}, 'head of state', 'Elizabeth II'], [{'concept': 'political territorial entity'}, 'country', 'United Kingdom']]}
SELECT DISTINCT ?c WHERE { ?c property:head_of_state resource:Elizabeth_II . ?c property:country resource:United_Kingdom . ?c rdf:type ontology:political_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Mult. Entity
Q18221 Q9676 Q9648
P38
Q8142
USER
Which currencies are the currencies of those political territories ?
(Q18221,P38,c(Q8142)) (Q9676,P38,c(Q8142)) (Q9648,P38,c(Q8142))
action filter_type
action find
entity prev_answer
relation P38
type Q8142
['Q18221', 'P38', {'concept': 'Q8142'}] ['Q9676', 'P38', {'concept': 'Q8142'}] ['Q9648', 'P38', {'concept': 'Q8142'}]
SELECT DISTINCT ?d WHERE { VALUES ( ?y ) { ( resource:Q18221 ) ( resource:Q9676 ) ( resource:Q9648 ) } . ?y property:P38 ?d . ?d rdf:type ontology:Q8142 }
Turks and Caicos Islands Isle of Man Falkland Islands
action filter_type
action find
entity prev_answer
relation currency
type currency
['Turks and Caicos Islands', 'currency', {'concept': 'currency'}] ['Isle of Man', 'currency', {'concept': 'currency'}] ['Falkland Islands', 'currency', {'concept': 'currency'}]
SELECT DISTINCT ?d WHERE { VALUES ( ?y ) { ( resource:Turks_and_Caicos_Islands ) ( resource:Isle_of_Man ) ( resource:Falkland_Islands ) } . ?y property:currency ?d . ?d rdf:type ontology:currency }
[]
currency
Q4917 Q25224 Q25224
SYSTEM
pound sterling for 2nd, 3rd, United States dollar for 1st
Q4917 Q25224 Q25224
(Q18221,P38,c(Q8142)) (Q9676,P38,c(Q8142)) (Q9648,P38,c(Q8142))
action filter_type
action find
entity prev_answer
relation P38
type Q8142
[ANSWERS]
['Q18221', 'P38', {'concept': 'Q8142'}] ['Q9676', 'P38', {'concept': 'Q8142'}] ['Q9648', 'P38', {'concept': 'Q8142'}]
SELECT DISTINCT ?d WHERE { VALUES ( ?y ) { ( resource:Q18221 ) ( resource:Q9676 ) ( resource:Q9648 ) } . ?y property:P38 ?d . ?d rdf:type ontology:Q8142 }
United States dollar pound sterling pound sterling
The currencies of those political territories are the United States dollar, pound sterling and pound sterling
United States dollar pound sterling pound sterling
action filter_type
action find
entity prev_answer
relation currency
type currency
['Turks and Caicos Islands', 'currency', {'concept': 'currency'}] ['Isle of Man', 'currency', {'concept': 'currency'}] ['Falkland Islands', 'currency', {'concept': 'currency'}]
SELECT DISTINCT ?d WHERE { VALUES ( ?y ) { ( resource:Turks_and_Caicos_Islands ) ( resource:Isle_of_Man ) ( resource:Falkland_Islands ) } . ?y property:currency ?d . ?d rdf:type ontology:currency }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q9676
P361
Q107425
USER
Which landscape is Isle of Man a part of ?
(Q9676,P361,c(Q107425))
action filter_type
action find
entity Q9676
relation P361
type Q107425
['Q9676', 'P361', {'concept': 'Q107425'}]
SELECT DISTINCT ?x WHERE { resource:Q9676 property:P361 ?x . ?x rdf:type ontology:Q107425 }
Isle of Man
action filter_type
action find
entity Isle of Man
relation part of
type landscape
['Isle of Man', 'part of', {'concept': 'landscape'}]
SELECT DISTINCT ?x WHERE { resource:Isle_of_Man property:part_of ?x . ?x rdf:type ontology:landscape }
[]
landscape
Q38272
SYSTEM
British Isles
Q38272
(Q9676,P361,c(Q107425))
action filter_type
action find
entity Q9676
relation P361
type Q107425
The [ANSWER] is Isle of Man a part of
['Q9676', 'P361', {'concept': 'Q107425'}]
SELECT DISTINCT ?x WHERE { resource:Q9676 property:P361 ?x . ?x rdf:type ontology:Q107425 }
British Isles
The British Isles is Isle of Man a part of
British Isles
action filter_type
action find
entity Isle of Man
relation part of
type landscape
['Isle of Man', 'part of', {'concept': 'landscape'}]
SELECT DISTINCT ?x WHERE { resource:Isle_of_Man property:part_of ?x . ?x rdf:type ontology:landscape }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation|Incomplete
Q184975 Q9676
P361
Q107425
USER
Or Hekla?
OR((Q9676,P361,c(Q107425)), (Q184975,P361,c(Q107425)))
action filter_type
action union
action find
entity Q9676
relation P361
action find
entity Q184975
relation P361
type Q107425
{'OR': [['Q9676', 'P361', {'concept': 'Q107425'}], ['Q184975', 'P361', {'concept': 'Q107425'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Q184975 property:P361 ?n } UNION { resource:Q9676 property:P361 ?n } } . ?n rdf:type ontology:Q107425 }
Hekla Isle of Man
action filter_type
action union
action find
entity Isle of Man
relation part of
action find
entity Hekla
relation part of
type landscape
{'OR': [['Isle of Man', 'part of', {'concept': 'landscape'}], ['Hekla', 'part of', {'concept': 'landscape'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Hekla property:part_of ?n } UNION { resource:Isle_of_Man property:part_of ?n } } . ?n rdf:type ontology:landscape }
[]
landscape
Q291004 Q38272
SYSTEM
Highlands of Iceland, British Isles
Q291004 Q38272
OR((Q9676,P361,c(Q107425)), (Q184975,P361,c(Q107425)))
action filter_type
action union
action find
entity Q9676
relation P361
action find
entity Q184975
relation P361
type Q107425
[ANSWERS]
{'OR': [['Q9676', 'P361', {'concept': 'Q107425'}], ['Q184975', 'P361', {'concept': 'Q107425'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Q184975 property:P361 ?n } UNION { resource:Q9676 property:P361 ?n } } . ?n rdf:type ontology:Q107425 }
Highlands of Iceland British Isles
Highlands of Iceland British Isles
action filter_type
action union
action find
entity Isle of Man
relation part of
action find
entity Hekla
relation part of
type landscape
{'OR': [['Isle of Man', 'part of', {'concept': 'landscape'}], ['Hekla', 'part of', {'concept': 'landscape'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Hekla property:part_of ?n } UNION { resource:Isle_of_Man property:part_of ?n } } . ?n rdf:type ontology:landscape }
[]
Clarification
Simple Question|Single Entity|Indirect
Q38272
P495
Q82799
USER
What originated in that landscape ?
(c(Q82799),P495,Q38272)
action filter_type
action find_reverse
entity Q38272
relation P495
type Q82799
[{'concept': 'Q82799'}, 'P495', 'Q38272']
SELECT DISTINCT ?l WHERE { ?l property:P495 resource:Q38272 . ?l rdf:type ontology:Q82799 }
British Isles
action filter_type
action find_reverse
entity British Isles
relation country of origin
type name
[{'concept': 'name'}, 'country of origin', 'British Isles']
SELECT DISTINCT ?l WHERE { ?l property:country_of_origin resource:British_Isles . ?l rdf:type ontology:name }
[]
name
Clarification for simple ques.
Q291004
SYSTEM
Did you mean Highlands of Iceland ?
Q291004 Q38272
(c(Q82799),P495,Q291004) (c(Q82799),P495,Q38272)
[ANSWER]
[{'concept': 'Q82799'}, 'P495', 'Q291004'] [{'concept': 'Q82799'}, 'P495', 'Q38272']
SELECT DISTINCT ?l WHERE { ?l property:P495 resource:Q38272 . ?l rdf:type ontology:Q82799 }
Highlands of Iceland British Isles
Did you mean Highlands of Iceland ?
Highlands of Iceland
[{'concept': 'name'}, 'country of origin', 'Highlands of Iceland'] [{'concept': 'name'}, 'country of origin', 'British Isles']
SELECT DISTINCT ?l WHERE { ?l property:country_of_origin resource:British_Isles . ?l rdf:type ontology:name }
[]
Simple Question (Coreferenced)
USER
No, I meant British Isles. Could you tell me the answer for that?
(c(Q82799),P495,Q38272)
Q38272
[{'concept': 'Q82799'}, 'P495', 'Q38272']
[{'concept': 'name'}, 'country of origin', 'British Isles']
[]
Q19582298
SYSTEM
Melville
Q19582298
(c(Q82799),P495,Q38272)
action filter_type
action find_reverse
entity Q38272
relation P495
type Q82799
[ANSWER] originated in that landscape
[{'concept': 'Q82799'}, 'P495', 'Q38272']
SELECT DISTINCT ?l WHERE { ?l property:P495 resource:Q38272 . ?l rdf:type ontology:Q82799 }
Melville
Melville originated in that landscape
Melville
action filter_type
action find_reverse
entity British Isles
relation country of origin
type name
[{'concept': 'name'}, 'country of origin', 'British Isles']
SELECT DISTINCT ?l WHERE { ?l property:country_of_origin resource:British_Isles . ?l rdf:type ontology:name }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Indirect
P361
Q853614 Q8436 Q82799
USER
Which names are parts of approximately the same number of identifiers or families as that name ?
(c(Q82799),P361,c(Q853614)|c(Q8436))
action approx
action union
action find_tuple_counts
relation P361
type Q82799
type Q853614
action find_tuple_counts
relation P361
type Q82799
type Q8436
action count
action filter_multi_types
action find
entity Q19582298
relation P361
type Q853614
type Q8436
[{'concept': 'Q82799'}, 'P361', [{'concept': 'Q853614'}, {'concept': 'Q8436'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?u ) AS ?z ) WHERE { { ?d property:P361 ?u . ?d rdf:type ontology:Q82799 . ?u rdf:type ontology:Q853614 } UNION { ?d property:P361 ?u . ?d rdf:type ontology:Q82799 . ?u rdf:type ontology:Q8436 } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?a ) WHERE { resource:Q19582298 property:P361 ?t . { ?t rdf:type ?w . VALUES ( ?w ) { ( ontology:Q853614 ) ( ontology:Q8436 ) } } } } . FILTER ( ?z = ?a ) }
action approx
action union
action find_tuple_counts
relation part of
type name
type identifier
action find_tuple_counts
relation part of
type name
type family
action count
action filter_multi_types
action find
entity Melville
relation part of
type identifier
type family
[{'concept': 'name'}, 'part of', [{'concept': 'identifier'}, {'concept': 'family'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?u ) AS ?z ) WHERE { { ?d property:part_of ?u . ?d rdf:type ontology:name . ?u rdf:type ontology:identifier } UNION { ?d property:part_of ?u . ?d rdf:type ontology:name . ?u rdf:type ontology:family } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?a ) WHERE { resource:Melville property:part_of ?t . { ?t rdf:type ?w . VALUES ( ?w ) { ( ontology:identifier ) ( ontology:family ) } } } } . FILTER ( ?z = ?a ) }
[]
identifier family name
SYSTEM
65
Q2168099 Q5791319 Q11283653 Q26156283 Q1058384 Q7071783 Q15629245 Q16882305 Q1240901 Q24251030 Q1093580 Q10145967 Q252216 Q272914 Q2553935 Q18645909 Q15238609 Q25695405 Q24091156 Q20875974 Q3281200 Q26266311 Q10587130 Q15926381 Q19687637 Q21470412 Q21534988 Q21405537 Q26266310 Q12624980 Q2876425 Q5 Q631147 Q27651154 Q26736681 Q27352651 Q15788891 Q4400681 Q12600404 Q21484879 Q24090418 Q382004 Q12601635 Q5461714 Q27350540 Q1399288 Q2491016 Q1557998 Q19831835 Q27450724 Q15711050 Q26736416 Q26736415 Q26741038 Q1915243 Q263542 Q21484914 Q4835658 Q746990 Q20064977 Q876933 Q21538548 Q5034376 Q26741034 Q861966
(c(Q82799),P361,c(Q853614)|c(Q8436))
action approx
action union
action find_tuple_counts
relation P361
type Q82799
type Q853614
action find_tuple_counts
relation P361
type Q82799
type Q8436
action count
action filter_multi_types
action find
entity Q19582298
relation P361
type Q853614
type Q8436
[ANSWER]
[{'concept': 'Q82799'}, 'P361', [{'concept': 'Q853614'}, {'concept': 'Q8436'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?u ) AS ?z ) WHERE { { ?d property:P361 ?u . ?d rdf:type ontology:Q82799 . ?u rdf:type ontology:Q853614 } UNION { ?d property:P361 ?u . ?d rdf:type ontology:Q82799 . ?u rdf:type ontology:Q8436 } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?a ) WHERE { resource:Q19582298 property:P361 ?t . { ?t rdf:type ?w . VALUES ( ?w ) { ( ontology:Q853614 ) ( ontology:Q8436 ) } } } } . FILTER ( ?z = ?a ) }
human Rotavirusses Tajinaste Czech family name Whittingstall hakham O'Donovan family lizard Rostopchin praenomen Barnaby Han surname Grand Master of the Teutonic Knights Árnadóttir Çubukçubaşı Wedekind Abe nomen Curtis Abe Ševela Tent caterpillar Trimnell Moa He Rahim Tyrell Yaşar Edward Ritchard Hyeon Aïssata human infraspecific name Gottlieb Veit Seon Blake Russian surname Sang Salman Hara Afa-Negus Seon Florida black bass Sang Fearnley orthographical variant Gyalwang Drukpa Qutb Freundel Lu Roveda Roveda Patti McKeown Griffith Clay BIFF Brahman Dong magi Biff Caomhánach Patti dung beetles
65
action approx
action union
action find_tuple_counts
relation part of
type name
type identifier
action find_tuple_counts
relation part of
type name
type family
action count
action filter_multi_types
action find
entity Melville
relation part of
type identifier
type family
[{'concept': 'name'}, 'part of', [{'concept': 'identifier'}, {'concept': 'family'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?u ) AS ?z ) WHERE { { ?d property:part_of ?u . ?d rdf:type ontology:name . ?u rdf:type ontology:identifier } UNION { ?d property:part_of ?u . ?d rdf:type ontology:name . ?u rdf:type ontology:family } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?a ) WHERE { resource:Melville property:part_of ?t . { ?t rdf:type ?w . VALUES ( ?w ) { ( ontology:identifier ) ( ontology:family ) } } } } . FILTER ( ?z = ?a ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P361
Q107425 Q107425 Q8502
USER
How many landscapes are exactly 4 landscapes and mountains a part of ?
(c(Q107425)|c(Q8502),P361,c(Q107425))
action count
action equal
action union
action find_reverse_tuple_counts
relation P361
type Q107425
type Q107425
action find_reverse_tuple_counts
relation P361
type Q107425
type Q8502
value 4
[[{'concept': 'Q107425'}, {'concept': 'Q8502'}], 'P361', {'concept': 'Q107425'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?t ) ?v WHERE { VALUES ( ?d ) { ( ontology:Q107425 ) ( ontology:Q8502 ) } . ?b rdf:type ?d } GROUP BY ?v } . FILTER ( ?t = 4 ) }
action count
action equal
action union
action find_reverse_tuple_counts
relation part of
type landscape
type landscape
action find_reverse_tuple_counts
relation part of
type landscape
type mountain
value 4
[[{'concept': 'landscape'}, {'concept': 'mountain'}], 'part of', {'concept': 'landscape'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?t ) ?v WHERE { VALUES ( ?d ) { ( ontology:landscape ) ( ontology:mountain ) } . ?b rdf:type ?d } GROUP BY ?v } . FILTER ( ?t = 4 ) }
[]
landscape landscape mountain
SYSTEM
2
Q46275 Q608090
(c(Q107425)|c(Q8502),P361,c(Q107425))
action count
action equal
action union
action find_reverse_tuple_counts
relation P361
type Q107425
type Q107425
action find_reverse_tuple_counts
relation P361
type Q107425
type Q8502
value 4
[ANSWER]
[[{'concept': 'Q107425'}, {'concept': 'Q8502'}], 'P361', {'concept': 'Q107425'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?t ) ?v WHERE { VALUES ( ?d ) { ( ontology:Q107425 ) ( ontology:Q8502 ) } . ?b rdf:type ?d } GROUP BY ?v } . FILTER ( ?t = 4 ) }
New Zealand Subantarctic Islands Caves of Aggtelek Karst and Slovak Karst
2
action count
action equal
action union
action find_reverse_tuple_counts
relation part of
type landscape
type landscape
action find_reverse_tuple_counts
relation part of
type landscape
type mountain
value 4
[[{'concept': 'landscape'}, {'concept': 'mountain'}], 'part of', {'concept': 'landscape'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?t ) ?v WHERE { VALUES ( ?d ) { ( ontology:landscape ) ( ontology:mountain ) } . ?b rdf:type ?d } GROUP BY ?v } . FILTER ( ?t = 4 ) }
[]