Simple Question (Direct)
Simple Question
Q6483600
P400
Q676202
USER
What is the platform for which Lancelot was developed ?
(Q6483600,P400,c(Q676202))
action filter_type
action find
entity Q6483600
relation P400
type Q676202
['Q6483600', 'P400', {'concept': 'Q676202'}]
SELECT DISTINCT ?a WHERE { ?a rdf:type ontology:Q676202 . resource:Q6483600 property:P400 ?a }
Lancelot
action filter_type
action find
entity Lancelot
relation platform
type system software
['Lancelot', 'platform', {'concept': 'system software'}]
SELECT DISTINCT ?a WHERE { ?a rdf:type ontology:system_software . resource:Lancelot property:platform ?a }
[]
system software
Q170434
SYSTEM
DOS
Q170434
(Q6483600,P400,c(Q676202))
action filter_type
action find
entity Q6483600
relation P400
type Q676202
[ANSWER]
['Q6483600', 'P400', {'concept': 'Q676202'}]
SELECT DISTINCT ?a WHERE { ?a rdf:type ontology:Q676202 . resource:Q6483600 property:P400 ?a }
DOS
DOS
DOS
action filter_type
action find
entity Lancelot
relation platform
type system software
['Lancelot', 'platform', {'concept': 'system software'}]
SELECT DISTINCT ?a WHERE { ?a rdf:type ontology:system_software . resource:Lancelot property:platform ?a }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q6483600
P178
Q43229
USER
Which organization developed Lancelot ?
(Q6483600,P178,c(Q43229))
action filter_type
action find
entity Q6483600
relation P178
type Q43229
['Q6483600', 'P178', {'concept': 'Q43229'}]
SELECT DISTINCT ?q WHERE { resource:Q6483600 property:P178 ?q . ?q rdf:type ontology:Q43229 }
Lancelot
action filter_type
action find
entity Lancelot
relation developer
type organization
['Lancelot', 'developer', {'concept': 'organization'}]
SELECT DISTINCT ?q WHERE { resource:Lancelot property:developer ?q . ?q rdf:type ontology:organization }
[]
organization
Q940646
SYSTEM
Level 9 Computing
Q940646
(Q6483600,P178,c(Q43229))
action filter_type
action find
entity Q6483600
relation P178
type Q43229
[ANSWER] developed Lancelot
['Q6483600', 'P178', {'concept': 'Q43229'}]
SELECT DISTINCT ?q WHERE { resource:Q6483600 property:P178 ?q . ?q rdf:type ontology:Q43229 }
Level 9 Computing
Level 9 Computing developed Lancelot
Level 9 Computing
action filter_type
action find
entity Lancelot
relation developer
type organization
['Lancelot', 'developer', {'concept': 'organization'}]
SELECT DISTINCT ?q WHERE { resource:Lancelot property:developer ?q . ?q rdf:type ontology:organization }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q6483600
P437
Q340169
USER
What was the method of distribution of Lancelot ?
(Q6483600,P437,c(Q340169))
action filter_type
action find
entity Q6483600
relation P437
type Q340169
['Q6483600', 'P437', {'concept': 'Q340169'}]
SELECT DISTINCT ?g WHERE { resource:Q6483600 property:P437 ?g . ?g rdf:type ontology:Q340169 }
Lancelot
action filter_type
action find
entity Lancelot
relation distribution
type media
['Lancelot', 'distribution', {'concept': 'media'}]
SELECT DISTINCT ?g WHERE { resource:Lancelot property:distribution ?g . ?g rdf:type ontology:media }
[]
media
Q149757
SYSTEM
compact cassette
Q149757
(Q6483600,P437,c(Q340169))
action filter_type
action find
entity Q6483600
relation P437
type Q340169
The method of distribution of Lancelot was [ANSWER]
['Q6483600', 'P437', {'concept': 'Q340169'}]
SELECT DISTINCT ?g WHERE { resource:Q6483600 property:P437 ?g . ?g rdf:type ontology:Q340169 }
compact cassette
The method of distribution of Lancelot was compact cassette
compact cassette
action filter_type
action find
entity Lancelot
relation distribution
type media
['Lancelot', 'distribution', {'concept': 'media'}]
SELECT DISTINCT ?g WHERE { resource:Lancelot property:distribution ?g . ?g rdf:type ontology:media }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q149757 Q6680174
P437
Q166142
USER
Does Lords of Karma a distributed via that media ?
(Q6680174,P437,Q149757)
action is_in
entity Q149757
action find
entity Q6680174
relation P437
['Q6680174', 'P437', 'Q149757']
ASK WHERE { resource:Q6680174 property:P437 resource:Q149757 }
compact cassette Lords of Karma
action is_in
entity compact cassette
action find
entity Lords of Karma
relation distribution
['Lords of Karma', 'distribution', 'compact cassette']
ASK WHERE { resource:Lords_of_Karma property:distribution resource:compact_cassette }
[]
application
SYSTEM
YES
(Q6680174,P437,Q149757)
action is_in
entity Q149757
action find
entity Q6680174
relation P437
[ANSWER]
['Q6680174', 'P437', 'Q149757']
ASK WHERE { resource:Q6680174 property:P437 resource:Q149757 }
Yes
action is_in
entity compact cassette
action find
entity Lords of Karma
relation distribution
['Lords of Karma', 'distribution', 'compact cassette']
ASK WHERE { resource:Lords_of_Karma property:distribution resource:compact_cassette }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q7600963 Q6483600
P479
Q1183543
USER
Which devices were the means of input for Lancelot or Star Trek: Conquest ?
OR((Q6483600,P479,c(Q1183543)), (Q7600963,P479,c(Q1183543)))
action filter_type
action union
action find
entity Q6483600
relation P479
action find
entity Q7600963
relation P479
type Q1183543
{'OR': [['Q6483600', 'P479', {'concept': 'Q1183543'}], ['Q7600963', 'P479', {'concept': 'Q1183543'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Q6483600 property:P479 ?l } UNION { resource:Q7600963 property:P479 ?l } } . ?l rdf:type ontology:Q1183543 }
Star Trek: Conquest Lancelot
action filter_type
action union
action find
entity Lancelot
relation input device
action find
entity Star Trek: Conquest
relation input device
type device
{'OR': [['Lancelot', 'input device', {'concept': 'device'}], ['Star Trek: Conquest', 'input device', {'concept': 'device'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Lancelot property:input_device ?l } UNION { resource:Star_Trek:_Conquest property:input_device ?l } } . ?l rdf:type ontology:device }
[]
device
Q250 Q865422
SYSTEM
computer keyboard, game controller
Q250 Q865422
OR((Q6483600,P479,c(Q1183543)), (Q7600963,P479,c(Q1183543)))
action filter_type
action union
action find
entity Q6483600
relation P479
action find
entity Q7600963
relation P479
type Q1183543
[ANSWERS] were the means of input for Lancelot or Star Trek: Conquest
{'OR': [['Q6483600', 'P479', {'concept': 'Q1183543'}], ['Q7600963', 'P479', {'concept': 'Q1183543'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Q6483600 property:P479 ?l } UNION { resource:Q7600963 property:P479 ?l } } . ?l rdf:type ontology:Q1183543 }
computer keyboard game controller
Computer keyboard and game controller were the means of input for Lancelot or Star Trek: Conquest
computer keyboard game controller
action filter_type
action union
action find
entity Lancelot
relation input device
action find
entity Star Trek: Conquest
relation input device
type device
{'OR': [['Lancelot', 'input device', {'concept': 'device'}], ['Star Trek: Conquest', 'input device', {'concept': 'device'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Lancelot property:input_device ?l } UNION { resource:Star_Trek:_Conquest property:input_device ?l } } . ?l rdf:type ontology:device }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q49740
P479
Q166142
USER
Does Minecraft use those devices as a means of input ?
(Q49740,P479,Q250) (Q49740,P479,Q865422)
action is_in
entity prev_answer
action find
entity Q49740
relation P479
['Q49740', 'P479', 'Q250'] ['Q49740', 'P479', 'Q865422']
ASK WHERE { resource:Q49740 property:P479 ?q . VALUES ( ?q ) { ( resource:Q250 ) ( resource:Q865422 ) } }
Minecraft
action is_in
entity prev_answer
action find
entity Minecraft
relation input device
['Minecraft', 'input device', 'computer keyboard'] ['Minecraft', 'input device', 'game controller']
ASK WHERE { resource:Minecraft property:input_device ?q . VALUES ( ?q ) { ( resource:computer_keyboard ) ( resource:game_controller ) } }
[]
application
SYSTEM
YES
(Q49740,P479,Q250) (Q49740,P479,Q865422)
action is_in
entity prev_answer
action find
entity Q49740
relation P479
[ANSWER]
['Q49740', 'P479', 'Q250'] ['Q49740', 'P479', 'Q865422']
ASK WHERE { resource:Q49740 property:P479 ?q . VALUES ( ?q ) { ( resource:Q250 ) ( resource:Q865422 ) } }
Yes
action is_in
entity prev_answer
action find
entity Minecraft
relation input device
['Minecraft', 'input device', 'computer keyboard'] ['Minecraft', 'input device', 'game controller']
ASK WHERE { resource:Minecraft property:input_device ?q . VALUES ( ?q ) { ( resource:computer_keyboard ) ( resource:game_controller ) } }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q49740
P287
Q502895
USER
Who designed that application ?
action filter_type
action find
entity Q49740
relation P287
type Q502895
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q502895 . resource:Q49740 property:P287 ?s }
Minecraft
action filter_type
action find
entity Minecraft
relation designer
type common name
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:common_name . resource:Minecraft property:designer ?s }
[]
common name
Q266224 Q167056
SYSTEM
Markus Persson, Jens Bergensten
Q266224 Q167056
action filter_type
action find
entity Q49740
relation P287
type Q502895
[ANSWERS] designed that application
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q502895 . resource:Q49740 property:P287 ?s }
Markus Persson Jens Bergensten
Markus Persson and Jens Bergensten designed that application
Markus Persson Jens Bergensten
action filter_type
action find
entity Minecraft
relation designer
type common name
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:common_name . resource:Minecraft property:designer ?s }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q5240345
P248
Q5292 Q223393 Q502895
USER
Which people have been acknowledged in more number of encyclopedias or literary genres than David Thomas ?
(c(Q502895),P248,c(Q5292)|c(Q223393))
action greater
action union
action find_tuple_counts
relation P248
type Q502895
type Q5292
action find_tuple_counts
relation P248
type Q502895
type Q223393
action count
action filter_multi_types
action find
entity Q5240345
relation P248
type Q5292
type Q223393
[{'concept': 'Q502895'}, 'P248', [{'concept': 'Q5292'}, {'concept': 'Q223393'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?j ) ?d WHERE { { ?d property:P248 ?a . ?d rdf:type ontology:Q502895 . ?a rdf:type ontology:Q223393 } UNION { ?d property:P248 ?a . ?d rdf:type ontology:Q502895 . ?a rdf:type ontology:Q5292 } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?m ) WHERE { { ?x rdf:type ?y . VALUES ( ?y ) { ( ontology:Q5292 ) ( ontology:Q223393 ) } } . resource:Q5240345 property:P248 ?x } } . FILTER ( ?j > ?m ) }
David Thomas
action greater
action union
action find_tuple_counts
relation stated in
type common name
type encyclopedia
action find_tuple_counts
relation stated in
type common name
type literary genre
action count
action filter_multi_types
action find
entity David Thomas
relation stated in
type encyclopedia
type literary genre
[{'concept': 'common name'}, 'stated in', [{'concept': 'encyclopedia'}, {'concept': 'literary genre'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?j ) ?d WHERE { { ?d property:stated_in ?a . ?d rdf:type ontology:common_name . ?a rdf:type ontology:literary_genre } UNION { ?d property:stated_in ?a . ?d rdf:type ontology:common_name . ?a rdf:type ontology:encyclopedia } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?m ) WHERE { { ?x rdf:type ?y . VALUES ( ?y ) { ( ontology:encyclopedia ) ( ontology:literary_genre ) } } . resource:David_Thomas property:stated_in ?x } } . FILTER ( ?j > ?m ) }
[]
encyclopedia literary genre common name
Q333770 Q661947 Q6130313
SYSTEM
Victorinus, John Davies, James Brown
Q5239879 Q16013737 Q6237329 Q16011002 Q6262994 Q15996304 Q16225368 Q6221407 Q7351119 Q16026267 Q10978488 Q1879480 Q661947 Q16023331 Q5241202 Q6130313 Q6255174 Q6255172 Q7351121 Q6237337 Q6255426 Q5232850 Q8018834 Q16015315 Q8004402 Q5537303 Q11154564 Q704916 Q5606271 Q5606273 Q5144956 Q6221434 Q16062311 Q15995818 Q16194812 Q15485947 Q6246958 Q16043626 Q6255177 Q6221432 Q5144950 Q6255170 Q5239886 Q5233458 Q6255179 Q6262982 Q6262980 Q6244744 Q16095641 Q5233469 Q333770 Q8019367
(c(Q502895),P248,c(Q5292)|c(Q223393))
action greater
action union
action find_tuple_counts
relation P248
type Q502895
type Q5292
action find_tuple_counts
relation P248
type Q502895
type Q223393
action count
action filter_multi_types
action find
entity Q5240345
relation P248
type Q5292
type Q223393
[ANSWERS] have been acknowledged in more number of encyclopedias or literary genres than David Thomas
[{'concept': 'Q502895'}, 'P248', [{'concept': 'Q5292'}, {'concept': 'Q223393'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?j ) ?d WHERE { { ?d property:P248 ?a . ?d rdf:type ontology:Q502895 . ?a rdf:type ontology:Q223393 } UNION { ?d property:P248 ?a . ?d rdf:type ontology:Q502895 . ?a rdf:type ontology:Q5292 } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?m ) WHERE { { ?x rdf:type ?y . VALUES ( ?y ) { ( ontology:Q5292 ) ( ontology:Q223393 ) } } . resource:Q5240345 property:P248 ?x } } . FILTER ( ?j > ?m ) }
David Smith John Roberts John Hall John Parker John Ward John Martin John Rogers John Bell Robert Williams John Rogers John Jackson Léonard Limousin John Davies William Walker David Wilson James Brown John Roberts John Roberts Robert Williams John Hall John Rogers David Davies William Stewart David Thomas William Anderson George Brown David Evans Li Ruihuan Greg Smith Greg Smith Colin Campbell John Bell John Martin John Thompson David Smith John Walker John Martin William Thompson John Roberts John Bell Colin Campbell John Roberts David Smith David Evans John Roberts John Ward John Ward John Lewis John Hall David Evans Victorinus William Thompson
Victorinus, John Davies and James Brown have been acknowledged in more number of encyclopedias or literary genres than David Thomas
Victorinus John Davies James Brown
action greater
action union
action find_tuple_counts
relation stated in
type common name
type encyclopedia
action find_tuple_counts
relation stated in
type common name
type literary genre
action count
action filter_multi_types
action find
entity David Thomas
relation stated in
type encyclopedia
type literary genre
[{'concept': 'common name'}, 'stated in', [{'concept': 'encyclopedia'}, {'concept': 'literary genre'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?j ) ?d WHERE { { ?d property:stated_in ?a . ?d rdf:type ontology:common_name . ?a rdf:type ontology:literary_genre } UNION { ?d property:stated_in ?a . ?d rdf:type ontology:common_name . ?a rdf:type ontology:encyclopedia } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?m ) WHERE { { ?x rdf:type ?y . VALUES ( ?y ) { ( ontology:encyclopedia ) ( ontology:literary_genre ) } } . resource:David_Thomas property:stated_in ?x } } . FILTER ( ?j > ?m ) }
[]