Simple Question (Direct)
Simple Question
Q5180000
P39
Q12737077
USER
Which occupation was a position for which Coy Privette was appointed ?
(Q5180000,P39,c(Q12737077))
action filter_type
action find
entity Q5180000
relation P39
type Q12737077
['Q5180000', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q12737077 . resource:Q5180000 property:P39 ?f }
Coy Privette
action filter_type
action find
entity Coy Privette
relation position held
type occupation
['Coy Privette', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:occupation . resource:Coy_Privette property:position_held ?f }
[]
occupation
Q18089655
SYSTEM
Member of the North Carolina House of Representatives
Q18089655
(Q5180000,P39,c(Q12737077))
action filter_type
action find
entity Q5180000
relation P39
type Q12737077
[ANSWER] was a position for which Coy Privette was appointed
['Q5180000', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q12737077 . resource:Q5180000 property:P39 ?f }
Member of the North Carolina House of Representatives
Member of the North Carolina House of Representatives was a position for which Coy Privette was appointed
Member of the North Carolina House of Representatives
action filter_type
action find
entity Coy Privette
relation position held
type occupation
['Coy Privette', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:occupation . resource:Coy_Privette property:position_held ?f }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q18089655 Q7688
P17
Q15617994
USER
Is that occupation situated in raion ?
(Q18089655,P17,Q7688)
action is_in
entity Q7688
action find
entity Q18089655
relation P17
['Q18089655', 'P17', 'Q7688']
ASK WHERE { resource:Q18089655 property:P17 resource:Q7688 }
Member of the North Carolina House of Representatives raion
action is_in
entity raion
action find
entity Member of the North Carolina House of Representatives
relation country
['Member of the North Carolina House of Representatives', 'country', 'raion']
ASK WHERE { resource:Member_of_the_North_Carolina_House_of_Representatives property:country resource:raion }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q18089655,P17,Q7688)
action is_in
entity Q7688
action find
entity Q18089655
relation P17
[ANSWER]
['Q18089655', 'P17', 'Q7688']
ASK WHERE { resource:Q18089655 property:P17 resource:Q7688 }
No
action is_in
entity raion
action find
entity Member of the North Carolina House of Representatives
relation country
['Member of the North Carolina House of Representatives', 'country', 'raion']
ASK WHERE { resource:Member_of_the_North_Carolina_House_of_Representatives property:country resource:raion }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q207113
P417
Q502895 Q12737077
USER
Which people are the names of person who are the patron saints of more number of occupations than Hippolytus ?
(c(Q12737077),P417,c(Q502895))
action greater
action find_reverse_tuple_counts
relation P417
type Q502895
type Q12737077
action count
action filter_type
action find
entity Q207113
relation P417
type Q502895
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?t ) AS ?v ) WHERE { ?t property:P417 ?y . ?y rdf:type ontology:Q502895 . ?t rdf:type ontology:Q12737077 } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?s ) WHERE { resource:Q207113 property:P417 ?o . ?o rdf:type ontology:Q502895 } } . FILTER ( ?v > ?s ) }
Hippolytus
action greater
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
action count
action filter_type
action find
entity Hippolytus
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?t ) AS ?v ) WHERE { ?t property:patron_saint ?y . ?y rdf:type ontology:common_name . ?t rdf:type ontology:occupation } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?s ) WHERE { resource:Hippolytus property:patron_saint ?o . ?o rdf:type ontology:common_name } } . FILTER ( ?v > ?s ) }
[]
common name occupation
Q9438 Q60059 Q166876
SYSTEM
Thomas Aquinas, Albertus Magnus, Isidore of Seville
Q453698 Q229190 Q152457 Q43689 Q328804 Q166876 Q163900 Q170547 Q212850 Q374822 Q9438 Q130997 Q312758 Q5575577 Q191107 Q242274 Q128538 Q183240 Q119289 Q360798 Q298845 Q48438 Q119512 Q44281 Q170164 Q43399 Q196653 Q508214 Q9200 Q193507 Q463600 Q43669 Q44265 Q192816 Q43982 Q179718 Q40662 Q332656 Q320171 Q137947 Q80513 Q43600 Q324700 Q744884 Q44015 Q151967 Q149727 Q232427 Q60059 Q17590 Q271474 Q200895 Q44248 Q276148
(c(Q12737077),P417,c(Q502895))
action greater
action find_reverse_tuple_counts
relation P417
type Q502895
type Q12737077
action count
action filter_type
action find
entity Q207113
relation P417
type Q502895
[ANSWERS] are the names of person who are the patron saints of more number of occupations than Hippolytus
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?t ) AS ?v ) WHERE { ?t property:P417 ?y . ?y rdf:type ontology:Q502895 . ?t rdf:type ontology:Q12737077 } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?s ) WHERE { resource:Q207113 property:P417 ?o . ?o rdf:type ontology:Q502895 } } . FILTER ( ?v > ?s ) }
Saint Amand Catherine of Siena Saint Roch Ambrose John the Evangelist Isidore of Seville Saint Francis Xavier Anthony the Great Vitus Adrian of Nicomedia Thomas Aquinas Damasus I Jean-Baptiste de La Salle Gobnait Clare of Assisi Dorothea of Caesarea Luke the Evangelist Saint Lucy Leonard of Port Maurice Saint Eligius Saint Florian Saint George William of Maleval Ignatius of Loyola Helena of Constantinople Andrew Saint Veronica Cyriacus Paul Saint Christopher Saint Petronilla Thomas the Apostle Benedict of Nursia Saint Barbara Bartholomew the Apostle Catherine of Alexandria John the Baptist Camillus de Lellis John of God Alexius of Rome Saint Cecilia Matthew the Apostle Urban of Langres Zita John the Apostle Saint Blaise Saint Giles Saint Apollonia Albertus Magnus Lawrence of Rome Joseph of Arimathea Agatha of Sicily Jerome Charalampus
Thomas Aquinas, Albertus Magnus and Isidore of Seville are the names of person who are the patron saints of more number of occupations than Hippolytus
Thomas Aquinas Albertus Magnus Isidore of Seville
action greater
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
action count
action filter_type
action find
entity Hippolytus
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?t ) AS ?v ) WHERE { ?t property:patron_saint ?y . ?y rdf:type ontology:common_name . ?t rdf:type ontology:occupation } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?s ) WHERE { resource:Hippolytus property:patron_saint ?o . ?o rdf:type ontology:common_name } } . FILTER ( ?v > ?s ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q831571
P417
Q502895 Q12737077
USER
And how about Eusebius of Esztergom?
(c(Q12737077),P417,c(Q502895))
action greater
action find_reverse_tuple_counts
relation P417
type Q502895
type Q12737077
action count
action filter_type
action find
entity Q831571
relation P417
type Q502895
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ?r ( COUNT ( ?g ) AS ?k ) WHERE { ?r rdf:type ontology:Q502895 . ?g rdf:type ontology:Q12737077 . ?g property:P417 ?r } GROUP BY ?r } . FILTER ( ?k > ?b ) . { SELECT DISTINCT ( COUNT ( ?w ) AS ?b ) WHERE { resource:Q831571 property:P417 ?w . ?w rdf:type ontology:Q502895 } } }
Eusebius of Esztergom
action greater
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
action count
action filter_type
action find
entity Eusebius of Esztergom
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ?r ( COUNT ( ?g ) AS ?k ) WHERE { ?r rdf:type ontology:common_name . ?g rdf:type ontology:occupation . ?g property:patron_saint ?r } GROUP BY ?r } . FILTER ( ?k > ?b ) . { SELECT DISTINCT ( COUNT ( ?w ) AS ?b ) WHERE { resource:Eusebius_of_Esztergom property:patron_saint ?w . ?w rdf:type ontology:common_name } } }
[]
common name occupation
Q9438 Q60059 Q166876
SYSTEM
Thomas Aquinas, Albertus Magnus, Isidore of Seville
Q453698 Q229190 Q152457 Q43689 Q328804 Q166876 Q163900 Q170547 Q212850 Q374822 Q9438 Q130997 Q312758 Q5575577 Q191107 Q242274 Q128538 Q183240 Q119289 Q360798 Q298845 Q48438 Q119512 Q44281 Q170164 Q43399 Q196653 Q508214 Q9200 Q193507 Q463600 Q43669 Q44265 Q192816 Q43982 Q179718 Q40662 Q332656 Q320171 Q137947 Q80513 Q43600 Q324700 Q744884 Q44015 Q151967 Q149727 Q232427 Q60059 Q17590 Q271474 Q200895 Q44248 Q276148
(c(Q12737077),P417,c(Q502895))
action greater
action find_reverse_tuple_counts
relation P417
type Q502895
type Q12737077
action count
action filter_type
action find
entity Q831571
relation P417
type Q502895
[ANSWERS]
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ?r ( COUNT ( ?g ) AS ?k ) WHERE { ?r rdf:type ontology:Q502895 . ?g rdf:type ontology:Q12737077 . ?g property:P417 ?r } GROUP BY ?r } . FILTER ( ?k > ?b ) . { SELECT DISTINCT ( COUNT ( ?w ) AS ?b ) WHERE { resource:Q831571 property:P417 ?w . ?w rdf:type ontology:Q502895 } } }
Saint Amand Catherine of Siena Saint Roch Ambrose John the Evangelist Isidore of Seville Saint Francis Xavier Anthony the Great Vitus Adrian of Nicomedia Thomas Aquinas Damasus I Jean-Baptiste de La Salle Gobnait Clare of Assisi Dorothea of Caesarea Luke the Evangelist Saint Lucy Leonard of Port Maurice Saint Eligius Saint Florian Saint George William of Maleval Ignatius of Loyola Helena of Constantinople Andrew Saint Veronica Cyriacus Paul Saint Christopher Saint Petronilla Thomas the Apostle Benedict of Nursia Saint Barbara Bartholomew the Apostle Catherine of Alexandria John the Baptist Camillus de Lellis John of God Alexius of Rome Saint Cecilia Matthew the Apostle Urban of Langres Zita John the Apostle Saint Blaise Saint Giles Saint Apollonia Albertus Magnus Lawrence of Rome Joseph of Arimathea Agatha of Sicily Jerome Charalampus
Thomas Aquinas Albertus Magnus Isidore of Seville
action greater
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
action count
action filter_type
action find
entity Eusebius of Esztergom
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ?r ( COUNT ( ?g ) AS ?k ) WHERE { ?r rdf:type ontology:common_name . ?g rdf:type ontology:occupation . ?g property:patron_saint ?r } GROUP BY ?r } . FILTER ( ?k > ?b ) . { SELECT DISTINCT ( COUNT ( ?w ) AS ?b ) WHERE { resource:Eusebius_of_Esztergom property:patron_saint ?w . ?w rdf:type ontology:common_name } } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q6671967 Q207113
P140
Q874405
USER
Which social groups do Hippolytus or Muhammad Nimr al-Hawari relate to ?
OR((Q207113,P140,c(Q874405)), (Q6671967,P140,c(Q874405)))
action filter_type
action union
action find
entity Q207113
relation P140
action find
entity Q6671967
relation P140
type Q874405
{'OR': [['Q207113', 'P140', {'concept': 'Q874405'}], ['Q6671967', 'P140', {'concept': 'Q874405'}]]}
SELECT DISTINCT ?f WHERE { { VALUES ( ?j ) { ( resource:Q207113 ) ( resource:Q6671967 ) } . ?j property:P140 ?f } . ?f rdf:type ontology:Q874405 }
Muhammad Nimr al-Hawari Hippolytus
action filter_type
action union
action find
entity Hippolytus
relation religion
action find
entity Muhammad Nimr al-Hawari
relation religion
type social group
{'OR': [['Hippolytus', 'religion', {'concept': 'social group'}], ['Muhammad Nimr al-Hawari', 'religion', {'concept': 'social group'}]]}
SELECT DISTINCT ?f WHERE { { VALUES ( ?j ) { ( resource:Hippolytus ) ( resource:Muhammad_Nimr_al-Hawari ) } . ?j property:religion ?f } . ?f rdf:type ontology:social_group }
[]
social group
Q5043 Q432
SYSTEM
Christianity, Islam
Q5043 Q432
OR((Q207113,P140,c(Q874405)), (Q6671967,P140,c(Q874405)))
action filter_type
action union
action find
entity Q207113
relation P140
action find
entity Q6671967
relation P140
type Q874405
Hippolytus or Muhammad Nimr al-Hawari relate to [ANSWERS]
{'OR': [['Q207113', 'P140', {'concept': 'Q874405'}], ['Q6671967', 'P140', {'concept': 'Q874405'}]]}
SELECT DISTINCT ?f WHERE { { VALUES ( ?j ) { ( resource:Q207113 ) ( resource:Q6671967 ) } . ?j property:P140 ?f } . ?f rdf:type ontology:Q874405 }
Christianity Islam
Hippolytus or Muhammad Nimr al-Hawari relate to Christianity and Islam
Christianity Islam
action filter_type
action union
action find
entity Hippolytus
relation religion
action find
entity Muhammad Nimr al-Hawari
relation religion
type social group
{'OR': [['Hippolytus', 'religion', {'concept': 'social group'}], ['Muhammad Nimr al-Hawari', 'religion', {'concept': 'social group'}]]}
SELECT DISTINCT ?f WHERE { { VALUES ( ?j ) { ( resource:Hippolytus ) ( resource:Muhammad_Nimr_al-Hawari ) } . ?j property:religion ?f } . ?f rdf:type ontology:social_group }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q6671967
P21
Q290
USER
Which sex does Muhammad Nimr al-Hawari possess ?
(Q5043,P21,c(Q290)) (Q432,P21,c(Q290))
action filter_type
action find
entity Q6671967
relation P21
type Q290
['Q5043', 'P21', {'concept': 'Q290'}] ['Q432', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?j WHERE { resource:Q6671967 property:P21 ?j . ?j rdf:type ontology:Q290 }
Muhammad Nimr al-Hawari
action filter_type
action find
entity Muhammad Nimr al-Hawari
relation gender
type sex
['Christianity', 'gender', {'concept': 'sex'}] ['Islam', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?j WHERE { resource:Muhammad_Nimr_al-Hawari property:gender ?j . ?j rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q5043,P21,c(Q290)) (Q432,P21,c(Q290))
action filter_type
action find
entity Q6671967
relation P21
type Q290
Muhammad Nimr al-Hawari possesses un [ANSWER]
['Q5043', 'P21', {'concept': 'Q290'}] ['Q432', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?j WHERE { resource:Q6671967 property:P21 ?j . ?j rdf:type ontology:Q290 }
male
Muhammad Nimr al-Hawari possesses un male
male
action filter_type
action find
entity Muhammad Nimr al-Hawari
relation gender
type sex
['Christianity', 'gender', {'concept': 'sex'}] ['Islam', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?j WHERE { resource:Muhammad_Nimr_al-Hawari property:gender ?j . ?j rdf:type ontology:sex }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q60059
P737 P21
Q502895
USER
Which people did Albertus Magnus have an influence on and have the gender as male ?
AND((c(Q502895),P737,Q60059), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q60059
relation P737
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P737', 'Q60059'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:Q502895 . ?y property:P737 resource:Q60059 . ?y property:P21 resource:Q6581097 }
male Albertus Magnus
action filter_type
action intersection
action find_reverse
entity Albertus Magnus
relation influenced by
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'influenced by', 'Albertus Magnus'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:common_name . ?y property:influenced_by resource:Albertus_Magnus . ?y property:gender resource:male }
[]
common name
Q9438
SYSTEM
Thomas Aquinas
Q9438
AND((c(Q502895),P737,Q60059), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q60059
relation P737
action find_reverse
entity Q6581097
relation P21
type Q502895
Albertus Magnus had an influence on Saint [ANSWER]
{'AND': [[{'concept': 'Q502895'}, 'P737', 'Q60059'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:Q502895 . ?y property:P737 resource:Q60059 . ?y property:P21 resource:Q6581097 }
Thomas Aquinas
Albertus Magnus had an influence on Saint Thomas Aquinas
Thomas Aquinas
action filter_type
action intersection
action find_reverse
entity Albertus Magnus
relation influenced by
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'influenced by', 'Albertus Magnus'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:common_name . ?y property:influenced_by resource:Albertus_Magnus . ?y property:gender resource:male }
[]