Simple Question (Direct)
Simple Question
Q233631
P7
Q502895
USER
Who is the brother of Agnes of France ?
(Q233631,P7,c(Q502895))
action filter_type
action find
entity Q233631
relation P7
type Q502895
['Q233631', 'P7', {'concept': 'Q502895'}]
SELECT DISTINCT ?l WHERE { resource:Q233631 property:P7 ?l . ?l rdf:type ontology:Q502895 }
Agnes of France
action filter_type
action find
entity Agnes of France
relation brother
type common name
['Agnes of France', 'brother', {'concept': 'common name'}]
SELECT DISTINCT ?l WHERE { resource:Agnes_of_France property:brother ?l . ?l rdf:type ontology:common_name }
[]
common name
Q34428
SYSTEM
Philip
Q34428
(Q233631,P7,c(Q502895))
action filter_type
action find
entity Q233631
relation P7
type Q502895
The brother of Agnes of France is Prince [ANSWER]
['Q233631', 'P7', {'concept': 'Q502895'}]
SELECT DISTINCT ?l WHERE { resource:Q233631 property:P7 ?l . ?l rdf:type ontology:Q502895 }
Philip
The brother of Agnes of France is Prince Philip
Philip
action filter_type
action find
entity Agnes of France
relation brother
type common name
['Agnes of France', 'brother', {'concept': 'common name'}]
SELECT DISTINCT ?l WHERE { resource:Agnes_of_France property:brother ?l . ?l rdf:type ontology:common_name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q233631
P25
Q502895
USER
Which person was the mother of Agnes of France ?
(Q233631,P25,c(Q502895))
action filter_type
action find
entity Q233631
relation P25
type Q502895
['Q233631', 'P25', {'concept': 'Q502895'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q502895 . resource:Q233631 property:P25 ?r }
Agnes of France
action filter_type
action find
entity Agnes of France
relation mother
type common name
['Agnes of France', 'mother', {'concept': 'common name'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:common_name . resource:Agnes_of_France property:mother ?r }
[]
common name
Q229407
SYSTEM
Adèle of Champagne
Q229407
(Q233631,P25,c(Q502895))
action filter_type
action find
entity Q233631
relation P25
type Q502895
[ANSWER] was the mother of Agnes of France
['Q233631', 'P25', {'concept': 'Q502895'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q502895 . resource:Q233631 property:P25 ?r }
Adèle of Champagne
Adèle of Champagne was the mother of Agnes of France
Adèle of Champagne
action filter_type
action find
entity Agnes of France
relation mother
type common name
['Agnes of France', 'mother', {'concept': 'common name'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:common_name . resource:Agnes_of_France property:mother ?r }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q229407
P9
Q502895
USER
Who had that one as their sibling ?
(c(Q502895),P9,Q229407)
action filter_type
action find_reverse
entity Q229407
relation P9
type Q502895
[{'concept': 'Q502895'}, 'P9', 'Q229407']
SELECT DISTINCT ?n WHERE { ?n property:P9 resource:Q229407 . ?n rdf:type ontology:Q502895 }
Adèle of Champagne
action filter_type
action find_reverse
entity Adèle of Champagne
relation sister
type common name
[{'concept': 'common name'}, 'sister', 'Adèle of Champagne']
SELECT DISTINCT ?n WHERE { ?n property:sister resource:Adèle_of_Champagne . ?n rdf:type ontology:common_name }
[]
common name
Q364517 Q948520 Q382119
SYSTEM
Henry I, Count of Champagne, Guillaume aux Blanches Mains, Theobald V, Count of Blois
Q6715047 Q948520 Q364517 Q301217 Q12898618 Q382119
(c(Q502895),P9,Q229407)
action filter_type
action find_reverse
entity Q229407
relation P9
type Q502895
[ANSWERS]
[{'concept': 'Q502895'}, 'P9', 'Q229407']
SELECT DISTINCT ?n WHERE { ?n property:P9 resource:Q229407 . ?n rdf:type ontology:Q502895 }
Marie of Champagne Guillaume aux Blanches Mains Henry I, Count of Champagne Stephen I of Sancerre Agnes of Blois Theobald V, Count of Blois
Henry I, Count of Champagne, Guillaume aux Blanches Mains and Theobald V, Count of Blois had that one as their sibling
Henry I, Count of Champagne Guillaume aux Blanches Mains Theobald V, Count of Blois
action filter_type
action find_reverse
entity Adèle of Champagne
relation sister
type common name
[{'concept': 'common name'}, 'sister', 'Adèle of Champagne']
SELECT DISTINCT ?n WHERE { ?n property:sister resource:Adèle_of_Champagne . ?n rdf:type ontology:common_name }
[]
Clarification
Simple Question|Single Entity|Indirect
Q364517
P19
Q20667921
USER
Which french administrative division was that person born in ?
(Q364517,P19,c(Q20667921))
action filter_type
action find
entity Q364517
relation P19
type Q20667921
['Q364517', 'P19', {'concept': 'Q20667921'}]
SELECT DISTINCT ?u WHERE { resource:Q364517 property:P19 ?u . ?u rdf:type ontology:Q20667921 }
Henry I, Count of Champagne
action filter_type
action find
entity Henry I, Count of Champagne
relation place of birth
type type of french administrative division
['Henry I, Count of Champagne', 'place of birth', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?u WHERE { resource:Henry_I,_Count_of_Champagne property:place_of_birth ?u . ?u rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Clarification for simple ques.
Q382119
SYSTEM
Did you mean Theobald V, Count of Blois ?
Q364517 Q948520 Q382119
(Q364517,P19,c(Q20667921)) (Q948520,P19,c(Q20667921)) (Q382119,P19,c(Q20667921))
[ANSWER]
['Q364517', 'P19', {'concept': 'Q20667921'}] ['Q948520', 'P19', {'concept': 'Q20667921'}] ['Q382119', 'P19', {'concept': 'Q20667921'}]
SELECT DISTINCT ?u WHERE { resource:Q364517 property:P19 ?u . ?u rdf:type ontology:Q20667921 }
Henry I, Count of Champagne Guillaume aux Blanches Mains Theobald V, Count of Blois
Did you mean Theobald V, Count of Blois ?
Theobald V, Count of Blois
['Henry I, Count of Champagne', 'place of birth', {'concept': 'type of french administrative division'}] ['Guillaume aux Blanches Mains', 'place of birth', {'concept': 'type of french administrative division'}] ['Theobald V, Count of Blois', 'place of birth', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?u WHERE { resource:Henry_I,_Count_of_Champagne property:place_of_birth ?u . ?u rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Coreferenced)
USER
No, I meant Henry I, Count of Champagne. Could you tell me the answer for that?
(Q364517,P19,c(Q20667921))
Q364517
['Q364517', 'P19', {'concept': 'Q20667921'}]
['Henry I, Count of Champagne', 'place of birth', {'concept': 'type of french administrative division'}]
[]
Q674566
SYSTEM
Vitry-en-Perthois
Q674566
(Q364517,P19,c(Q20667921))
action filter_type
action find
entity Q364517
relation P19
type Q20667921
That person was born in [ANSWER]
['Q364517', 'P19', {'concept': 'Q20667921'}]
SELECT DISTINCT ?u WHERE { resource:Q364517 property:P19 ?u . ?u rdf:type ontology:Q20667921 }
Vitry-en-Perthois
That person was born in Vitry-en-Perthois
Vitry-en-Perthois
action filter_type
action find
entity Henry I, Count of Champagne
relation place of birth
type type of french administrative division
['Henry I, Count of Champagne', 'place of birth', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?u WHERE { resource:Henry_I,_Count_of_Champagne property:place_of_birth ?u . ?u rdf:type ontology:type_of_french_administrative_division }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q674566 Q364517
P19
Q502895
USER
Does Henry I, Count of Champagne have location of birth at that french administrative division ?
(Q364517,P19,Q674566)
action is_in
entity Q674566
action find
entity Q364517
relation P19
['Q364517', 'P19', 'Q674566']
ASK WHERE { resource:Q364517 property:P19 resource:Q674566 }
Vitry-en-Perthois Henry I, Count of Champagne
action is_in
entity Vitry-en-Perthois
action find
entity Henry I, Count of Champagne
relation place of birth
['Henry I, Count of Champagne', 'place of birth', 'Vitry-en-Perthois']
ASK WHERE { resource:Henry_I,_Count_of_Champagne property:place_of_birth resource:Vitry-en-Perthois }
[]
common name
SYSTEM
YES
(Q364517,P19,Q674566)
action is_in
entity Q674566
action find
entity Q364517
relation P19
[ANSWER]
['Q364517', 'P19', 'Q674566']
ASK WHERE { resource:Q364517 property:P19 resource:Q674566 }
Yes
action is_in
entity Vitry-en-Perthois
action find
entity Henry I, Count of Champagne
relation place of birth
['Henry I, Count of Champagne', 'place of birth', 'Vitry-en-Perthois']
ASK WHERE { resource:Henry_I,_Count_of_Champagne property:place_of_birth resource:Vitry-en-Perthois }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q965463
P417
Q502895 Q56061 Q16970
USER
How many people are the patron saints of less number of administrative territories and churches than Rumbold of Mechelen ?
(c(Q56061)|c(Q16970),P417,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P417
type Q502895
type Q56061
action find_reverse_tuple_counts
relation P417
type Q502895
type Q16970
action count
action filter_multi_types
action find_reverse
entity Q965463
relation P417
type Q56061
type Q16970
[[{'concept': 'Q56061'}, {'concept': 'Q16970'}], 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?p ) WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?t ) ?k WHERE { VALUES ( ?z ) { ( ontology:Q56061 ) ( ontology:Q16970 ) } . ?x rdf:type ?z } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?i ) WHERE { ?g property:P417 resource:Q965463 . { { ?g rdf:type ontology:Q56061 } UNION { ?g rdf:type ontology:Q16970 } } } } . FILTER ( ?t < ?i ) }
Rumbold of Mechelen
action count
action less
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
action count
action filter_multi_types
action find_reverse
entity Rumbold of Mechelen
relation patron saint
type administrative territorial entity
type church
[[{'concept': 'administrative territorial entity'}, {'concept': 'church'}], 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?p ) WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?t ) ?k WHERE { VALUES ( ?z ) { ( ontology:administrative_territorial_entity ) ( ontology:church ) } . ?x rdf:type ?z } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?i ) WHERE { ?g property:patron_saint resource:Rumbold_of_Mechelen . { { ?g rdf:type ontology:administrative_territorial_entity } UNION { ?g rdf:type ontology:church } } } } . FILTER ( ?t < ?i ) }
[]
common name administrative territorial entity church
SYSTEM
222
Q2366998 Q453698 Q561838 Q380092 Q129674 Q229190 Q43945 Q3922154 Q1050218 Q464959 Q394727 Q268087 Q1141472 Q61914 Q2916248 Q349086 Q315640 Q719683 Q331697 Q1553720 Q351635 Q3759661 Q118087 Q1281133 Q236974 Q378656 Q61620 Q2987904 Q2574015 Q101090 Q1834624 Q1249745 Q47144 Q240610 Q166876 Q603655 Q314700 Q3940728 Q44020 Q313807 Q149315 Q2360539 Q244383 Q3615108 Q235857 Q192236 Q102131 Q505937 Q44091 Q181715 Q2617668 Q670456 Q243122 Q238744 Q3747052 Q153024 Q3949261 Q132797 Q132100 Q188411 Q727316 Q4011186 Q233067 Q3838743 Q374822 Q686948 Q733308 Q309953 Q118081 Q358325 Q537686 Q312057 Q9438 Q1502088 Q160373 Q130997 Q515953 Q1274242 Q312758 Q443392 Q5575577 Q191479 Q3745904 Q191107 Q4282480 Q3859960 Q203437 Q207113 Q43675 Q618214 Q242274 Q728245 Q384364 Q132113 Q81634 Q221522 Q43954 Q44047 Q37599 Q232975 Q122376 Q119289 Q15284282 Q360798 Q380345 Q316295 Q4014956 Q159834 Q119512 Q63070 Q134666 Q867765 Q914115 Q1289858 Q379914 Q3906150 Q3876580 Q339541 Q160922 Q1115725 Q913528 Q231256 Q196653 Q560531 Q508214 Q1270991 Q346 Q131159 Q190388 Q3924139 Q193507 Q180936 Q83198 Q2182480 Q7226 Q2005417 Q463600 Q243427 Q2456880 Q417686 Q185117 Q303640 Q241423 Q447384 Q6732208 Q64196 Q2824511 Q3887342 Q310686 Q43669 Q9156208 Q336704 Q181489 Q587596 Q372668 Q831571 Q3779522 Q2352076 Q977571 Q44265 Q232453 Q58559 Q359878 Q190240 Q332656 Q210096 Q320171 Q3724316 Q1343711 Q3663117 Q137947 Q160374 Q442516 Q920226 Q43600 Q283447 Q324700 Q744884 Q130005 Q740907 Q44015 Q44258 Q70991 Q318974 Q312314 Q254896 Q3947956 Q1172641 Q3738578 Q367208 Q469978 Q232427 Q2270111 Q103556 Q129603 Q1110905 Q60059 Q335127 Q651226 Q355884 Q42827 Q543320 Q318347 Q271474 Q3958514 Q317131 Q257960 Q234689 Q385253 Q208961 Q235619 Q523662 Q160445 Q2424767 Q459032 Q276148 Q131945 Q9682 Q127385 Q470608 Q196157 Q208331
(c(Q56061)|c(Q16970),P417,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P417
type Q502895
type Q56061
action find_reverse_tuple_counts
relation P417
type Q502895
type Q16970
action count
action filter_multi_types
action find_reverse
entity Q965463
relation P417
type Q56061
type Q16970
[ANSWER]
[[{'concept': 'Q56061'}, {'concept': 'Q16970'}], 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?p ) WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?t ) ?k WHERE { VALUES ( ?z ) { ( ontology:Q56061 ) ( ontology:Q16970 ) } . ?x rdf:type ?z } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?i ) WHERE { ?g property:P417 resource:Q965463 . { { ?g rdf:type ontology:Q56061 } UNION { ?g rdf:type ontology:Q16970 } } } } . FILTER ( ?t < ?i ) }
Eurosia Saint Amand Alexander of Bergamo Francis Borgia, 4th Duke of Gandía Andrew Bobola Catherine of Siena Jude the Apostle Prisco di Nocera Catald Onuphrius Agnes of Bohemia Pudentiana Roger of Cannae Gotthard of Hildesheim Alexander of Comana Leopold III, Margrave of Austria Francis of Paola Ludger Saint David Guy of Anderlecht Stanislaus of Szczepanów Genesio di Brescello Ludmila of Bohemia Tudwal Radegund Saint Pantaleon Cunigunde of Luxembourg Tryphon of Pechenga Nestor of Magydos Eleuterus Gummarus Mamilian of Palermo Linus Euphemia Isidore of Seville Fidelis of Como Joachim Romano martire Saint Matthias Joseph of Cupertino Silverius Donatus of Arezzo Rose of Lima Anatolia martire Elizabeth of Aragon Thomas Becket Marcellus I Vincent Pallotti Saint Dominic Thérèse of Lisieux Saint Cunera Procopius of Sázava Ferdinand III of Castile Peter of Verona Saint Fulk Rita of Cascia Saint Venera 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 Thomas Aquinas Genesius of Arles Marcellinus Damasus I Maximilian of Lorch Romanus of Caesarea Jean-Baptiste de La Salle Saint Bibiana Gobnait Tadeusz Kościuszko Fiorenzo di Bastia Clare of Assisi Saint Martha Modestinus Stanislaus Kostka Hippolytus Philip the Apostle Aper of Toul Dorothea of Caesarea Marziano di Siracusa Ursus of Aosta Pontian Sixtus I John of Nepomuk Leo I James, son of Alphaeus Theodore of Amasea Anastasia of Sirmium Callixtus I Leonard of Port Maurice Adolphus Saint Eligius Saint Maurus Bernardino of Siena Vitaliano da Capua Hubertus William of Maleval Mary Magdalene Stephen I Sossius Prosdocimus Saint Bassian Saint Cajetan Placidus Nicolò Politi Rufinus of Assisi Celestine I Saint Giovanni Battista de Rossi Brice of Tours Francis de Sales Saint Veronica Suitbert of Kaiserswerdt Cyriacus Eugenius of Carthage Louis IX of France Fabian John of the Cross Prospero da Centuripe Saint Christopher Saint Gall Pius I 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 Victoria, Anatolia, and Audax Magnus of Cuneo Adelaide, Abbess of Vilich Adjutor Ottone Frangipane Dionysius the Areopagite Thomas the Apostle Anthony Sulpicius Severus Eusebius of Vercelli Magnus of Anagni John the Merciful Eusebius of Esztergom Guido of Acqui Francis Solanus Caprasius of Lérins Benedict of Nursia Martha Leo IX Erasmus of Formiae Cyprian Camillus de Lellis Agnes of Rome John of God Emilianus of Trevi Ephysius Castrese di Sessa Alexius of Rome Norbert of Xanten Germanus of Auxerre Michael de Sanctis Matthew the Apostle Lambert of Maastricht Urban of Langres Zita Edward the Confessor Barbatus of Benevento John the Apostle Basil of Caesarea Hildegard of Bingen Vincent of Saragossa Bruno of Cologne Anastasius of Persia San Secondo Calogerus Falco di Palena Saint Remigius Devota Saint Apollonia Maternus Henry II, Holy Roman Emperor Caesarius of Africa Simplicio of Olbia Albertus Magnus Agabus Viktor of Xanten Josaphat Kuntsevych Gregory I Marina the Monk Sigismund of Burgundy Joseph of Arimathea Severinus of Sanseverino Vincent Ferrer Felicitas of Rome Monica of Hippo Agostino Novello Brendan Gertrude of Nivelles Syrus of Pavia Saint Boniface Anthony of Apamea Elizabeth Ann Seton Charalampus Pius V Elizabeth II Sixtus II Peter of Alcantara Louis of Toulouse Olaf II of Norway
222
action count
action less
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
action count
action filter_multi_types
action find_reverse
entity Rumbold of Mechelen
relation patron saint
type administrative territorial entity
type church
[[{'concept': 'administrative territorial entity'}, {'concept': 'church'}], 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?p ) WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?t ) ?k WHERE { VALUES ( ?z ) { ( ontology:administrative_territorial_entity ) ( ontology:church ) } . ?x rdf:type ?z } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?i ) WHERE { ?g property:patron_saint resource:Rumbold_of_Mechelen . { { ?g rdf:type ontology:administrative_territorial_entity } UNION { ?g rdf:type ontology:church } } } } . FILTER ( ?t < ?i ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q1269112
P417
Q502895 Q56061 Q16970
USER
And also tell me about Saint Ninian?
(c(Q56061)|c(Q16970),P417,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P417
type Q502895
type Q56061
action find_reverse_tuple_counts
relation P417
type Q502895
type Q16970
action count
action filter_multi_types
action find_reverse
entity Q1269112
relation P417
type Q56061
type Q16970
[[{'concept': 'Q56061'}, {'concept': 'Q16970'}], 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?t ) WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?h ) WHERE { ?z property:P417 resource:Q1269112 . { { ?z rdf:type ontology:Q16970 } UNION { ?z rdf:type ontology:Q56061 } } } } . FILTER ( ?l < ?h ) . { SELECT DISTINCT ( COUNT ( ?y ) AS ?l ) ?s WHERE { { ?y property:P417 ?s . ?s rdf:type ontology:Q502895 . ?y rdf:type ontology:Q16970 } UNION { ?y property:P417 ?s . ?s rdf:type ontology:Q502895 . ?y rdf:type ontology:Q56061 } } GROUP BY ?s } }
Saint Ninian
action count
action less
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
action count
action filter_multi_types
action find_reverse
entity Saint Ninian
relation patron saint
type administrative territorial entity
type church
[[{'concept': 'administrative territorial entity'}, {'concept': 'church'}], 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?t ) WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?h ) WHERE { ?z property:patron_saint resource:Saint_Ninian . { { ?z rdf:type ontology:church } UNION { ?z rdf:type ontology:administrative_territorial_entity } } } } . FILTER ( ?l < ?h ) . { SELECT DISTINCT ( COUNT ( ?y ) AS ?l ) ?s WHERE { { ?y property:patron_saint ?s . ?s rdf:type ontology:common_name . ?y rdf:type ontology:church } UNION { ?y property:patron_saint ?s . ?s rdf:type ontology:common_name . ?y rdf:type ontology:administrative_territorial_entity } } GROUP BY ?s } }
[]
common name administrative territorial entity church
SYSTEM
222
Q2366998 Q453698 Q561838 Q380092 Q129674 Q229190 Q43945 Q3922154 Q1050218 Q464959 Q394727 Q268087 Q1141472 Q61914 Q2916248 Q349086 Q315640 Q719683 Q331697 Q1553720 Q351635 Q3759661 Q118087 Q1281133 Q236974 Q378656 Q61620 Q2987904 Q2574015 Q101090 Q1834624 Q1249745 Q47144 Q240610 Q166876 Q603655 Q314700 Q3940728 Q44020 Q313807 Q149315 Q2360539 Q244383 Q3615108 Q235857 Q192236 Q102131 Q505937 Q44091 Q181715 Q2617668 Q670456 Q243122 Q238744 Q3747052 Q153024 Q3949261 Q132797 Q132100 Q188411 Q727316 Q4011186 Q233067 Q3838743 Q374822 Q686948 Q733308 Q309953 Q118081 Q358325 Q537686 Q312057 Q9438 Q1502088 Q160373 Q130997 Q515953 Q1274242 Q312758 Q443392 Q5575577 Q191479 Q3745904 Q191107 Q4282480 Q3859960 Q203437 Q207113 Q43675 Q618214 Q242274 Q728245 Q384364 Q132113 Q81634 Q221522 Q43954 Q44047 Q37599 Q232975 Q122376 Q119289 Q15284282 Q360798 Q380345 Q316295 Q4014956 Q159834 Q119512 Q63070 Q134666 Q867765 Q914115 Q1289858 Q379914 Q3906150 Q3876580 Q339541 Q160922 Q1115725 Q913528 Q231256 Q196653 Q560531 Q508214 Q1270991 Q346 Q131159 Q190388 Q3924139 Q193507 Q180936 Q83198 Q2182480 Q7226 Q2005417 Q463600 Q243427 Q2456880 Q417686 Q185117 Q303640 Q241423 Q447384 Q6732208 Q64196 Q2824511 Q3887342 Q310686 Q43669 Q9156208 Q336704 Q181489 Q587596 Q372668 Q831571 Q3779522 Q2352076 Q977571 Q44265 Q232453 Q58559 Q359878 Q190240 Q332656 Q210096 Q320171 Q3724316 Q1343711 Q3663117 Q137947 Q160374 Q442516 Q920226 Q43600 Q283447 Q324700 Q744884 Q130005 Q740907 Q44015 Q44258 Q70991 Q318974 Q312314 Q254896 Q3947956 Q1172641 Q3738578 Q367208 Q469978 Q232427 Q2270111 Q103556 Q129603 Q1110905 Q60059 Q335127 Q651226 Q355884 Q42827 Q543320 Q318347 Q271474 Q3958514 Q317131 Q257960 Q234689 Q385253 Q208961 Q235619 Q523662 Q160445 Q2424767 Q459032 Q276148 Q131945 Q9682 Q127385 Q470608 Q196157 Q208331
(c(Q56061)|c(Q16970),P417,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P417
type Q502895
type Q56061
action find_reverse_tuple_counts
relation P417
type Q502895
type Q16970
action count
action filter_multi_types
action find_reverse
entity Q1269112
relation P417
type Q56061
type Q16970
[ANSWER]
[[{'concept': 'Q56061'}, {'concept': 'Q16970'}], 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?t ) WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?h ) WHERE { ?z property:P417 resource:Q1269112 . { { ?z rdf:type ontology:Q16970 } UNION { ?z rdf:type ontology:Q56061 } } } } . FILTER ( ?l < ?h ) . { SELECT DISTINCT ( COUNT ( ?y ) AS ?l ) ?s WHERE { { ?y property:P417 ?s . ?s rdf:type ontology:Q502895 . ?y rdf:type ontology:Q16970 } UNION { ?y property:P417 ?s . ?s rdf:type ontology:Q502895 . ?y rdf:type ontology:Q56061 } } GROUP BY ?s } }
Eurosia Saint Amand Alexander of Bergamo Francis Borgia, 4th Duke of Gandía Andrew Bobola Catherine of Siena Jude the Apostle Prisco di Nocera Catald Onuphrius Agnes of Bohemia Pudentiana Roger of Cannae Gotthard of Hildesheim Alexander of Comana Leopold III, Margrave of Austria Francis of Paola Ludger Saint David Guy of Anderlecht Stanislaus of Szczepanów Genesio di Brescello Ludmila of Bohemia Tudwal Radegund Saint Pantaleon Cunigunde of Luxembourg Tryphon of Pechenga Nestor of Magydos Eleuterus Gummarus Mamilian of Palermo Linus Euphemia Isidore of Seville Fidelis of Como Joachim Romano martire Saint Matthias Joseph of Cupertino Silverius Donatus of Arezzo Rose of Lima Anatolia martire Elizabeth of Aragon Thomas Becket Marcellus I Vincent Pallotti Saint Dominic Thérèse of Lisieux Saint Cunera Procopius of Sázava Ferdinand III of Castile Peter of Verona Saint Fulk Rita of Cascia Saint Venera 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 Thomas Aquinas Genesius of Arles Marcellinus Damasus I Maximilian of Lorch Romanus of Caesarea Jean-Baptiste de La Salle Saint Bibiana Gobnait Tadeusz Kościuszko Fiorenzo di Bastia Clare of Assisi Saint Martha Modestinus Stanislaus Kostka Hippolytus Philip the Apostle Aper of Toul Dorothea of Caesarea Marziano di Siracusa Ursus of Aosta Pontian Sixtus I John of Nepomuk Leo I James, son of Alphaeus Theodore of Amasea Anastasia of Sirmium Callixtus I Leonard of Port Maurice Adolphus Saint Eligius Saint Maurus Bernardino of Siena Vitaliano da Capua Hubertus William of Maleval Mary Magdalene Stephen I Sossius Prosdocimus Saint Bassian Saint Cajetan Placidus Nicolò Politi Rufinus of Assisi Celestine I Saint Giovanni Battista de Rossi Brice of Tours Francis de Sales Saint Veronica Suitbert of Kaiserswerdt Cyriacus Eugenius of Carthage Louis IX of France Fabian John of the Cross Prospero da Centuripe Saint Christopher Saint Gall Pius I 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 Victoria, Anatolia, and Audax Magnus of Cuneo Adelaide, Abbess of Vilich Adjutor Ottone Frangipane Dionysius the Areopagite Thomas the Apostle Anthony Sulpicius Severus Eusebius of Vercelli Magnus of Anagni John the Merciful Eusebius of Esztergom Guido of Acqui Francis Solanus Caprasius of Lérins Benedict of Nursia Martha Leo IX Erasmus of Formiae Cyprian Camillus de Lellis Agnes of Rome John of God Emilianus of Trevi Ephysius Castrese di Sessa Alexius of Rome Norbert of Xanten Germanus of Auxerre Michael de Sanctis Matthew the Apostle Lambert of Maastricht Urban of Langres Zita Edward the Confessor Barbatus of Benevento John the Apostle Basil of Caesarea Hildegard of Bingen Vincent of Saragossa Bruno of Cologne Anastasius of Persia San Secondo Calogerus Falco di Palena Saint Remigius Devota Saint Apollonia Maternus Henry II, Holy Roman Emperor Caesarius of Africa Simplicio of Olbia Albertus Magnus Agabus Viktor of Xanten Josaphat Kuntsevych Gregory I Marina the Monk Sigismund of Burgundy Joseph of Arimathea Severinus of Sanseverino Vincent Ferrer Felicitas of Rome Monica of Hippo Agostino Novello Brendan Gertrude of Nivelles Syrus of Pavia Saint Boniface Anthony of Apamea Elizabeth Ann Seton Charalampus Pius V Elizabeth II Sixtus II Peter of Alcantara Louis of Toulouse Olaf II of Norway
222
action count
action less
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
action count
action filter_multi_types
action find_reverse
entity Saint Ninian
relation patron saint
type administrative territorial entity
type church
[[{'concept': 'administrative territorial entity'}, {'concept': 'church'}], 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?t ) WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?h ) WHERE { ?z property:patron_saint resource:Saint_Ninian . { { ?z rdf:type ontology:church } UNION { ?z rdf:type ontology:administrative_territorial_entity } } } } . FILTER ( ?l < ?h ) . { SELECT DISTINCT ( COUNT ( ?y ) AS ?l ) ?s WHERE { { ?y property:patron_saint ?s . ?s rdf:type ontology:common_name . ?y rdf:type ontology:church } UNION { ?y property:patron_saint ?s . ?s rdf:type ontology:common_name . ?y rdf:type ontology:administrative_territorial_entity } } GROUP BY ?s } }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P144
Q502895 Q15416 Q6619679
USER
Which people are max number of television programs or fictional humanoids a fork of ?
(c(Q15416)|c(Q6619679),P144,c(Q502895))
action argmax
action union
action find_reverse_tuple_counts
relation P144
type Q502895
type Q15416
action find_reverse_tuple_counts
relation P144
type Q502895
type Q6619679
[[{'concept': 'Q15416'}, {'concept': 'Q6619679'}], 'P144', {'concept': 'Q502895'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( MAX ( ?v ) AS ?e ) { SELECT DISTINCT ( COUNT ( ?o ) AS ?v ) ?s WHERE { VALUES ( ?h ) { ( ontology:Q15416 ) ( ontology:Q6619679 ) } . ?o rdf:type ?h } GROUP BY ?s } } . FILTER ( ?f = ?e ) . { SELECT DISTINCT ( COUNT ( ?d ) AS ?f ) ?g WHERE { { ?d property:P144 ?g . ?g rdf:type ontology:Q502895 . ?d rdf:type ontology:Q6619679 } UNION { ?d property:P144 ?g . ?g rdf:type ontology:Q502895 . ?d rdf:type ontology:Q15416 } } GROUP BY ?g } }
action argmax
action union
action find_reverse_tuple_counts
relation based on
type common name
type television program
action find_reverse_tuple_counts
relation based on
type common name
type fictional humanoid
[[{'concept': 'television program'}, {'concept': 'fictional humanoid'}], 'based on', {'concept': 'common name'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( MAX ( ?v ) AS ?e ) { SELECT DISTINCT ( COUNT ( ?o ) AS ?v ) ?s WHERE { VALUES ( ?h ) { ( ontology:television_program ) ( ontology:fictional_humanoid ) } . ?o rdf:type ?h } GROUP BY ?s } } . FILTER ( ?f = ?e ) . { SELECT DISTINCT ( COUNT ( ?d ) AS ?f ) ?g WHERE { { ?d property:based_on ?g . ?g rdf:type ontology:common_name . ?d rdf:type ontology:fictional_humanoid } UNION { ?d property:based_on ?g . ?g rdf:type ontology:common_name . ?d rdf:type ontology:television_program } } GROUP BY ?g } }
[]
common name television program fictional humanoid
Q1048
SYSTEM
Julius Caesar
Q1048
(c(Q15416)|c(Q6619679),P144,c(Q502895))
action argmax
action union
action find_reverse_tuple_counts
relation P144
type Q502895
type Q15416
action find_reverse_tuple_counts
relation P144
type Q502895
type Q6619679
[ANSWER] is max number of television programs or fictional humanoids a fork of
[[{'concept': 'Q15416'}, {'concept': 'Q6619679'}], 'P144', {'concept': 'Q502895'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( MAX ( ?v ) AS ?e ) { SELECT DISTINCT ( COUNT ( ?o ) AS ?v ) ?s WHERE { VALUES ( ?h ) { ( ontology:Q15416 ) ( ontology:Q6619679 ) } . ?o rdf:type ?h } GROUP BY ?s } } . FILTER ( ?f = ?e ) . { SELECT DISTINCT ( COUNT ( ?d ) AS ?f ) ?g WHERE { { ?d property:P144 ?g . ?g rdf:type ontology:Q502895 . ?d rdf:type ontology:Q6619679 } UNION { ?d property:P144 ?g . ?g rdf:type ontology:Q502895 . ?d rdf:type ontology:Q15416 } } GROUP BY ?g } }
Julius Caesar
Julius Caesar is max number of television programs or fictional humanoids a fork of
Julius Caesar
action argmax
action union
action find_reverse_tuple_counts
relation based on
type common name
type television program
action find_reverse_tuple_counts
relation based on
type common name
type fictional humanoid
[[{'concept': 'television program'}, {'concept': 'fictional humanoid'}], 'based on', {'concept': 'common name'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( MAX ( ?v ) AS ?e ) { SELECT DISTINCT ( COUNT ( ?o ) AS ?v ) ?s WHERE { VALUES ( ?h ) { ( ontology:television_program ) ( ontology:fictional_humanoid ) } . ?o rdf:type ?h } GROUP BY ?s } } . FILTER ( ?f = ?e ) . { SELECT DISTINCT ( COUNT ( ?d ) AS ?f ) ?g WHERE { { ?d property:based_on ?g . ?g rdf:type ontology:common_name . ?d rdf:type ontology:fictional_humanoid } UNION { ?d property:based_on ?g . ?g rdf:type ontology:common_name . ?d rdf:type ontology:television_program } } GROUP BY ?g } }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q1048 Q235423
P26
Q502895
USER
Is Cornelia Cinna minor the life partner of that one ?
(Q235423,P26,Q1048)
action is_in
entity Q235423
action find
entity Q1048
relation P26
['Q235423', 'P26', 'Q1048']
ASK WHERE { resource:Q1048 property:P26 resource:Q235423 }
Julius Caesar Cornelia Cinna minor
action is_in
entity Cornelia Cinna minor
action find
entity Julius Caesar
relation spouse
['Cornelia Cinna minor', 'spouse', 'Julius Caesar']
ASK WHERE { resource:Julius_Caesar property:spouse resource:Cornelia_Cinna_minor }
[]
common name
SYSTEM
YES
(Q235423,P26,Q1048)
action is_in
entity Q235423
action find
entity Q1048
relation P26
[ANSWER]
['Q235423', 'P26', 'Q1048']
ASK WHERE { resource:Q1048 property:P26 resource:Q235423 }
Yes
action is_in
entity Cornelia Cinna minor
action find
entity Julius Caesar
relation spouse
['Cornelia Cinna minor', 'spouse', 'Julius Caesar']
ASK WHERE { resource:Julius_Caesar property:spouse resource:Cornelia_Cinna_minor }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q34428 Q693987
P19
Q20667921
USER
Is Senonches the birthplace of Philip ?
(Q34428,P19,Q693987)
action is_in
entity Q693987
action find
entity Q34428
relation P19
['Q34428', 'P19', 'Q693987']
ASK WHERE { resource:Q34428 property:P19 resource:Q693987 }
Philip Senonches
action is_in
entity Senonches
action find
entity Philip
relation place of birth
['Philip', 'place of birth', 'Senonches']
ASK WHERE { resource:Philip property:place_of_birth resource:Senonches }
[]
type of french administrative division
SYSTEM
NO
(Q34428,P19,Q693987)
action is_in
entity Q693987
action find
entity Q34428
relation P19
[ANSWER]
['Q34428', 'P19', 'Q693987']
ASK WHERE { resource:Q34428 property:P19 resource:Q693987 }
No
action is_in
entity Senonches
action find
entity Philip
relation place of birth
['Philip', 'place of birth', 'Senonches']
ASK WHERE { resource:Philip property:place_of_birth resource:Senonches }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q674566 Q142 Q19927
P17
Q15617994
USER
Is Vitry-en-Perthois present in France and Cavallermaggiore ?
(Q674566,P17,Q142) (Q674566,P17,Q19927)
action is_in
entity Q674566
action intersection
action find_reverse
entity Q142
relation P17
action find_reverse
entity Q19927
relation P17
['Q674566', 'P17', 'Q142'] ['Q674566', 'P17', 'Q19927']
ASK WHERE { resource:Q674566 property:P17 resource:Q19927 . resource:Q674566 property:P17 resource:Q142 }
Vitry-en-Perthois France Cavallermaggiore
action is_in
entity Vitry-en-Perthois
action intersection
action find_reverse
entity France
relation country
action find_reverse
entity Cavallermaggiore
relation country
['Vitry-en-Perthois', 'country', 'France'] ['Vitry-en-Perthois', 'country', 'Cavallermaggiore']
ASK WHERE { resource:Vitry-en-Perthois property:country resource:Cavallermaggiore . resource:Vitry-en-Perthois property:country resource:France }
[]
designation for an administrative territorial entity
SYSTEM
YES and NO respectively
(Q674566,P17,Q142) (Q674566,P17,Q19927)
action is_in
entity Q674566
action intersection
action find_reverse
entity Q142
relation P17
action find_reverse
entity Q19927
relation P17
[ANSWER]
['Q674566', 'P17', 'Q142'] ['Q674566', 'P17', 'Q19927']
ASK WHERE { resource:Q674566 property:P17 resource:Q19927 . resource:Q674566 property:P17 resource:Q142 }
YES and NO respectively
action is_in
entity Vitry-en-Perthois
action intersection
action find_reverse
entity France
relation country
action find_reverse
entity Cavallermaggiore
relation country
['Vitry-en-Perthois', 'country', 'France'] ['Vitry-en-Perthois', 'country', 'Cavallermaggiore']
ASK WHERE { resource:Vitry-en-Perthois property:country resource:Cavallermaggiore . resource:Vitry-en-Perthois property:country resource:France }
[]