Simple Question (Direct)
Simple Question
Q2914828
P20
Q56061
USER
Which administrative territory is the place of death of Yakov Smushkevich ?
(Q2914828,P20,c(Q56061))
action filter_type
action find
entity Q2914828
relation P20
type Q56061
['Q2914828', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?b WHERE { resource:Q2914828 property:P20 ?b . ?b rdf:type ontology:Q56061 }
Yakov Smushkevich
action filter_type
action find
entity Yakov Smushkevich
relation place of death
type administrative territorial entity
['Yakov Smushkevich', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { resource:Yakov_Smushkevich property:place_of_death ?b . ?b rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q649
SYSTEM
Moscow
Q649
(Q2914828,P20,c(Q56061))
action filter_type
action find
entity Q2914828
relation P20
type Q56061
[ANSWER] is the place of death of Yakov Smushkevich
['Q2914828', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?b WHERE { resource:Q2914828 property:P20 ?b . ?b rdf:type ontology:Q56061 }
Moscow
Moscow is the place of death of Yakov Smushkevich
Moscow
action filter_type
action find
entity Yakov Smushkevich
relation place of death
type administrative territorial entity
['Yakov Smushkevich', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { resource:Yakov_Smushkevich property:place_of_death ?b . ?b rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q2914828
P27
Q7275
USER
Which state is the country of citizenship of Yakov Smushkevich ?
(Q2914828,P27,c(Q7275))
action filter_type
action find
entity Q2914828
relation P27
type Q7275
['Q2914828', 'P27', {'concept': 'Q7275'}]
SELECT DISTINCT ?t WHERE { resource:Q2914828 property:P27 ?t . ?t rdf:type ontology:Q7275 }
Yakov Smushkevich
action filter_type
action find
entity Yakov Smushkevich
relation country of citizenship
type state
['Yakov Smushkevich', 'country of citizenship', {'concept': 'state'}]
SELECT DISTINCT ?t WHERE { resource:Yakov_Smushkevich property:country_of_citizenship ?t . ?t rdf:type ontology:state }
[]
state
Q15180
SYSTEM
Soviet Union
Q15180
(Q2914828,P27,c(Q7275))
action filter_type
action find
entity Q2914828
relation P27
type Q7275
The [ANSWER] is the country of citizenship of Yakov Smushkevich
['Q2914828', 'P27', {'concept': 'Q7275'}]
SELECT DISTINCT ?t WHERE { resource:Q2914828 property:P27 ?t . ?t rdf:type ontology:Q7275 }
Soviet Union
The Soviet Union is the country of citizenship of Yakov Smushkevich
Soviet Union
action filter_type
action find
entity Yakov Smushkevich
relation country of citizenship
type state
['Yakov Smushkevich', 'country of citizenship', {'concept': 'state'}]
SELECT DISTINCT ?t WHERE { resource:Yakov_Smushkevich property:country_of_citizenship ?t . ?t rdf:type ontology:state }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q15180
P36
Q56061
USER
Which administrative territory is associated to that state as the capital ?
(Q15180,P36,c(Q56061))
action filter_type
action find
entity Q15180
relation P36
type Q56061
['Q15180', 'P36', {'concept': 'Q56061'}]
SELECT DISTINCT ?w WHERE { resource:Q15180 property:P36 ?w . ?w rdf:type ontology:Q56061 }
Soviet Union
action filter_type
action find
entity Soviet Union
relation capital
type administrative territorial entity
['Soviet Union', 'capital', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?w WHERE { resource:Soviet_Union property:capital ?w . ?w rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q649
SYSTEM
Moscow
Q649
(Q15180,P36,c(Q56061))
action filter_type
action find
entity Q15180
relation P36
type Q56061
[ANSWER] is associated to that state as the capital
['Q15180', 'P36', {'concept': 'Q56061'}]
SELECT DISTINCT ?w WHERE { resource:Q15180 property:P36 ?w . ?w rdf:type ontology:Q56061 }
Moscow
Moscow is associated to that state as the capital
Moscow
action filter_type
action find
entity Soviet Union
relation capital
type administrative territorial entity
['Soviet Union', 'capital', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?w WHERE { resource:Soviet_Union property:capital ?w . ?w rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q15180
P137
Q40218
USER
Which spacecrafts can be described as service operator of that state ?
(c(Q40218),P137,Q649)
action filter_type
action find_reverse
entity Q15180
relation P137
type Q40218
[{'concept': 'Q40218'}, 'P137', 'Q649']
SELECT DISTINCT ?u WHERE { ?u property:P137 resource:Q15180 . ?u rdf:type ontology:Q40218 }
Soviet Union
action filter_type
action find_reverse
entity Soviet Union
relation operator
type spacecraft
[{'concept': 'spacecraft'}, 'operator', 'Moscow']
SELECT DISTINCT ?u WHERE { ?u property:operator resource:Soviet_Union . ?u rdf:type ontology:spacecraft }
[]
spacecraft
Q836463 Q80811 Q247305
SYSTEM
Venera 10, Sputnik 1, Mars 2
Q836463 Q80811 Q247305
(c(Q40218),P137,Q649)
action filter_type
action find_reverse
entity Q15180
relation P137
type Q40218
[ANSWERS] can be described as service operator of that state
[{'concept': 'Q40218'}, 'P137', 'Q649']
SELECT DISTINCT ?u WHERE { ?u property:P137 resource:Q15180 . ?u rdf:type ontology:Q40218 }
Venera 10 Sputnik 1 Mars 2
Venera 10, Sputnik 1 and Mars 2 can be described as service operator of that state
Venera 10 Sputnik 1 Mars 2
action filter_type
action find_reverse
entity Soviet Union
relation operator
type spacecraft
[{'concept': 'spacecraft'}, 'operator', 'Moscow']
SELECT DISTINCT ?u WHERE { ?u property:operator resource:Soviet_Union . ?u rdf:type ontology:spacecraft }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q60599
P375
Q41291 Q40218
USER
Which rockets were used as the carrier rocket for more number of spacecrafts than H-IIA ?
(c(Q40218),P375,c(Q41291))
action greater
action find_reverse_tuple_counts
relation P375
type Q41291
type Q40218
action count
action filter_type
action find
entity Q60599
relation P375
type Q41291
[{'concept': 'Q40218'}, 'P375', {'concept': 'Q41291'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?q ) WHERE { resource:Q60599 property:P375 ?l . ?l rdf:type ontology:Q41291 } } . FILTER ( ?d > ?q ) . { SELECT DISTINCT ?a ( COUNT ( ?p ) AS ?d ) WHERE { ?p property:P375 ?a . ?a rdf:type ontology:Q41291 . ?p rdf:type ontology:Q40218 } GROUP BY ?a } }
H-IIA
action greater
action find_reverse_tuple_counts
relation space launch vehicle
type rocket
type spacecraft
action count
action filter_type
action find
entity H-IIA
relation space launch vehicle
type rocket
[{'concept': 'spacecraft'}, 'space launch vehicle', {'concept': 'rocket'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?q ) WHERE { resource:H-IIA property:space_launch_vehicle ?l . ?l rdf:type ontology:rocket } } . FILTER ( ?d > ?q ) . { SELECT DISTINCT ?a ( COUNT ( ?p ) AS ?d ) WHERE { ?p property:space_launch_vehicle ?a . ?a rdf:type ontology:rocket . ?p rdf:type ontology:spacecraft } GROUP BY ?a } }
[]
rocket spacecraft
Q22938 Q49674 Q53710
SYSTEM
Atlas-Agena, Dnepr-1, Long March 2F
Q22938 Q49674 Q53710
(c(Q40218),P375,c(Q41291))
action greater
action find_reverse_tuple_counts
relation P375
type Q41291
type Q40218
action count
action filter_type
action find
entity Q60599
relation P375
type Q41291
[ANSWERS] were used as the carrier rocket for more number of spacecrafts than H-IIA
[{'concept': 'Q40218'}, 'P375', {'concept': 'Q41291'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?q ) WHERE { resource:Q60599 property:P375 ?l . ?l rdf:type ontology:Q41291 } } . FILTER ( ?d > ?q ) . { SELECT DISTINCT ?a ( COUNT ( ?p ) AS ?d ) WHERE { ?p property:P375 ?a . ?a rdf:type ontology:Q41291 . ?p rdf:type ontology:Q40218 } GROUP BY ?a } }
Atlas-Agena Dnepr-1 Long March 2F
Atlas-Agena, Dnepr-1 and Long March 2F were used as the carrier rocket for more number of spacecrafts than H-IIA
Atlas-Agena Dnepr-1 Long March 2F
action greater
action find_reverse_tuple_counts
relation space launch vehicle
type rocket
type spacecraft
action count
action filter_type
action find
entity H-IIA
relation space launch vehicle
type rocket
[{'concept': 'spacecraft'}, 'space launch vehicle', {'concept': 'rocket'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?q ) WHERE { resource:H-IIA property:space_launch_vehicle ?l . ?l rdf:type ontology:rocket } } . FILTER ( ?d > ?q ) . { SELECT DISTINCT ?a ( COUNT ( ?p ) AS ?d ) WHERE { ?p property:space_launch_vehicle ?a . ?a rdf:type ontology:rocket . ?p rdf:type ontology:spacecraft } GROUP BY ?a } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q128683
P375
Q41291 Q40218
USER
And also tell me about Antares?
(c(Q40218),P375,c(Q41291))
action greater
action find_reverse_tuple_counts
relation P375
type Q41291
type Q40218
action count
action filter_type
action find
entity Q128683
relation P375
type Q41291
[{'concept': 'Q40218'}, 'P375', {'concept': 'Q41291'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?r ) WHERE { ?c rdf:type ontology:Q41291 . resource:Q128683 property:P375 ?c } } . FILTER ( ?z > ?r ) . { SELECT DISTINCT ?g ( COUNT ( ?j ) AS ?z ) WHERE { ?j property:P375 ?g . ?j rdf:type ontology:Q40218 . ?g rdf:type ontology:Q41291 } GROUP BY ?g } }
Antares
action greater
action find_reverse_tuple_counts
relation space launch vehicle
type rocket
type spacecraft
action count
action filter_type
action find
entity Antares
relation space launch vehicle
type rocket
[{'concept': 'spacecraft'}, 'space launch vehicle', {'concept': 'rocket'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?r ) WHERE { ?c rdf:type ontology:rocket . resource:Antares property:space_launch_vehicle ?c } } . FILTER ( ?z > ?r ) . { SELECT DISTINCT ?g ( COUNT ( ?j ) AS ?z ) WHERE { ?j property:space_launch_vehicle ?g . ?j rdf:type ontology:spacecraft . ?g rdf:type ontology:rocket } GROUP BY ?g } }
[]
rocket spacecraft
Q201032 Q22938 Q767119
SYSTEM
Taurus, Atlas-Agena, Thor-Delta
Q22938 Q767119 Q60599 Q201032 Q3303767 Q49674 Q53710
(c(Q40218),P375,c(Q41291))
action greater
action find_reverse_tuple_counts
relation P375
type Q41291
type Q40218
action count
action filter_type
action find
entity Q128683
relation P375
type Q41291
[ANSWERS]
[{'concept': 'Q40218'}, 'P375', {'concept': 'Q41291'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?r ) WHERE { ?c rdf:type ontology:Q41291 . resource:Q128683 property:P375 ?c } } . FILTER ( ?z > ?r ) . { SELECT DISTINCT ?g ( COUNT ( ?j ) AS ?z ) WHERE { ?j property:P375 ?g . ?j rdf:type ontology:Q40218 . ?g rdf:type ontology:Q41291 } GROUP BY ?g } }
Atlas-Agena Thor-Delta H-IIA Taurus Vostok-K Dnepr-1 Long March 2F
Taurus Atlas-Agena Thor-Delta
action greater
action find_reverse_tuple_counts
relation space launch vehicle
type rocket
type spacecraft
action count
action filter_type
action find
entity Antares
relation space launch vehicle
type rocket
[{'concept': 'spacecraft'}, 'space launch vehicle', {'concept': 'rocket'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?r ) WHERE { ?c rdf:type ontology:rocket . resource:Antares property:space_launch_vehicle ?c } } . FILTER ( ?z > ?r ) . { SELECT DISTINCT ?g ( COUNT ( ?j ) AS ?z ) WHERE { ?j property:space_launch_vehicle ?g . ?j rdf:type ontology:spacecraft . ?g rdf:type ontology:rocket } GROUP BY ?g } }
[]
Clarification
Simple Question|Single Entity|Indirect
Q22938
P17
Q15617994
USER
Which administrative territory is that rocket situated in ?
(Q22938,P17,c(Q15617994))
action filter_type
action find
entity Q22938
relation P17
type Q15617994
['Q22938', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { resource:Q22938 property:P17 ?u . ?u rdf:type ontology:Q15617994 }
Atlas-Agena
action filter_type
action find
entity Atlas-Agena
relation country
type designation for an administrative territorial entity
['Atlas-Agena', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Atlas-Agena property:country ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Clarification for simple ques.
Q767119
SYSTEM
Did you mean Thor-Delta ?
Q201032 Q22938 Q767119
(Q201032,P17,c(Q15617994)) (Q22938,P17,c(Q15617994)) (Q767119,P17,c(Q15617994))
[ANSWER]
['Q201032', 'P17', {'concept': 'Q15617994'}] ['Q22938', 'P17', {'concept': 'Q15617994'}] ['Q767119', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { resource:Q22938 property:P17 ?u . ?u rdf:type ontology:Q15617994 }
Taurus Atlas-Agena Thor-Delta
Did you mean Thor-Delta ?
Thor-Delta
['Taurus', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Atlas-Agena', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Thor-Delta', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Atlas-Agena property:country ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
USER
No, I meant Atlas-Agena. Could you tell me the answer for that?
(Q22938,P17,c(Q15617994))
Q22938
['Q22938', 'P17', {'concept': 'Q15617994'}]
['Atlas-Agena', 'country', {'concept': 'designation for an administrative territorial entity'}]
[]
Q30
SYSTEM
United States of America
Q30
(Q22938,P17,c(Q15617994))
action filter_type
action find
entity Q22938
relation P17
type Q15617994
That rocket is situated in [ANSWER]
['Q22938', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { resource:Q22938 property:P17 ?u . ?u rdf:type ontology:Q15617994 }
United States of America
That rocket is situated in United States of America
United States of America
action filter_type
action find
entity Atlas-Agena
relation country
type designation for an administrative territorial entity
['Atlas-Agena', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Atlas-Agena property:country ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Indirect
P495
Q15617994 Q2031291 Q7725634
USER
Which administrative territories did approximately the same number of releases or literary works originate as that administrative territory ?
(c(Q2031291)|c(Q7725634),P495,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q2031291
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q7725634
action count
action filter_multi_types
action find_reverse
entity Q30
relation P495
type Q2031291
type Q7725634
[[{'concept': 'Q2031291'}, {'concept': 'Q7725634'}], 'P495', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?h ) ?x WHERE { VALUES ( ?e ) { ( ontology:Q2031291 ) ( ontology:Q7725634 ) } . ?k rdf:type ?e } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?m ) WHERE { ?a property:P495 resource:Q30 . { ?a rdf:type ?j . VALUES ( ?j ) { ( ontology:Q7725634 ) ( ontology:Q2031291 ) } } } } . FILTER ( ?h = ?m ) }
action approx
action union
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type release
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type literary work
action count
action filter_multi_types
action find_reverse
entity United States of America
relation country of origin
type release
type literary work
[[{'concept': 'release'}, {'concept': 'literary work'}], 'country of origin', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?h ) ?x WHERE { VALUES ( ?e ) { ( ontology:release ) ( ontology:literary_work ) } . ?k rdf:type ?e } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?m ) WHERE { ?a property:country_of_origin resource:United_States_of_America . { ?a rdf:type ?j . VALUES ( ?j ) { ( ontology:literary_work ) ( ontology:release ) } } } } . FILTER ( ?h = ?m ) }
[]
designation for an administrative territorial entity release literary work
Q30
SYSTEM
United States of America
Q30
(c(Q2031291)|c(Q7725634),P495,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q2031291
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q7725634
action count
action filter_multi_types
action find_reverse
entity Q30
relation P495
type Q2031291
type Q7725634
The [ANSWER] approximately the same number of releases or literary works originated as that administrative territory
[[{'concept': 'Q2031291'}, {'concept': 'Q7725634'}], 'P495', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?h ) ?x WHERE { VALUES ( ?e ) { ( ontology:Q2031291 ) ( ontology:Q7725634 ) } . ?k rdf:type ?e } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?m ) WHERE { ?a property:P495 resource:Q30 . { ?a rdf:type ?j . VALUES ( ?j ) { ( ontology:Q7725634 ) ( ontology:Q2031291 ) } } } } . FILTER ( ?h = ?m ) }
United States of America
The United States of America approximately the same number of releases or literary works originated as that administrative territory
United States of America
action approx
action union
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type release
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type literary work
action count
action filter_multi_types
action find_reverse
entity United States of America
relation country of origin
type release
type literary work
[[{'concept': 'release'}, {'concept': 'literary work'}], 'country of origin', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?h ) ?x WHERE { VALUES ( ?e ) { ( ontology:release ) ( ontology:literary_work ) } . ?k rdf:type ?e } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?m ) WHERE { ?a property:country_of_origin resource:United_States_of_America . { ?a rdf:type ?j . VALUES ( ?j ) { ( ontology:literary_work ) ( ontology:release ) } } } } . FILTER ( ?h = ?m ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q80811
P180
Q838948
USER
Which work of art expressess Sputnik 1 ?
(c(Q838948),P180,Q80811)
action filter_type
action find_reverse
entity Q80811
relation P180
type Q838948
[{'concept': 'Q838948'}, 'P180', 'Q80811']
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q838948 . ?s property:P180 resource:Q80811 }
Sputnik 1
action filter_type
action find_reverse
entity Sputnik 1
relation depicts
type work of art
[{'concept': 'work of art'}, 'depicts', 'Sputnik 1']
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:work_of_art . ?s property:depicts resource:Sputnik_1 }
[]
work of art
Q4349901
SYSTEM
Monument to the First Satellite
Q4349901
(c(Q838948),P180,Q80811)
action filter_type
action find_reverse
entity Q80811
relation P180
type Q838948
PROBLEM SINGULARIZE
[{'concept': 'Q838948'}, 'P180', 'Q80811']
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q838948 . ?s property:P180 resource:Q80811 }
Monument to the First Satellite
PROBLEM SINGULARIZE
Monument to the First Satellite
action filter_type
action find_reverse
entity Sputnik 1
relation depicts
type work of art
[{'concept': 'work of art'}, 'depicts', 'Sputnik 1']
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:work_of_art . ?s property:depicts resource:Sputnik_1 }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q80811
P825
Q838948
USER
What is dedicated to that spacecraft ?
(c(Q838948),P825,Q4349901)
action filter_type
action find_reverse
entity Q80811
relation P825
type Q838948
[{'concept': 'Q838948'}, 'P825', 'Q4349901']
SELECT DISTINCT ?f WHERE { ?f property:P825 resource:Q80811 . ?f rdf:type ontology:Q838948 }
Sputnik 1
action filter_type
action find_reverse
entity Sputnik 1
relation dedicated to
type work of art
[{'concept': 'work of art'}, 'dedicated to', 'Monument to the First Satellite']
SELECT DISTINCT ?f WHERE { ?f property:dedicated_to resource:Sputnik_1 . ?f rdf:type ontology:work_of_art }
[]
work of art
Q4349901
SYSTEM
Monument to the First Satellite
Q4349901
(c(Q838948),P825,Q4349901)
action filter_type
action find_reverse
entity Q80811
relation P825
type Q838948
[ANSWER] is dedicated to that spacecraft
[{'concept': 'Q838948'}, 'P825', 'Q4349901']
SELECT DISTINCT ?f WHERE { ?f property:P825 resource:Q80811 . ?f rdf:type ontology:Q838948 }
Monument to the First Satellite
Monument to the First Satellite is dedicated to that spacecraft
Monument to the First Satellite
action filter_type
action find_reverse
entity Sputnik 1
relation dedicated to
type work of art
[{'concept': 'work of art'}, 'dedicated to', 'Monument to the First Satellite']
SELECT DISTINCT ?f WHERE { ?f property:dedicated_to resource:Sputnik_1 . ?f rdf:type ontology:work_of_art }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q4349901 Q159
P17
Q15617994
USER
Is that work of art located in Russia ?
(Q4349901,P17,Q159)
action is_in
entity Q159
action find
entity Q4349901
relation P17
['Q4349901', 'P17', 'Q159']
ASK WHERE { resource:Q4349901 property:P17 resource:Q159 }
Monument to the First Satellite Russia
action is_in
entity Russia
action find
entity Monument to the First Satellite
relation country
['Monument to the First Satellite', 'country', 'Russia']
ASK WHERE { resource:Monument_to_the_First_Satellite property:country resource:Russia }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q4349901,P17,Q159)
action is_in
entity Q159
action find
entity Q4349901
relation P17
[ANSWER]
['Q4349901', 'P17', 'Q159']
ASK WHERE { resource:Q4349901 property:P17 resource:Q159 }
Yes
action is_in
entity Russia
action find
entity Monument to the First Satellite
relation country
['Monument to the First Satellite', 'country', 'Russia']
ASK WHERE { resource:Monument_to_the_First_Satellite property:country resource:Russia }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q1890458
P520
Q41291 Q197 Q2235308
USER
Which rockets are used as a weapon by lesser number of airplanes and ship types than S-13 ?
(c(Q197)|c(Q2235308),P520,c(Q41291))
action less
action union
action find_reverse_tuple_counts
relation P520
type Q41291
type Q197
action find_reverse_tuple_counts
relation P520
type Q41291
type Q2235308
action count
action filter_multi_types
action find_reverse
entity Q1890458
relation P520
type Q197
type Q2235308
[[{'concept': 'Q197'}, {'concept': 'Q2235308'}], 'P520', {'concept': 'Q41291'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) ?x WHERE { ?z rdf:type ?d . VALUES ( ?d ) { ( ontology:Q197 ) ( ontology:Q2235308 ) } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?u ) AS ?l ) WHERE { ?u property:P520 resource:Q1890458 . { ?u rdf:type ?o . VALUES ( ?o ) { ( ontology:Q197 ) ( ontology:Q2235308 ) } } } } . FILTER ( ?a < ?l ) }
S-13
action less
action union
action find_reverse_tuple_counts
relation armament
type rocket
type airplane
action find_reverse_tuple_counts
relation armament
type rocket
type ship type
action count
action filter_multi_types
action find_reverse
entity S-13
relation armament
type airplane
type ship type
[[{'concept': 'airplane'}, {'concept': 'ship type'}], 'armament', {'concept': 'rocket'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) ?x WHERE { ?z rdf:type ?d . VALUES ( ?d ) { ( ontology:airplane ) ( ontology:ship_type ) } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?u ) AS ?l ) WHERE { ?u property:armament resource:S-13 . { ?u rdf:type ?o . VALUES ( ?o ) { ( ontology:airplane ) ( ontology:ship_type ) } } } } . FILTER ( ?a < ?l ) }
[]
rocket airplane ship type
Q82380 Q4402879 Q650961
SYSTEM
Hydra 70h, S-24, S-25
Q82380 Q4402879 Q650961 Q2208199 Q2207395 Q44169
(c(Q197)|c(Q2235308),P520,c(Q41291))
action less
action union
action find_reverse_tuple_counts
relation P520
type Q41291
type Q197
action find_reverse_tuple_counts
relation P520
type Q41291
type Q2235308
action count
action filter_multi_types
action find_reverse
entity Q1890458
relation P520
type Q197
type Q2235308
[ANSWERS] are used as a weapon by lesser number of airplanes and ship types than S-13
[[{'concept': 'Q197'}, {'concept': 'Q2235308'}], 'P520', {'concept': 'Q41291'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) ?x WHERE { ?z rdf:type ?d . VALUES ( ?d ) { ( ontology:Q197 ) ( ontology:Q2235308 ) } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?u ) AS ?l ) WHERE { ?u property:P520 resource:Q1890458 . { ?u rdf:type ?o . VALUES ( ?o ) { ( ontology:Q197 ) ( ontology:Q2235308 ) } } } } . FILTER ( ?a < ?l ) }
Hydra 70h S-24 S-25 RPK-1 Vikhr SNEB Folding-Fin Aerial Rocket
Hydra 70h, S-24 and S-25 are used as a weapon by lesser number of airplanes and ship types than S-13
Hydra 70h S-24 S-25
action less
action union
action find_reverse_tuple_counts
relation armament
type rocket
type airplane
action find_reverse_tuple_counts
relation armament
type rocket
type ship type
action count
action filter_multi_types
action find_reverse
entity S-13
relation armament
type airplane
type ship type
[[{'concept': 'airplane'}, {'concept': 'ship type'}], 'armament', {'concept': 'rocket'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) ?x WHERE { ?z rdf:type ?d . VALUES ( ?d ) { ( ontology:airplane ) ( ontology:ship_type ) } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?u ) AS ?l ) WHERE { ?u property:armament resource:S-13 . { ?u rdf:type ?o . VALUES ( ?o ) { ( ontology:airplane ) ( ontology:ship_type ) } } } } . FILTER ( ?a < ?l ) }
[]