Simple Question (Direct)
Simple Question
Q1126581
P800
Q838948
USER
What is a notable work of Pál Kő ?
(Q1126581,P800,c(Q838948))
action filter_type
action find
entity Q1126581
relation P800
type Q838948
['Q1126581', 'P800', {'concept': 'Q838948'}]
SELECT DISTINCT ?b WHERE { resource:Q1126581 property:P800 ?b . ?b rdf:type ontology:Q838948 }
Pál Kő
action filter_type
action find
entity Pál Kő
relation notable work
type work of art
['Pál Kő', 'notable work', {'concept': 'work of art'}]
SELECT DISTINCT ?b WHERE { resource:Pál_Kő property:notable_work ?b . ?b rdf:type ontology:work_of_art }
[]
work of art
Q12741323
SYSTEM
Statue of Stephen I of Hungary outside Gellért Hill Cave
Q12741323
(Q1126581,P800,c(Q838948))
action filter_type
action find
entity Q1126581
relation P800
type Q838948
A notable work of Pál Kő is the [ANSWER]
['Q1126581', 'P800', {'concept': 'Q838948'}]
SELECT DISTINCT ?b WHERE { resource:Q1126581 property:P800 ?b . ?b rdf:type ontology:Q838948 }
Statue of Stephen I of Hungary outside Gellért Hill Cave
A notable work of Pál Kő is the Statue of Stephen I of Hungary outside Gellért Hill Cave
Statue of Stephen I of Hungary outside Gellért Hill Cave
action filter_type
action find
entity Pál Kő
relation notable work
type work of art
['Pál Kő', 'notable work', {'concept': 'work of art'}]
SELECT DISTINCT ?b WHERE { resource:Pál_Kő property:notable_work ?b . ?b rdf:type ontology:work_of_art }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1126581
P106
Q12737077
USER
What does Pál Kő do for a living ?
(Q1126581,P106,c(Q12737077))
action filter_type
action find
entity Q1126581
relation P106
type Q12737077
['Q1126581', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?a WHERE { resource:Q1126581 property:P106 ?a . ?a rdf:type ontology:Q12737077 }
Pál Kő
action filter_type
action find
entity Pál Kő
relation occupation
type occupation
['Pál Kő', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?a WHERE { resource:Pál_Kő property:occupation ?a . ?a rdf:type ontology:occupation }
[]
occupation
Q1281618
SYSTEM
sculptor
Q1281618
(Q1126581,P106,c(Q12737077))
action filter_type
action find
entity Q1126581
relation P106
type Q12737077
Pál Kő does a [ANSWER] for a living
['Q1126581', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?a WHERE { resource:Q1126581 property:P106 ?a . ?a rdf:type ontology:Q12737077 }
sculptor
Pál Kő does a sculptor for a living
sculptor
action filter_type
action find
entity Pál Kő
relation occupation
type occupation
['Pál Kő', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?a WHERE { resource:Pál_Kő property:occupation ?a . ?a rdf:type ontology:occupation }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q23835372
Q12737077
USER
And what about Takeshi Hoshi?
(Q23835372,P106,c(Q12737077))
action filter_type
action find
entity Q23835372
relation P106
type Q12737077
['Q23835372', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?r WHERE { resource:Q23835372 property:P106 ?r . ?r rdf:type ontology:Q12737077 }
Takeshi Hoshi
action filter_type
action find
entity Takeshi Hoshi
relation occupation
type occupation
['Takeshi Hoshi', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?r WHERE { resource:Takeshi_Hoshi property:occupation ?r . ?r rdf:type ontology:occupation }
[]
occupation
Q937857
SYSTEM
association football player
Q937857
(Q23835372,P106,c(Q12737077))
action filter_type
action find
entity Q23835372
relation P106
type Q12737077
[ANSWER]
['Q23835372', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?r WHERE { resource:Q23835372 property:P106 ?r . ?r rdf:type ontology:Q12737077 }
association football player
association football player
action filter_type
action find
entity Takeshi Hoshi
relation occupation
type occupation
['Takeshi Hoshi', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?r WHERE { resource:Takeshi_Hoshi property:occupation ?r . ?r rdf:type ontology:occupation }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Indirect
P101
Q12737077 Q2342494
USER
Which occupations are the fields of work of more number of collectables than that occupation ?
(c(Q2342494),P101,c(Q12737077))
action greater
action find_reverse_tuple_counts
relation P101
type Q12737077
type Q2342494
action count
action filter_type
action find
entity Q937857
relation P101
type Q12737077
[{'concept': 'Q2342494'}, 'P101', {'concept': 'Q12737077'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?i ) AS ?m ) WHERE { ?i property:P101 ?e . ?e rdf:type ontology:Q12737077 . ?i rdf:type ontology:Q2342494 } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?p ) WHERE { resource:Q937857 property:P101 ?k . ?k rdf:type ontology:Q12737077 } } . FILTER ( ?m > ?p ) }
action greater
action find_reverse_tuple_counts
relation field of work
type occupation
type collectable
action count
action filter_type
action find
entity association football player
relation field of work
type occupation
[{'concept': 'collectable'}, 'field of work', {'concept': 'occupation'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?i ) AS ?m ) WHERE { ?i property:field_of_work ?e . ?e rdf:type ontology:occupation . ?i rdf:type ontology:collectable } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?p ) WHERE { resource:association_football_player property:field_of_work ?k . ?k rdf:type ontology:occupation } } . FILTER ( ?m > ?p ) }
[]
occupation collectable
Q15954519
SYSTEM
alchemist
Q15954519
(c(Q2342494),P101,c(Q12737077))
action greater
action find_reverse_tuple_counts
relation P101
type Q12737077
type Q2342494
action count
action filter_type
action find
entity Q937857
relation P101
type Q12737077
[ANSWER] is the fields of work of more number of collectables than that occupation
[{'concept': 'Q2342494'}, 'P101', {'concept': 'Q12737077'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?i ) AS ?m ) WHERE { ?i property:P101 ?e . ?e rdf:type ontology:Q12737077 . ?i rdf:type ontology:Q2342494 } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?p ) WHERE { resource:Q937857 property:P101 ?k . ?k rdf:type ontology:Q12737077 } } . FILTER ( ?m > ?p ) }
alchemist
Alchemist is the fields of work of more number of collectables than that occupation
alchemist
action greater
action find_reverse_tuple_counts
relation field of work
type occupation
type collectable
action count
action filter_type
action find
entity association football player
relation field of work
type occupation
[{'concept': 'collectable'}, 'field of work', {'concept': 'occupation'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?i ) AS ?m ) WHERE { ?i property:field_of_work ?e . ?e rdf:type ontology:occupation . ?i rdf:type ontology:collectable } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?p ) WHERE { resource:association_football_player property:field_of_work ?k . ?k rdf:type ontology:occupation } } . FILTER ( ?m > ?p ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q43689
P417
Q502895 Q12737077
USER
Which people are the patron saints of more number of occupations than Ambrose ?
(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 Q43689
relation P417
type Q502895
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?r ) WHERE { resource:Q43689 property:P417 ?b . ?b rdf:type ontology:Q502895 } } . FILTER ( ?x > ?r ) . { SELECT DISTINCT ?o ( COUNT ( ?f ) AS ?x ) WHERE { ?f property:P417 ?o . ?f rdf:type ontology:Q12737077 . ?o rdf:type ontology:Q502895 } GROUP BY ?o } }
Ambrose
action greater
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
action count
action filter_type
action find
entity Ambrose
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?r ) WHERE { resource:Ambrose property:patron_saint ?b . ?b rdf:type ontology:common_name } } . FILTER ( ?x > ?r ) . { SELECT DISTINCT ?o ( COUNT ( ?f ) AS ?x ) WHERE { ?f property:patron_saint ?o . ?f rdf:type ontology:occupation . ?o rdf:type ontology:common_name } GROUP BY ?o } }
[]
common name occupation
Q166876 Q229190 Q44248
SYSTEM
Isidore of Seville, Catherine of Siena, Jerome
Q229190 Q328804 Q166876 Q170547 Q128538 Q183240 Q196653 Q44265 Q192816 Q43982 Q179718 Q43600 Q744884 Q151967 Q200895 Q44248
(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 Q43689
relation P417
type Q502895
[ANSWERS] are the patron saints of more number of occupations than Ambrose
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?r ) WHERE { resource:Q43689 property:P417 ?b . ?b rdf:type ontology:Q502895 } } . FILTER ( ?x > ?r ) . { SELECT DISTINCT ?o ( COUNT ( ?f ) AS ?x ) WHERE { ?f property:P417 ?o . ?f rdf:type ontology:Q12737077 . ?o rdf:type ontology:Q502895 } GROUP BY ?o } }
Catherine of Siena John the Evangelist Isidore of Seville Anthony the Great Luke the Evangelist Saint Lucy Saint Veronica Benedict of Nursia Saint Barbara Bartholomew the Apostle Catherine of Alexandria Matthew the Apostle Zita Saint Blaise Agatha of Sicily Jerome
Isidore of Seville, Catherine of Siena and Jerome are the patron saints of more number of occupations than Ambrose
Isidore of Seville Catherine of Siena Jerome
action greater
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
action count
action filter_type
action find
entity Ambrose
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?r ) WHERE { resource:Ambrose property:patron_saint ?b . ?b rdf:type ontology:common_name } } . FILTER ( ?x > ?r ) . { SELECT DISTINCT ?o ( COUNT ( ?f ) AS ?x ) WHERE { ?f property:patron_saint ?o . ?f rdf:type ontology:occupation . ?o rdf:type ontology:common_name } GROUP BY ?o } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q336731
P417
Q502895 Q12737077
USER
And what about Pancras of Rome?
(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 Q336731
relation P417
type Q502895
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?c ) WHERE { ?o rdf:type ontology:Q502895 . resource:Q336731 property:P417 ?o } } . FILTER ( ?i > ?c ) . { SELECT DISTINCT ?b ( COUNT ( ?w ) AS ?i ) WHERE { ?w property:P417 ?b . ?b rdf:type ontology:Q502895 . ?w rdf:type ontology:Q12737077 } GROUP BY ?b } }
Pancras of Rome
action greater
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
action count
action filter_type
action find
entity Pancras of Rome
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?c ) WHERE { ?o rdf:type ontology:common_name . resource:Pancras_of_Rome property:patron_saint ?o } } . FILTER ( ?i > ?c ) . { SELECT DISTINCT ?b ( COUNT ( ?w ) AS ?i ) WHERE { ?w property:patron_saint ?b . ?b rdf:type ontology:common_name . ?w rdf:type ontology:occupation } GROUP BY ?b } }
[]
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 Q336731
relation P417
type Q502895
[ANSWERS]
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?c ) WHERE { ?o rdf:type ontology:Q502895 . resource:Q336731 property:P417 ?o } } . FILTER ( ?i > ?c ) . { SELECT DISTINCT ?b ( COUNT ( ?w ) AS ?i ) WHERE { ?w property:P417 ?b . ?b rdf:type ontology:Q502895 . ?w rdf:type ontology:Q12737077 } GROUP BY ?b } }
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 Pancras of Rome
relation patron saint
type common name
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?c ) WHERE { ?o rdf:type ontology:common_name . resource:Pancras_of_Rome property:patron_saint ?o } } . FILTER ( ?i > ?c ) . { SELECT DISTINCT ?b ( COUNT ( ?w ) AS ?i ) WHERE { ?w property:patron_saint ?b . ?b rdf:type ontology:common_name . ?w rdf:type ontology:occupation } GROUP BY ?b } }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q23588524 Q1281618
P682 P425
Q3249551
USER
Which processes have sculptor as thier associated field of occupation or are a biological processes that Glycogen operon protein GlgX homolog    MAB_2690 are involved in ?
OR((Q1281618,P425,c(Q3249551)), (Q23588524,P682,c(Q3249551)))
action filter_type
action union
action find
entity Q1281618
relation P425
action find
entity Q23588524
relation P682
type Q3249551
{'OR': [['Q1281618', 'P425', {'concept': 'Q3249551'}], ['Q23588524', 'P682', {'concept': 'Q3249551'}]]}
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:Q3249551 . { { resource:Q1281618 property:P425 ?n } UNION { resource:Q23588524 property:P682 ?n } } }
Glycogen operon protein GlgX homolog    MAB_2690 sculptor
action filter_type
action union
action find
entity sculptor
relation field of this occupation
action find
entity Glycogen operon protein GlgX homolog    MAB_2690
relation biological process
type process
{'OR': [['sculptor', 'field of this occupation', {'concept': 'process'}], ['Glycogen operon protein GlgX homolog    MAB_2690', 'biological process', {'concept': 'process'}]]}
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:process . { { resource:sculptor property:field_of_this_occupation ?n } UNION { resource:Glycogen_operon_protein_GlgX_homolog____MAB_2690 property:biological_process ?n } } }
[]
process
Q11634 Q1057
SYSTEM
art of sculpture, metabolic process
Q11634 Q1057
OR((Q1281618,P425,c(Q3249551)), (Q23588524,P682,c(Q3249551)))
action filter_type
action union
action find
entity Q1281618
relation P425
action find
entity Q23588524
relation P682
type Q3249551
The [ANSWERS] have sculptor as thier associated field of occupation or are a biological processes that Glycogen operon protein GlgX homolog MAB_2690 are involved in
{'OR': [['Q1281618', 'P425', {'concept': 'Q3249551'}], ['Q23588524', 'P682', {'concept': 'Q3249551'}]]}
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:Q3249551 . { { resource:Q1281618 property:P425 ?n } UNION { resource:Q23588524 property:P682 ?n } } }
art of sculpture metabolic process
The art of sculpture and metabolic process have sculptor as thier associated field of occupation or are a biological processes that Glycogen operon protein GlgX homolog MAB_2690 are involved in
art of sculpture metabolic process
action filter_type
action union
action find
entity sculptor
relation field of this occupation
action find
entity Glycogen operon protein GlgX homolog    MAB_2690
relation biological process
type process
{'OR': [['sculptor', 'field of this occupation', {'concept': 'process'}], ['Glycogen operon protein GlgX homolog    MAB_2690', 'biological process', {'concept': 'process'}]]}
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:process . { { resource:sculptor property:field_of_this_occupation ?n } UNION { resource:Glycogen_operon_protein_GlgX_homolog____MAB_2690 property:biological_process ?n } } }
[]
Clarification
Comparative|More/Less|Mult. entity type|Indirect
P101
Q3249551 Q43229 Q502895
USER
Which processes do around the same number of organizations and people belong to as that process ?
(c(Q43229)|c(Q502895),P101,c(Q3249551))
[[{'concept': 'Q43229'}, {'concept': 'Q502895'}], 'P101', {'concept': 'Q3249551'}]
SELECT DISTINCT ?y WHERE { { VALUES ( ?o ) { ( ?z ) ( ?x ) } . ?o property:Q627436 ?y } . ?z rdf:type ontology:Q43229 . ?y rdf:type ontology:Q619671 . ?x rdf:type ontology:Q502895 }
[[{'concept': 'organization'}, {'concept': 'common name'}], 'field of work', {'concept': 'process'}]
SELECT DISTINCT ?y WHERE { { VALUES ( ?o ) { ( ?z ) ( ?x ) } . ?o property:field_of_work ?y } . ?z rdf:type ontology:organization . ?y rdf:type ontology:process . ?x rdf:type ontology:common_name }
[]
process organization common name
Comparative|More/Less|Mult. entity type|Clarification
Q1057
SYSTEM
Did you mean metabolic process ?
(c(Q43229)|c(Q502895),P101,c(Q3249551))
[ANSWER]
[[{'concept': 'Q43229'}, {'concept': 'Q502895'}], 'P101', {'concept': 'Q3249551'}]
SELECT DISTINCT ?y WHERE { { VALUES ( ?o ) { ( ?z ) ( ?x ) } . ?o property:Q627436 ?y } . ?z rdf:type ontology:Q43229 . ?y rdf:type ontology:Q619671 . ?x rdf:type ontology:Q502895 }
Did you mean metabolic process ?
metabolic process
[[{'concept': 'organization'}, {'concept': 'common name'}], 'field of work', {'concept': 'process'}]
SELECT DISTINCT ?y WHERE { { VALUES ( ?o ) { ( ?z ) ( ?x ) } . ?o property:field_of_work ?y } . ?z rdf:type ontology:organization . ?y rdf:type ontology:process . ?x rdf:type ontology:common_name }
[]
Comparative Reasoning (All)
USER
No, I meant art of sculpture. Could you tell me the answer for that?
(c(Q43229)|c(Q502895),P101,c(Q3249551))
Q11634
[[{'concept': 'Q43229'}, {'concept': 'Q502895'}], 'P101', {'concept': 'Q3249551'}]
[[{'concept': 'organization'}, {'concept': 'common name'}], 'field of work', {'concept': 'process'}]
[]
Q11634 Q11629
SYSTEM
art of sculpture, art of painting
Q11634 Q11629
(c(Q43229)|c(Q502895),P101,c(Q3249551))
The [ANSWERS] around the same number of organizations and people belong to as that process
[[{'concept': 'Q43229'}, {'concept': 'Q502895'}], 'P101', {'concept': 'Q3249551'}]
SELECT DISTINCT ?y WHERE { { { ?z property:Q627436 ?y } UNION { ?x property:Q627436 ?y } } . ?z rdf:type ontology:Q43229 . ?y rdf:type ontology:Q619671 . ?x rdf:type ontology:Q502895 }
art of sculpture art of painting
The art of sculpture and art of painting around the same number of organizations and people belong to as that process
art of sculpture art of painting
[[{'concept': 'organization'}, {'concept': 'common name'}], 'field of work', {'concept': 'process'}]
SELECT DISTINCT ?y WHERE { { { ?z property:field_of_work ?y } UNION { ?x property:field_of_work ?y } } . ?z rdf:type ontology:organization . ?y rdf:type ontology:process . ?x rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q6092666
P101
Q2198855
USER
Does Italian Baroque art work in the domain of those processes ?
(Q6092666,P101,Q11634) (Q6092666,P101,Q11629)
action is_in
entity prev_answer
action find
entity Q6092666
relation P101
['Q6092666', 'P101', 'Q11634'] ['Q6092666', 'P101', 'Q11629']
ASK WHERE { resource:Q6092666 property:P101 ?l . VALUES ( ?l ) { ( resource:Q11634 ) ( resource:Q11629 ) } }
Italian Baroque art
action is_in
entity prev_answer
action find
entity Italian Baroque art
relation field of work
['Italian Baroque art', 'field of work', 'art of sculpture'] ['Italian Baroque art', 'field of work', 'art of painting']
ASK WHERE { resource:Italian_Baroque_art property:field_of_work ?l . VALUES ( ?l ) { ( resource:art_of_sculpture ) ( resource:art_of_painting ) } }
[]
cultural movement
SYSTEM
YES
(Q6092666,P101,Q11634) (Q6092666,P101,Q11629)
action is_in
entity prev_answer
action find
entity Q6092666
relation P101
[ANSWER]
['Q6092666', 'P101', 'Q11634'] ['Q6092666', 'P101', 'Q11629']
ASK WHERE { resource:Q6092666 property:P101 ?l . VALUES ( ?l ) { ( resource:Q11634 ) ( resource:Q11629 ) } }
Yes
action is_in
entity prev_answer
action find
entity Italian Baroque art
relation field of work
['Italian Baroque art', 'field of work', 'art of sculpture'] ['Italian Baroque art', 'field of work', 'art of painting']
ASK WHERE { resource:Italian_Baroque_art property:field_of_work ?l . VALUES ( ?l ) { ( resource:art_of_sculpture ) ( resource:art_of_painting ) } }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1126581 Q576556
P19
Q515
USER
Was Pál Kő born in Midori ?
(Q1126581,P19,Q576556)
action is_in
entity Q576556
action find
entity Q1126581
relation P19
['Q1126581', 'P19', 'Q576556']
ASK WHERE { resource:Q1126581 property:P19 resource:Q576556 }
Pál Kő Midori
action is_in
entity Midori
action find
entity Pál Kő
relation place of birth
['Pál Kő', 'place of birth', 'Midori']
ASK WHERE { resource:Pál_Kő property:place_of_birth resource:Midori }
[]
city
SYSTEM
NO
(Q1126581,P19,Q576556)
action is_in
entity Q576556
action find
entity Q1126581
relation P19
[ANSWER]
['Q1126581', 'P19', 'Q576556']
ASK WHERE { resource:Q1126581 property:P19 resource:Q576556 }
No
action is_in
entity Midori
action find
entity Pál Kő
relation place of birth
['Pál Kő', 'place of birth', 'Midori']
ASK WHERE { resource:Pál_Kő property:place_of_birth resource:Midori }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q30 Q11629
P27 P101
Q502895
USER
Which people have his/her area as art of painting and are a citizen of United States of America ?
AND((c(Q502895),P101,Q11629), (c(Q502895),P27,Q30))
action filter_type
action intersection
action find_reverse
entity Q11629
relation P101
action find_reverse
entity Q30
relation P27
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P101', 'Q11629'], [{'concept': 'Q502895'}, 'P27', 'Q30']]}
SELECT DISTINCT ?w WHERE { ?w property:P101 resource:Q11629 . ?w property:P27 resource:Q30 . ?w rdf:type ontology:Q502895 }
United States of America art of painting
action filter_type
action intersection
action find_reverse
entity art of painting
relation field of work
action find_reverse
entity United States of America
relation country of citizenship
type common name
{'AND': [[{'concept': 'common name'}, 'field of work', 'art of painting'], [{'concept': 'common name'}, 'country of citizenship', 'United States of America']]}
SELECT DISTINCT ?w WHERE { ?w property:field_of_work resource:art_of_painting . ?w property:country_of_citizenship resource:United_States_of_America . ?w rdf:type ontology:common_name }
[]
common name
Q18343072
SYSTEM
Henry Taylor
Q18343072
AND((c(Q502895),P101,Q11629), (c(Q502895),P27,Q30))
action filter_type
action intersection
action find_reverse
entity Q11629
relation P101
action find_reverse
entity Q30
relation P27
type Q502895
[ANSWER] have his/her area as art of painting and are a citizen of United States of America
{'AND': [[{'concept': 'Q502895'}, 'P101', 'Q11629'], [{'concept': 'Q502895'}, 'P27', 'Q30']]}
SELECT DISTINCT ?w WHERE { ?w property:P101 resource:Q11629 . ?w property:P27 resource:Q30 . ?w rdf:type ontology:Q502895 }
Henry Taylor
Henry Taylor have his/her area as art of painting and are a citizen of United States of America
Henry Taylor
action filter_type
action intersection
action find_reverse
entity art of painting
relation field of work
action find_reverse
entity United States of America
relation country of citizenship
type common name
{'AND': [[{'concept': 'common name'}, 'field of work', 'art of painting'], [{'concept': 'common name'}, 'country of citizenship', 'United States of America']]}
SELECT DISTINCT ?w WHERE { ?w property:field_of_work resource:art_of_painting . ?w property:country_of_citizenship resource:United_States_of_America . ?w rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q25344420 Q44248
P2348
Q3024240
USER
Which former countries did Jerome and Apollonius belong to ?
AND((Q44248,P2348,c(Q3024240)), (Q25344420,P2348,c(Q3024240)))
action filter_type
action intersection
action find
entity Q44248
relation P2348
action find
entity Q25344420
relation P2348
type Q3024240
{'AND': [['Q44248', 'P2348', {'concept': 'Q3024240'}], ['Q25344420', 'P2348', {'concept': 'Q3024240'}]]}
SELECT DISTINCT ?c WHERE { resource:Q44248 property:P2348 ?c . resource:Q25344420 property:P2348 ?c . ?c rdf:type ontology:Q3024240 }
Apollonius Jerome
action filter_type
action intersection
action find
entity Jerome
relation period
action find
entity Apollonius
relation period
type former country
{'AND': [['Jerome', 'period', {'concept': 'former country'}], ['Apollonius', 'period', {'concept': 'former country'}]]}
SELECT DISTINCT ?c WHERE { resource:Jerome property:period ?c . resource:Apollonius property:period ?c . ?c rdf:type ontology:former_country }
[]
former country
Q2277
SYSTEM
Roman Empire
Q2277
AND((Q44248,P2348,c(Q3024240)), (Q25344420,P2348,c(Q3024240)))
action filter_type
action intersection
action find
entity Q44248
relation P2348
action find
entity Q25344420
relation P2348
type Q3024240
Jerome and Apollonius belonged to the [ANSWER]
{'AND': [['Q44248', 'P2348', {'concept': 'Q3024240'}], ['Q25344420', 'P2348', {'concept': 'Q3024240'}]]}
SELECT DISTINCT ?c WHERE { resource:Q44248 property:P2348 ?c . resource:Q25344420 property:P2348 ?c . ?c rdf:type ontology:Q3024240 }
Roman Empire
Jerome and Apollonius belonged to the Roman Empire
Roman Empire
action filter_type
action intersection
action find
entity Jerome
relation period
action find
entity Apollonius
relation period
type former country
{'AND': [['Jerome', 'period', {'concept': 'former country'}], ['Apollonius', 'period', {'concept': 'former country'}]]}
SELECT DISTINCT ?c WHERE { resource:Jerome property:period ?c . resource:Apollonius property:period ?c . ?c rdf:type ontology:former_country }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P122
Q28108 Q3024240
USER
Which political systems best describe the government of max number of former countries ?
(c(Q3024240),P122,Q3446302)
action argmax
action find_reverse_tuple_counts
relation P122
type Q28108
type Q3024240
[{'concept': 'Q3024240'}, 'P122', 'Q3446302']
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( MAX ( ?t ) AS ?p ) { SELECT DISTINCT ?u ( COUNT ( ?b ) AS ?t ) WHERE { ?b property:P122 ?u . ?u rdf:type ontology:Q28108 . ?b rdf:type ontology:Q3024240 } GROUP BY ?u } } . { SELECT DISTINCT ?d ( COUNT ( ?m ) AS ?r ) WHERE { ?m property:P122 ?d . ?d rdf:type ontology:Q28108 . ?m rdf:type ontology:Q3024240 } GROUP BY ?d } . FILTER ( ?r = ?p ) }
action argmax
action find_reverse_tuple_counts
relation basic form of government
type political system
type former country
[{'concept': 'former country'}, 'basic form of government', 'royalty']
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( MAX ( ?t ) AS ?p ) { SELECT DISTINCT ?u ( COUNT ( ?b ) AS ?t ) WHERE { ?b property:basic_form_of_government ?u . ?u rdf:type ontology:political_system . ?b rdf:type ontology:former_country } GROUP BY ?u } } . { SELECT DISTINCT ?d ( COUNT ( ?m ) AS ?r ) WHERE { ?m property:basic_form_of_government ?d . ?d rdf:type ontology:political_system . ?m rdf:type ontology:former_country } GROUP BY ?d } . FILTER ( ?r = ?p ) }
[]
political system former country
Q173424
SYSTEM
autocracy
Q173424
(c(Q3024240),P122,Q3446302)
action argmax
action find_reverse_tuple_counts
relation P122
type Q28108
type Q3024240
[ANSWER] best describe the government of max number of former countries
[{'concept': 'Q3024240'}, 'P122', 'Q3446302']
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( MAX ( ?t ) AS ?p ) { SELECT DISTINCT ?u ( COUNT ( ?b ) AS ?t ) WHERE { ?b property:P122 ?u . ?u rdf:type ontology:Q28108 . ?b rdf:type ontology:Q3024240 } GROUP BY ?u } } . { SELECT DISTINCT ?d ( COUNT ( ?m ) AS ?r ) WHERE { ?m property:P122 ?d . ?d rdf:type ontology:Q28108 . ?m rdf:type ontology:Q3024240 } GROUP BY ?d } . FILTER ( ?r = ?p ) }
autocracy
Autocracy best describe the government of max number of former countries
autocracy
action argmax
action find_reverse_tuple_counts
relation basic form of government
type political system
type former country
[{'concept': 'former country'}, 'basic form of government', 'royalty']
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( MAX ( ?t ) AS ?p ) { SELECT DISTINCT ?u ( COUNT ( ?b ) AS ?t ) WHERE { ?b property:basic_form_of_government ?u . ?u rdf:type ontology:political_system . ?b rdf:type ontology:former_country } GROUP BY ?u } } . { SELECT DISTINCT ?d ( COUNT ( ?m ) AS ?r ) WHERE { ?m property:basic_form_of_government ?d . ?d rdf:type ontology:political_system . ?m rdf:type ontology:former_country } GROUP BY ?d } . FILTER ( ?r = ?p ) }
[]