Simple Question (Direct)
Simple Question
Q61275
P20
Q56061
USER
Where did Hermann Abert expire ?
(Q61275,P20,c(Q56061))
action filter_type
action find
entity Q61275
relation P20
type Q56061
['Q61275', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?d WHERE { resource:Q61275 property:P20 ?d . ?d rdf:type ontology:Q56061 }
Hermann Abert
action filter_type
action find
entity Hermann Abert
relation place of death
type administrative territorial entity
['Hermann Abert', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { resource:Hermann_Abert property:place_of_death ?d . ?d rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q1022
SYSTEM
Stuttgart
Q1022
(Q61275,P20,c(Q56061))
action filter_type
action find
entity Q61275
relation P20
type Q56061
Hermann Abert expired in [ANSWER]
['Q61275', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?d WHERE { resource:Q61275 property:P20 ?d . ?d rdf:type ontology:Q56061 }
Stuttgart
Hermann Abert expired in Stuttgart
Stuttgart
action filter_type
action find
entity Hermann Abert
relation place of death
type administrative territorial entity
['Hermann Abert', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { resource:Hermann_Abert property:place_of_death ?d . ?d rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1022
P47
Q1048835
USER
Who share the border with that administrative territory ?
(Q1022,P47,c(Q1048835))
action filter_type
action find
entity Q1022
relation P47
type Q1048835
['Q1022', 'P47', {'concept': 'Q1048835'}]
SELECT DISTINCT ?s WHERE { resource:Q1022 property:P47 ?s . ?s rdf:type ontology:Q1048835 }
Stuttgart
action filter_type
action find
entity Stuttgart
relation shares border with
type political territorial entity
['Stuttgart', 'shares border with', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Stuttgart property:shares_border_with ?s . ?s rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q8541 Q8536 Q8533
SYSTEM
Ludwigsburg, Böblingen, Esslingen
Q8533 Q8541 Q8536 Q8528
(Q1022,P47,c(Q1048835))
action filter_type
action find
entity Q1022
relation P47
type Q1048835
[ANSWERS] share the border with that administrative territory
['Q1022', 'P47', {'concept': 'Q1048835'}]
SELECT DISTINCT ?s WHERE { resource:Q1022 property:P47 ?s . ?s rdf:type ontology:Q1048835 }
Esslingen Ludwigsburg Böblingen Rems-Murr
Ludwigsburg, Böblingen and Esslingen share the border with that administrative territory
Ludwigsburg Böblingen Esslingen
action filter_type
action find
entity Stuttgart
relation shares border with
type political territorial entity
['Stuttgart', 'shares border with', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Stuttgart property:shares_border_with ?s . ?s rdf:type ontology:political_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q16255533
P47
Q56061
USER
Do those political territories share a border with Kanwarpur-Sultanpur ?
(Q16255533,P47,Q8541) (Q16255533,P47,Q8536) (Q16255533,P47,Q8533)
action is_in
entity prev_answer
action find
entity Q16255533
relation P47
['Q16255533', 'P47', 'Q8541'] ['Q16255533', 'P47', 'Q8536'] ['Q16255533', 'P47', 'Q8533']
ASK WHERE { resource:Q16255533 property:P47 ?q . VALUES ( ?q ) { ( resource:Q8533 ) ( resource:Q8541 ) ( resource:Q8536 ) } }
Kanwarpur-Sultanpur
action is_in
entity prev_answer
action find
entity Kanwarpur-Sultanpur
relation shares border with
['Kanwarpur-Sultanpur', 'shares border with', 'Ludwigsburg'] ['Kanwarpur-Sultanpur', 'shares border with', 'Böblingen'] ['Kanwarpur-Sultanpur', 'shares border with', 'Esslingen']
ASK WHERE { resource:Kanwarpur-Sultanpur property:shares_border_with ?q . VALUES ( ?q ) { ( resource:Esslingen ) ( resource:Ludwigsburg ) ( resource:Böblingen ) } }
[]
administrative territorial entity
SYSTEM
NO
(Q16255533,P47,Q8541) (Q16255533,P47,Q8536) (Q16255533,P47,Q8533)
action is_in
entity prev_answer
action find
entity Q16255533
relation P47
[ANSWER]
['Q16255533', 'P47', 'Q8541'] ['Q16255533', 'P47', 'Q8536'] ['Q16255533', 'P47', 'Q8533']
ASK WHERE { resource:Q16255533 property:P47 ?q . VALUES ( ?q ) { ( resource:Q8533 ) ( resource:Q8541 ) ( resource:Q8536 ) } }
No
action is_in
entity prev_answer
action find
entity Kanwarpur-Sultanpur
relation shares border with
['Kanwarpur-Sultanpur', 'shares border with', 'Ludwigsburg'] ['Kanwarpur-Sultanpur', 'shares border with', 'Böblingen'] ['Kanwarpur-Sultanpur', 'shares border with', 'Esslingen']
ASK WHERE { resource:Kanwarpur-Sultanpur property:shares_border_with ?q . VALUES ( ?q ) { ( resource:Esslingen ) ( resource:Ludwigsburg ) ( resource:Böblingen ) } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q3272294 Q8533
P47
Q56061
USER
Which administrative territories do Esslingen or M'Rara share a border with ?
OR((c(Q56061),P47,Q8533), (c(Q56061),P47,Q3272294))
action filter_type
action union
action find_reverse
entity Q8533
relation P47
action find_reverse
entity Q3272294
relation P47
type Q56061
{'OR': [[{'concept': 'Q56061'}, 'P47', 'Q8533'], [{'concept': 'Q56061'}, 'P47', 'Q3272294']]}
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:Q56061 . { { ?x property:P47 resource:Q8533 } UNION { ?x property:P47 resource:Q3272294 } } }
M'Rara Esslingen
action filter_type
action union
action find_reverse
entity Esslingen
relation shares border with
action find_reverse
entity M'Rara
relation shares border with
type administrative territorial entity
{'OR': [[{'concept': 'administrative territorial entity'}, 'shares border with', 'Esslingen'], [{'concept': 'administrative territorial entity'}, 'shares border with', "M'Rara"]]}
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:administrative_territorial_entity . { { ?x property:shares_border_with resource:Esslingen } UNION { ?x property:shares_border_with resource:M'Rara } } }
[]
administrative territorial entity
Q12646400 Q1022 Q11811932 Q11773942 Q12646398 Q11811780 Q11773990
SYSTEM
El Har Ihira, Stuttgart, Mazer Zaouia, Tamerna Djedida, Moggar, Tamerna Guedima, Arfiane El Bared
Q12646400 Q1022 Q11811932 Q11773942 Q12646398 Q11811780 Q11773990
OR((c(Q56061),P47,Q8533), (c(Q56061),P47,Q3272294))
action filter_type
action union
action find_reverse
entity Q8533
relation P47
action find_reverse
entity Q3272294
relation P47
type Q56061
Esslingen or M 'Rara share a border with [ANSWERS]
{'OR': [[{'concept': 'Q56061'}, 'P47', 'Q8533'], [{'concept': 'Q56061'}, 'P47', 'Q3272294']]}
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:Q56061 . { { ?x property:P47 resource:Q8533 } UNION { ?x property:P47 resource:Q3272294 } } }
El Har Ihira Stuttgart Mazer Zaouia Tamerna Djedida Moggar Tamerna Guedima Arfiane El Bared
Esslingen or M 'Rara share a border with El Har Ihira, Stuttgart, Mazer Zaouia, Tamerna Djedida, Moggar, Tamerna Guedima and Arfiane El Bared
El Har Ihira Stuttgart Mazer Zaouia Tamerna Djedida Moggar Tamerna Guedima Arfiane El Bared
action filter_type
action union
action find_reverse
entity Esslingen
relation shares border with
action find_reverse
entity M'Rara
relation shares border with
type administrative territorial entity
{'OR': [[{'concept': 'administrative territorial entity'}, 'shares border with', 'Esslingen'], [{'concept': 'administrative territorial entity'}, 'shares border with', "M'Rara"]]}
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:administrative_territorial_entity . { { ?x property:shares_border_with resource:Esslingen } UNION { ?x property:shares_border_with resource:M'Rara } } }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q592681 Q1022
P47 P17
Q1048835
USER
Which political territories are Stuttgart a part of or share the border with O Incio ?
OR((Q1022,P17,c(Q1048835)), (Q592681,P47,c(Q1048835)))
action filter_type
action union
action find
entity Q1022
relation P17
action find
entity Q592681
relation P47
type Q1048835
{'OR': [['Q1022', 'P17', {'concept': 'Q1048835'}], ['Q592681', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:Q1048835 . { { resource:Q1022 property:P17 ?t } UNION { resource:Q592681 property:P47 ?t } } }
O Incio Stuttgart
action filter_type
action union
action find
entity Stuttgart
relation country
action find
entity O Incio
relation shares border with
type political territorial entity
{'OR': [['Stuttgart', 'country', {'concept': 'political territorial entity'}], ['O Incio', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:political_territorial_entity . { { resource:Stuttgart property:country ?t } UNION { resource:O_Incio property:shares_border_with ?t } } }
[]
political territorial entity
Q174833 Q183 Q917876 Q920774 Q1447369 Q1606539 Q431456
SYSTEM
Sarria, Germany, Samos, A Pobra do Brollón, Folgoso do Courel, Bóveda, Paradela
Q174833 Q183 Q917876 Q920774 Q1447369 Q1606539 Q431456
OR((Q1022,P17,c(Q1048835)), (Q592681,P47,c(Q1048835)))
action filter_type
action union
action find
entity Q1022
relation P17
action find
entity Q592681
relation P47
type Q1048835
[ANSWERS] are Stuttgart a part of or share the border with O Incio
{'OR': [['Q1022', 'P17', {'concept': 'Q1048835'}], ['Q592681', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:Q1048835 . { { resource:Q1022 property:P17 ?t } UNION { resource:Q592681 property:P47 ?t } } }
Sarria Germany Samos A Pobra do Brollón Folgoso do Courel Bóveda Paradela
Sarria, Germany, Samos, A Pobra do Brollón, Folgoso do Courel, Bóveda and Paradela are Stuttgart a part of or share the border with O Incio
Sarria Germany Samos A Pobra do Brollón Folgoso do Courel Bóveda Paradela
action filter_type
action union
action find
entity Stuttgart
relation country
action find
entity O Incio
relation shares border with
type political territorial entity
{'OR': [['Stuttgart', 'country', {'concept': 'political territorial entity'}], ['O Incio', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:political_territorial_entity . { { resource:Stuttgart property:country ?t } UNION { resource:O_Incio property:shares_border_with ?t } } }
[]
Clarification
Quantitative|Count|Single entity type|Indirect
P47
Q1048835
USER
How many political territories share border with that political territory ?
(Q1606539,P47,c(Q1048835))
['Q1606539', 'P47', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { resource:Q1606539 property:P47 ?z . ?z rdf:type ontology:Q1048835 }
['Bóveda', 'shares border with', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { resource:Bóveda property:shares_border_with ?z . ?z rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Quantitative|Count|Single entity type|Clarification
Q431456
SYSTEM
Did you mean Paradela ?
(Q174833,P47,c(Q1048835)) (Q183,P47,c(Q1048835)) (Q917876,P47,c(Q1048835)) (Q920774,P47,c(Q1048835)) (Q1447369,P47,c(Q1048835)) (Q1606539,P47,c(Q1048835)) (Q431456,P47,c(Q1048835))
[ANSWER]
['Q174833', 'P47', {'concept': 'Q1048835'}] ['Q183', 'P47', {'concept': 'Q1048835'}] ['Q917876', 'P47', {'concept': 'Q1048835'}] ['Q920774', 'P47', {'concept': 'Q1048835'}] ['Q1447369', 'P47', {'concept': 'Q1048835'}] ['Q1606539', 'P47', {'concept': 'Q1048835'}] ['Q431456', 'P47', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { resource:Q1606539 property:P47 ?z . ?z rdf:type ontology:Q1048835 }
Did you mean Paradela ?
Paradela
['Sarria', 'shares border with', {'concept': 'political territorial entity'}] ['Germany', 'shares border with', {'concept': 'political territorial entity'}] ['Samos', 'shares border with', {'concept': 'political territorial entity'}] ['A Pobra do Brollón', 'shares border with', {'concept': 'political territorial entity'}] ['Folgoso do Courel', 'shares border with', {'concept': 'political territorial entity'}] ['Bóveda', 'shares border with', {'concept': 'political territorial entity'}] ['Paradela', 'shares border with', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { resource:Bóveda property:shares_border_with ?z . ?z rdf:type ontology:political_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
USER
No, I meant Bóveda. Could you tell me the answer for that?
(Q1606539,P47,c(Q1048835))
Q1606539
['Q1606539', 'P47', {'concept': 'Q1048835'}]
['Bóveda', 'shares border with', {'concept': 'political territorial entity'}]
[]
SYSTEM
5
Q592681 Q1447399 Q818341 Q431456 Q920774
(Q1606539,P47,c(Q1048835))
[ANSWER]
['Q1606539', 'P47', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { resource:Q1606539 property:P47 ?z . ?z rdf:type ontology:Q1048835 }
O Incio O Saviñao Monforte de Lemos Paradela A Pobra do Brollón
5
['Bóveda', 'shares border with', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { resource:Bóveda property:shares_border_with ?z . ?z rdf:type ontology:political_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q183
P159
Q28640
USER
Which profession has its head office location at Germany ?
(c(Q28640),P159,Q183)
action filter_type
action find_reverse
entity Q183
relation P159
type Q28640
[{'concept': 'Q28640'}, 'P159', 'Q183']
SELECT DISTINCT ?a WHERE { ?a property:P159 resource:Q183 . ?a rdf:type ontology:Q28640 }
Germany
action filter_type
action find_reverse
entity Germany
relation headquarters location
type profession
[{'concept': 'profession'}, 'headquarters location', 'Germany']
SELECT DISTINCT ?a WHERE { ?a property:headquarters_location resource:Germany . ?a rdf:type ontology:profession }
[]
profession
Q662567
SYSTEM
Ariolasoft
Q662567
(c(Q28640),P159,Q183)
action filter_type
action find_reverse
entity Q183
relation P159
type Q28640
[ANSWER] has its head office location at Germany
[{'concept': 'Q28640'}, 'P159', 'Q183']
SELECT DISTINCT ?a WHERE { ?a property:P159 resource:Q183 . ?a rdf:type ontology:Q28640 }
Ariolasoft
Ariolasoft has its head office location at Germany
Ariolasoft
action filter_type
action find_reverse
entity Germany
relation headquarters location
type profession
[{'concept': 'profession'}, 'headquarters location', 'Germany']
SELECT DISTINCT ?a WHERE { ?a property:headquarters_location resource:Germany . ?a rdf:type ontology:profession }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q662567
P123
Q166142
USER
Which applications were published by that profession ?
(c(Q166142),P123,Q662567)
action filter_type
action find_reverse
entity Q662567
relation P123
type Q166142
[{'concept': 'Q166142'}, 'P123', 'Q662567']
SELECT DISTINCT ?j WHERE { ?j property:P123 resource:Q662567 . ?j rdf:type ontology:Q166142 }
Ariolasoft
action filter_type
action find_reverse
entity Ariolasoft
relation publisher
type application
[{'concept': 'application'}, 'publisher', 'Ariolasoft']
SELECT DISTINCT ?j WHERE { ?j property:publisher resource:Ariolasoft . ?j rdf:type ontology:application }
[]
application
Q1445841 Q15036806 Q1721580
SYSTEM
One on One: Dr. J vs. Larry Bird, Starfox, Kaiser
Q1721580 Q1445841 Q5245060 Q3951583 Q15036806
(c(Q166142),P123,Q662567)
action filter_type
action find_reverse
entity Q662567
relation P123
type Q166142
[ANSWERS] were published by that profession
[{'concept': 'Q166142'}, 'P123', 'Q662567']
SELECT DISTINCT ?j WHERE { ?j property:P123 resource:Q662567 . ?j rdf:type ontology:Q166142 }
Kaiser One on One: Dr. J vs. Larry Bird Deactivators Scarabaeus Starfox
One on One: Dr. J vs. Larry Bird, Starfox and Kaiser were published by that profession
One on One: Dr. J vs. Larry Bird Starfox Kaiser
action filter_type
action find_reverse
entity Ariolasoft
relation publisher
type application
[{'concept': 'application'}, 'publisher', 'Ariolasoft']
SELECT DISTINCT ?j WHERE { ?j property:publisher resource:Ariolasoft . ?j rdf:type ontology:application }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q1445841 Q15036806 Q1721580
P136
Q483394
USER
What can be considered as category for One on One: Dr. J vs. Larry Bird, Starfox and Kaiser ?
(Q1445841,P136,c(Q483394)) (Q15036806,P136,c(Q483394)) (Q1721580,P136,c(Q483394))
action union
action filter_type
action find
entity Q1445841
relation P136
type Q483394
action filter_type
action find
entity Q15036806
relation P136
type Q483394
action filter_type
action find
entity Q1721580
relation P136
type Q483394
['Q1445841', 'P136', {'concept': 'Q483394'}] ['Q15036806', 'P136', {'concept': 'Q483394'}] ['Q1721580', 'P136', {'concept': 'Q483394'}]
SELECT DISTINCT ?g WHERE { VALUES ( ?x ) { ( resource:Q15036806 ) ( resource:Q1445841 ) } . ?x property:P136 ?g }
One on One: Dr. J vs. Larry Bird Starfox Kaiser
action union
action filter_type
action find
entity One on One: Dr. J vs. Larry Bird
relation genre
type genre
action filter_type
action find
entity Starfox
relation genre
type genre
action filter_type
action find
entity Kaiser
relation genre
type genre
['One on One: Dr. J vs. Larry Bird', 'genre', {'concept': 'genre'}] ['Starfox', 'genre', {'concept': 'genre'}] ['Kaiser', 'genre', {'concept': 'genre'}]
SELECT DISTINCT ?g WHERE { VALUES ( ?x ) { ( resource:Starfox ) ( resource:One_on_One:_Dr._J_vs._Larry_Bird ) } . ?x property:genre ?g }
[]
genre
Q868217 Q1044478 Q1610017
SYSTEM
sports video game, shoot 'em up, simulation video game
Q868217 Q1044478 Q1610017
(Q1445841,P136,c(Q483394)) (Q15036806,P136,c(Q483394)) (Q1721580,P136,c(Q483394))
action union
action filter_type
action find
entity Q1445841
relation P136
type Q483394
action filter_type
action find
entity Q15036806
relation P136
type Q483394
action filter_type
action find
entity Q1721580
relation P136
type Q483394
The [ANSWERS] can be considered as category for One on One: Dr. J vs. Larry Bird, Starfox and Kaiser
['Q1445841', 'P136', {'concept': 'Q483394'}] ['Q15036806', 'P136', {'concept': 'Q483394'}] ['Q1721580', 'P136', {'concept': 'Q483394'}]
SELECT DISTINCT ?g WHERE { VALUES ( ?x ) { ( resource:Q15036806 ) ( resource:Q1445841 ) } . ?x property:P136 ?g }
sports video game shoot 'em up simulation video game
The sports video game, shoot 'em up and simulation video game can be considered as category for One on One: Dr. J vs. Larry Bird, Starfox and Kaiser
sports video game shoot 'em up simulation video game
action union
action filter_type
action find
entity One on One: Dr. J vs. Larry Bird
relation genre
type genre
action filter_type
action find
entity Starfox
relation genre
type genre
action filter_type
action find
entity Kaiser
relation genre
type genre
['One on One: Dr. J vs. Larry Bird', 'genre', {'concept': 'genre'}] ['Starfox', 'genre', {'concept': 'genre'}] ['Kaiser', 'genre', {'concept': 'genre'}]
SELECT DISTINCT ?g WHERE { VALUES ( ?x ) { ( resource:Starfox ) ( resource:One_on_One:_Dr._J_vs._Larry_Bird ) } . ?x property:genre ?g }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1445841
P178
Q7397
USER
Which software developed One on One: Dr. J vs. Larry Bird ?
(Q1445841,P178,c(Q7397))
action filter_type
action find
entity Q1445841
relation P178
type Q7397
['Q1445841', 'P178', {'concept': 'Q7397'}]
SELECT DISTINCT ?s WHERE { resource:Q1445841 property:P178 ?s . ?s rdf:type ontology:Q7397 }
One on One: Dr. J vs. Larry Bird
action filter_type
action find
entity One on One: Dr. J vs. Larry Bird
relation developer
type software
['One on One: Dr. J vs. Larry Bird', 'developer', {'concept': 'software'}]
SELECT DISTINCT ?s WHERE { resource:One_on_One:_Dr._J_vs._Larry_Bird property:developer ?s . ?s rdf:type ontology:software }
[]
software
Q173941
SYSTEM
Electronic Arts
Q173941
(Q1445841,P178,c(Q7397))
action filter_type
action find
entity Q1445841
relation P178
type Q7397
[ANSWER] developed One on One: Dr. J vs. Larry Bird
['Q1445841', 'P178', {'concept': 'Q7397'}]
SELECT DISTINCT ?s WHERE { resource:Q1445841 property:P178 ?s . ?s rdf:type ontology:Q7397 }
Electronic Arts
Electronic Arts developed One on One: Dr. J vs. Larry Bird
Electronic Arts
action filter_type
action find
entity One on One: Dr. J vs. Larry Bird
relation developer
type software
['One on One: Dr. J vs. Larry Bird', 'developer', {'concept': 'software'}]
SELECT DISTINCT ?s WHERE { resource:One_on_One:_Dr._J_vs._Larry_Bird property:developer ?s . ?s rdf:type ontology:software }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q1191944
Q7397
USER
And also tell me about Depthcharge?
(Q1191944,P178,c(Q7397))
action filter_type
action find
entity Q1191944
relation P178
type Q7397
['Q1191944', 'P178', {'concept': 'Q7397'}]
SELECT DISTINCT ?o WHERE { resource:Q1191944 property:P178 ?o . ?o rdf:type ontology:Q7397 }
Depthcharge
action filter_type
action find
entity Depthcharge
relation developer
type software
['Depthcharge', 'developer', {'concept': 'software'}]
SELECT DISTINCT ?o WHERE { resource:Depthcharge property:developer ?o . ?o rdf:type ontology:software }
[]
software
Q1054844
SYSTEM
Taito Corporation
Q1054844
(Q1191944,P178,c(Q7397))
action filter_type
action find
entity Q1191944
relation P178
type Q7397
[ANSWER]
['Q1191944', 'P178', {'concept': 'Q7397'}]
SELECT DISTINCT ?o WHERE { resource:Q1191944 property:P178 ?o . ?o rdf:type ontology:Q7397 }
Taito Corporation
Taito Corporation
action filter_type
action find
entity Depthcharge
relation developer
type software
['Depthcharge', 'developer', {'concept': 'software'}]
SELECT DISTINCT ?o WHERE { resource:Depthcharge property:developer ?o . ?o rdf:type ontology:software }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type
Q235086
P277
Q188267 Q7397
USER
How many programming paradigms are used to code more number of software than Smalltalk ?
(c(Q7397),P277,c(Q188267))
action count
action greater
action find_reverse_tuple_counts
relation P277
type Q188267
type Q7397
action count
action filter_type
action find
entity Q235086
relation P277
type Q188267
[{'concept': 'Q7397'}, 'P277', {'concept': 'Q188267'}]
SELECT DISTINCT ( COUNT ( ?q ) AS ?d ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?h ) AS ?r ) WHERE { ?q rdf:type ontology:Q188267 . ?h rdf:type ontology:Q7397 . ?h property:P277 ?q } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?u ) WHERE { resource:Q235086 property:P277 ?i . ?i rdf:type ontology:Q188267 } } . FILTER ( ?r > ?u ) }
Smalltalk
action count
action greater
action find_reverse_tuple_counts
relation programming language
type programming paradigm
type software
action count
action filter_type
action find
entity Smalltalk
relation programming language
type programming paradigm
[{'concept': 'software'}, 'programming language', {'concept': 'programming paradigm'}]
SELECT DISTINCT ( COUNT ( ?q ) AS ?d ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?h ) AS ?r ) WHERE { ?q rdf:type ontology:programming_paradigm . ?h rdf:type ontology:software . ?h property:programming_language ?q } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?u ) WHERE { resource:Smalltalk property:programming_language ?i . ?i rdf:type ontology:programming_paradigm } } . FILTER ( ?r > ?u ) }
[]
programming paradigm software
SYSTEM
4
Q2370 Q633894 Q161053 Q251
(c(Q7397),P277,c(Q188267))
action count
action greater
action find_reverse_tuple_counts
relation P277
type Q188267
type Q7397
action count
action filter_type
action find
entity Q235086
relation P277
type Q188267
[ANSWER]
[{'concept': 'Q7397'}, 'P277', {'concept': 'Q188267'}]
SELECT DISTINCT ( COUNT ( ?q ) AS ?d ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?h ) AS ?r ) WHERE { ?q rdf:type ontology:Q188267 . ?h rdf:type ontology:Q7397 . ?h property:P277 ?q } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?u ) WHERE { resource:Q235086 property:P277 ?i . ?i rdf:type ontology:Q188267 } } . FILTER ( ?r > ?u ) }
C♯ Object Pascal Ruby Java
4
action count
action greater
action find_reverse_tuple_counts
relation programming language
type programming paradigm
type software
action count
action filter_type
action find
entity Smalltalk
relation programming language
type programming paradigm
[{'concept': 'software'}, 'programming language', {'concept': 'programming paradigm'}]
SELECT DISTINCT ( COUNT ( ?q ) AS ?d ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?h ) AS ?r ) WHERE { ?q rdf:type ontology:programming_paradigm . ?h rdf:type ontology:software . ?h property:programming_language ?q } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?u ) WHERE { resource:Smalltalk property:programming_language ?i . ?i rdf:type ontology:programming_paradigm } } . FILTER ( ?r > ?u ) }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q235086
P277
Q629206
USER
Which computer language is created in that programming paradigm ?
action filter_type
action find_reverse
entity Q235086
relation P277
type Q629206
SELECT DISTINCT ?k WHERE { ?k property:P277 resource:Q235086 . ?k rdf:type ontology:Q629206 }
Smalltalk
action filter_type
action find_reverse
entity Smalltalk
relation programming language
type computer language
SELECT DISTINCT ?k WHERE { ?k property:programming_language resource:Smalltalk . ?k rdf:type ontology:computer_language }
[]
computer language
Q369096
SYSTEM
Pharo
Q369096
action filter_type
action find_reverse
entity Q235086
relation P277
type Q629206
[ANSWER] is created in that programming paradigm
SELECT DISTINCT ?k WHERE { ?k property:P277 resource:Q235086 . ?k rdf:type ontology:Q629206 }
Pharo
Pharo is created in that programming paradigm
Pharo
action filter_type
action find_reverse
entity Smalltalk
relation programming language
type computer language
SELECT DISTINCT ?k WHERE { ?k property:programming_language resource:Smalltalk . ?k rdf:type ontology:computer_language }
[]