Simple Question (Direct)
Simple Question
Q2038494
P21
Q290
USER
Which sex does Herman Deinum have ?
(Q2038494,P21,c(Q290))
action filter_type
action find
entity Q2038494
relation P21
type Q290
['Q2038494', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:Q290 . resource:Q2038494 property:P21 ?d }
Herman Deinum
action filter_type
action find
entity Herman Deinum
relation gender
type sex
['Herman Deinum', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:sex . resource:Herman_Deinum property:gender ?d }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q2038494,P21,c(Q290))
action filter_type
action find
entity Q2038494
relation P21
type Q290
Herman Deinum has a [ANSWER]
['Q2038494', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:Q290 . resource:Q2038494 property:P21 ?d }
male
Herman Deinum has a male
male
action filter_type
action find
entity Herman Deinum
relation gender
type sex
['Herman Deinum', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:sex . resource:Herman_Deinum property:gender ?d }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q2038494
P1303
Q34379
USER
What musical instruments can Herman Deinum perform with ?
(Q2038494,P1303,c(Q34379))
action filter_type
action find
entity Q2038494
relation P1303
type Q34379
['Q2038494', 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ?e WHERE { resource:Q2038494 property:P1303 ?e . ?e rdf:type ontology:Q34379 }
Herman Deinum
action filter_type
action find
entity Herman Deinum
relation instrument
type musical instrument
['Herman Deinum', 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ?e WHERE { resource:Herman_Deinum property:instrument ?e . ?e rdf:type ontology:musical_instrument }
[]
musical instrument
Q8355 Q5994
SYSTEM
violin, piano
Q8355 Q5994
(Q2038494,P1303,c(Q34379))
action filter_type
action find
entity Q2038494
relation P1303
type Q34379
Herman Deinum can perform for [ANSWERS]
['Q2038494', 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ?e WHERE { resource:Q2038494 property:P1303 ?e . ?e rdf:type ontology:Q34379 }
violin piano
Herman Deinum can perform for violin and piano
violin piano
action filter_type
action find
entity Herman Deinum
relation instrument
type musical instrument
['Herman Deinum', 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ?e WHERE { resource:Herman_Deinum property:instrument ?e . ?e rdf:type ontology:musical_instrument }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q2038494
P27
Q15617994
USER
Which administrative territory is the native country of Herman Deinum ?
(Q2038494,P27,c(Q15617994))
action filter_type
action find
entity Q2038494
relation P27
type Q15617994
['Q2038494', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { resource:Q2038494 property:P27 ?u . ?u rdf:type ontology:Q15617994 }
Herman Deinum
action filter_type
action find
entity Herman Deinum
relation country of citizenship
type designation for an administrative territorial entity
['Herman Deinum', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Herman_Deinum property:country_of_citizenship ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q29999
SYSTEM
Kingdom of the Netherlands
Q29999
(Q2038494,P27,c(Q15617994))
action filter_type
action find
entity Q2038494
relation P27
type Q15617994
[ANSWER] is the native country of Herman Deinum
['Q2038494', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { resource:Q2038494 property:P27 ?u . ?u rdf:type ontology:Q15617994 }
Kingdom of the Netherlands
Kingdom of the Netherlands is the native country of Herman Deinum
Kingdom of the Netherlands
action filter_type
action find
entity Herman Deinum
relation country of citizenship
type designation for an administrative territorial entity
['Herman Deinum', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Herman_Deinum property:country_of_citizenship ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q2669966
Q15617994
USER
And how about Lambertus Zijl?
(Q2669966,P27,c(Q15617994))
action filter_type
action find
entity Q2669966
relation P27
type Q15617994
['Q2669966', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?s WHERE { resource:Q2669966 property:P27 ?s . ?s rdf:type ontology:Q15617994 }
Lambertus Zijl
action filter_type
action find
entity Lambertus Zijl
relation country of citizenship
type designation for an administrative territorial entity
['Lambertus Zijl', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Lambertus_Zijl property:country_of_citizenship ?s . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q29999
SYSTEM
Kingdom of the Netherlands
Q29999
(Q2669966,P27,c(Q15617994))
action filter_type
action find
entity Q2669966
relation P27
type Q15617994
[ANSWER]
['Q2669966', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?s WHERE { resource:Q2669966 property:P27 ?s . ?s rdf:type ontology:Q15617994 }
Kingdom of the Netherlands
Kingdom of the Netherlands
action filter_type
action find
entity Lambertus Zijl
relation country of citizenship
type designation for an administrative territorial entity
['Lambertus Zijl', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Lambertus_Zijl property:country_of_citizenship ?s . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q2669966 Q2474331
P1066
Q502895
USER
How many people are a student of Lambertus Zijl or 10832 Hazamashigetomi ?
(c(Q502895),P1066,Q2669966) (c(Q502895),P1066,Q2474331)
action count
action union
action filter_type
action find_reverse
entity Q2669966
relation P1066
type Q502895
action filter_type
action find_reverse
entity Q2474331
relation P1066
type Q502895
[{'concept': 'Q502895'}, 'P1066', 'Q2669966'] [{'concept': 'Q502895'}, 'P1066', 'Q2474331']
SELECT DISTINCT ( COUNT ( ?o ) AS ?f ) WHERE { { ?o property:P1066 resource:Q2669966 . ?o rdf:type ontology:Q502895 } UNION { ?o property:P1066 resource:Q2474331 . ?o rdf:type ontology:Q502895 } }
Lambertus Zijl 10832 Hazamashigetomi
action count
action union
action filter_type
action find_reverse
entity Lambertus Zijl
relation student of
type common name
action filter_type
action find_reverse
entity 10832 Hazamashigetomi
relation student of
type common name
[{'concept': 'common name'}, 'student of', 'Lambertus Zijl'] [{'concept': 'common name'}, 'student of', '10832 Hazamashigetomi']
SELECT DISTINCT ( COUNT ( ?o ) AS ?f ) WHERE { { ?o property:student_of resource:Lambertus_Zijl . ?o rdf:type ontology:common_name } UNION { ?o property:student_of resource:10832_Hazamashigetomi . ?o rdf:type ontology:common_name } }
[]
common name
SYSTEM
3
Q15734209 Q11546209 Q20963683
(c(Q502895),P1066,Q2669966) (c(Q502895),P1066,Q2474331)
action count
action union
action filter_type
action find_reverse
entity Q2669966
relation P1066
type Q502895
action filter_type
action find_reverse
entity Q2474331
relation P1066
type Q502895
[ANSWER]
[{'concept': 'Q502895'}, 'P1066', 'Q2669966'] [{'concept': 'Q502895'}, 'P1066', 'Q2474331']
SELECT DISTINCT ( COUNT ( ?o ) AS ?f ) WHERE { { ?o property:P1066 resource:Q2669966 . ?o rdf:type ontology:Q502895 } UNION { ?o property:P1066 resource:Q2474331 . ?o rdf:type ontology:Q502895 } }
Saar de Swart Takeda Shingen Anne van Zijp
3
action count
action union
action filter_type
action find_reverse
entity Lambertus Zijl
relation student of
type common name
action filter_type
action find_reverse
entity 10832 Hazamashigetomi
relation student of
type common name
[{'concept': 'common name'}, 'student of', 'Lambertus Zijl'] [{'concept': 'common name'}, 'student of', '10832 Hazamashigetomi']
SELECT DISTINCT ( COUNT ( ?o ) AS ?f ) WHERE { { ?o property:student_of resource:Lambertus_Zijl . ?o rdf:type ontology:common_name } UNION { ?o property:student_of resource:10832_Hazamashigetomi . ?o rdf:type ontology:common_name } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q1552240 Q29999
P47
Q1048835
USER
Which political territories are bordered by Kingdom of the Netherlands or Sueca ?
OR((Q29999,P47,c(Q1048835)), (Q1552240,P47,c(Q1048835)))
action filter_type
action union
action find
entity Q29999
relation P47
action find
entity Q1552240
relation P47
type Q1048835
{'OR': [['Q29999', 'P47', {'concept': 'Q1048835'}], ['Q1552240', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Q29999 property:P47 ?y } UNION { resource:Q1552240 property:P47 ?y } } . ?y rdf:type ontology:Q1048835 }
Sueca Kingdom of the Netherlands
action filter_type
action union
action find
entity Kingdom of the Netherlands
relation shares border with
action find
entity Sueca
relation shares border with
type political territorial entity
{'OR': [['Kingdom of the Netherlands', 'shares border with', {'concept': 'political territorial entity'}], ['Sueca', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Kingdom_of_the_Netherlands property:shares_border_with ?y } UNION { resource:Sueca property:shares_border_with ?y } } . ?y rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q951042 Q183 Q2041947 Q1552685 Q986733 Q633096 Q749696 Q2264681
SYSTEM
Riola, Germany, Llaurí, Polinyà de Xúquer, Cullera, Sollana, Albalat de la Ribera, Fortaleny
Q951042 Q183 Q2041947 Q1552685 Q986733 Q633096 Q749696 Q2264681
OR((Q29999,P47,c(Q1048835)), (Q1552240,P47,c(Q1048835)))
action filter_type
action union
action find
entity Q29999
relation P47
action find
entity Q1552240
relation P47
type Q1048835
[ANSWERS] are bordered by Kingdom of the Netherlands or Sueca
{'OR': [['Q29999', 'P47', {'concept': 'Q1048835'}], ['Q1552240', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Q29999 property:P47 ?y } UNION { resource:Q1552240 property:P47 ?y } } . ?y rdf:type ontology:Q1048835 }
Riola Germany Llaurí Polinyà de Xúquer Cullera Sollana Albalat de la Ribera Fortaleny
Riola, Germany, Llaurí, Polinyà de Xúquer, Cullera, Sollana, Albalat de la Ribera and Fortaleny are bordered by Kingdom of the Netherlands or Sueca
Riola Germany Llaurí Polinyà de Xúquer Cullera Sollana Albalat de la Ribera Fortaleny
action filter_type
action union
action find
entity Kingdom of the Netherlands
relation shares border with
action find
entity Sueca
relation shares border with
type political territorial entity
{'OR': [['Kingdom of the Netherlands', 'shares border with', {'concept': 'political territorial entity'}], ['Sueca', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Kingdom_of_the_Netherlands property:shares_border_with ?y } UNION { resource:Sueca property:shares_border_with ?y } } . ?y rdf:type ontology:political_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q1552240
P47
Q56061 Q1048835
USER
How many administrative territories or political territories share border with Sueca ?
(c(Q56061),P47,Q1552240) (c(Q1048835),P47,Q1552240)
action count
action union
action filter_type
action find_reverse
entity Q1552240
relation P47
type Q56061
action filter_type
action find_reverse
entity Q1552240
relation P47
type Q1048835
[{'concept': 'Q56061'}, 'P47', 'Q1552240'] [{'concept': 'Q1048835'}, 'P47', 'Q1552240']
SELECT DISTINCT ( COUNT ( ?l ) AS ?f ) WHERE { { ?l property:P47 resource:Q1552240 . ?l rdf:type ontology:Q1048835 } UNION { ?l property:P47 resource:Q1552240 . ?l rdf:type ontology:Q56061 } }
Sueca
action count
action union
action filter_type
action find_reverse
entity Sueca
relation shares border with
type administrative territorial entity
action filter_type
action find_reverse
entity Sueca
relation shares border with
type political territorial entity
[{'concept': 'administrative territorial entity'}, 'shares border with', 'Sueca'] [{'concept': 'political territorial entity'}, 'shares border with', 'Sueca']
SELECT DISTINCT ( COUNT ( ?l ) AS ?f ) WHERE { { ?l property:shares_border_with resource:Sueca . ?l rdf:type ontology:political_territorial_entity } UNION { ?l property:shares_border_with resource:Sueca . ?l rdf:type ontology:administrative_territorial_entity } }
[]
administrative territorial entity political territorial entity
SYSTEM
8
Q951042 Q2041947 Q1552685 Q986733 Q8818 Q749696 Q633096 Q2264681
(c(Q56061),P47,Q1552240) (c(Q1048835),P47,Q1552240)
action count
action union
action filter_type
action find_reverse
entity Q1552240
relation P47
type Q56061
action filter_type
action find_reverse
entity Q1552240
relation P47
type Q1048835
[ANSWER]
[{'concept': 'Q56061'}, 'P47', 'Q1552240'] [{'concept': 'Q1048835'}, 'P47', 'Q1552240']
SELECT DISTINCT ( COUNT ( ?l ) AS ?f ) WHERE { { ?l property:P47 resource:Q1552240 . ?l rdf:type ontology:Q1048835 } UNION { ?l property:P47 resource:Q1552240 . ?l rdf:type ontology:Q56061 } }
Riola Llaurí Polinyà de Xúquer Cullera Valencia Albalat de la Ribera Sollana Fortaleny
8
action count
action union
action filter_type
action find_reverse
entity Sueca
relation shares border with
type administrative territorial entity
action filter_type
action find_reverse
entity Sueca
relation shares border with
type political territorial entity
[{'concept': 'administrative territorial entity'}, 'shares border with', 'Sueca'] [{'concept': 'political territorial entity'}, 'shares border with', 'Sueca']
SELECT DISTINCT ( COUNT ( ?l ) AS ?f ) WHERE { { ?l property:shares_border_with resource:Sueca . ?l rdf:type ontology:political_territorial_entity } UNION { ?l property:shares_border_with resource:Sueca . ?l rdf:type ontology:administrative_territorial_entity } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q4134437 Q2264681
P17
Q15617994
USER
Which administrative territories are Fortaleny or Hvardiiske a part of ?
OR((Q2264681,P17,c(Q15617994)), (Q4134437,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q2264681
relation P17
action find
entity Q4134437
relation P17
type Q15617994
{'OR': [['Q2264681', 'P17', {'concept': 'Q15617994'}], ['Q4134437', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?k WHERE { { VALUES ( ?d ) { ( resource:Q2264681 ) ( resource:Q4134437 ) } . ?d property:P17 ?k } . ?k rdf:type ontology:Q15617994 }
Hvardiiske Fortaleny
action filter_type
action union
action find
entity Fortaleny
relation country
action find
entity Hvardiiske
relation country
type designation for an administrative territorial entity
{'OR': [['Fortaleny', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Hvardiiske', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?k WHERE { { VALUES ( ?d ) { ( resource:Fortaleny ) ( resource:Hvardiiske ) } . ?d property:country ?k } . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q212 Q29
SYSTEM
Ukraine, Spain
Q212 Q29
OR((Q2264681,P17,c(Q15617994)), (Q4134437,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q2264681
relation P17
action find
entity Q4134437
relation P17
type Q15617994
[ANSWERS] are Fortaleny or Hvardiiske a part of
{'OR': [['Q2264681', 'P17', {'concept': 'Q15617994'}], ['Q4134437', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?k WHERE { { VALUES ( ?d ) { ( resource:Q2264681 ) ( resource:Q4134437 ) } . ?d property:P17 ?k } . ?k rdf:type ontology:Q15617994 }
Ukraine Spain
Ukraine and Spain are Fortaleny or Hvardiiske a part of
Ukraine Spain
action filter_type
action union
action find
entity Fortaleny
relation country
action find
entity Hvardiiske
relation country
type designation for an administrative territorial entity
{'OR': [['Fortaleny', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Hvardiiske', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?k WHERE { { VALUES ( ?d ) { ( resource:Fortaleny ) ( resource:Hvardiiske ) } . ?d property:country ?k } . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q685
P530
Q1048835 Q15617994 Q1048835
USER
Which political territories have diplomatic relations with greater number of administrative territories and political territories than Solomon Islands ?
(c(Q15617994)|c(Q1048835),P530,c(Q1048835))
action greater
action union
action find_reverse_tuple_counts
relation P530
type Q1048835
type Q15617994
action find_reverse_tuple_counts
relation P530
type Q1048835
type Q1048835
action count
action filter_multi_types
action find_reverse
entity Q685
relation P530
type Q15617994
type Q1048835
[[{'concept': 'Q15617994'}, {'concept': 'Q1048835'}], 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?q ) AS ?u ) WHERE { { ?q property:P530 ?b . ?b rdf:type ontology:Q1048835 . ?q rdf:type ontology:Q15617994 } UNION { ?q property:P530 ?b . ?b rdf:type ontology:Q1048835 . ?q rdf:type ontology:Q1048835 } } GROUP BY ?b } . FILTER ( ?u > ?n ) . { SELECT DISTINCT ( COUNT ( ?o ) AS ?n ) WHERE { { VALUES ( ?y ) { ( ontology:Q15617994 ) ( ontology:Q1048835 ) } . ?o rdf:type ?y } . ?o property:P530 resource:Q685 } } }
Solomon Islands
action greater
action union
action find_reverse_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action count
action filter_multi_types
action find_reverse
entity Solomon Islands
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'political territorial entity'}], 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?q ) AS ?u ) WHERE { { ?q property:diplomatic_relation ?b . ?b rdf:type ontology:political_territorial_entity . ?q rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?q property:diplomatic_relation ?b . ?b rdf:type ontology:political_territorial_entity . ?q rdf:type ontology:political_territorial_entity } } GROUP BY ?b } . FILTER ( ?u > ?n ) . { SELECT DISTINCT ( COUNT ( ?o ) AS ?n ) WHERE { { VALUES ( ?y ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:political_territorial_entity ) } . ?o rdf:type ?y } . ?o property:diplomatic_relation resource:Solomon_Islands } } }
[]
political territorial entity designation for an administrative territorial entity political territorial entity
Q183 Q408 Q35
SYSTEM
Germany, Australia, Denmark
Q1000 Q40 Q781 Q778 Q183 Q408 Q769 Q35 Q16 Q664 Q766
(c(Q15617994)|c(Q1048835),P530,c(Q1048835))
action greater
action union
action find_reverse_tuple_counts
relation P530
type Q1048835
type Q15617994
action find_reverse_tuple_counts
relation P530
type Q1048835
type Q1048835
action count
action filter_multi_types
action find_reverse
entity Q685
relation P530
type Q15617994
type Q1048835
[ANSWERS] have diplomatic relations with greater number of administrative territories and political territories than Solomon Islands
[[{'concept': 'Q15617994'}, {'concept': 'Q1048835'}], 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?q ) AS ?u ) WHERE { { ?q property:P530 ?b . ?b rdf:type ontology:Q1048835 . ?q rdf:type ontology:Q15617994 } UNION { ?q property:P530 ?b . ?b rdf:type ontology:Q1048835 . ?q rdf:type ontology:Q1048835 } } GROUP BY ?b } . FILTER ( ?u > ?n ) . { SELECT DISTINCT ( COUNT ( ?o ) AS ?n ) WHERE { { VALUES ( ?y ) { ( ontology:Q15617994 ) ( ontology:Q1048835 ) } . ?o rdf:type ?y } . ?o property:P530 resource:Q685 } } }
Gabon Austria Antigua and Barbuda The Bahamas Germany Australia Grenada Denmark Canada New Zealand Jamaica
Germany, Australia and Denmark have diplomatic relations with greater number of administrative territories and political territories than Solomon Islands
Germany Australia Denmark
action greater
action union
action find_reverse_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action count
action filter_multi_types
action find_reverse
entity Solomon Islands
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'political territorial entity'}], 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?q ) AS ?u ) WHERE { { ?q property:diplomatic_relation ?b . ?b rdf:type ontology:political_territorial_entity . ?q rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?q property:diplomatic_relation ?b . ?b rdf:type ontology:political_territorial_entity . ?q rdf:type ontology:political_territorial_entity } } GROUP BY ?b } . FILTER ( ?u > ?n ) . { SELECT DISTINCT ( COUNT ( ?o ) AS ?n ) WHERE { { VALUES ( ?y ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:political_territorial_entity ) } . ?o rdf:type ?y } . ?o property:diplomatic_relation resource:Solomon_Islands } } }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P870
Q34379 Q207628 Q15850590
USER
Which musical instruments are used in around 36 musical compositions and theatrical genres ?
(c(Q207628)|c(Q15850590),P870,c(Q34379))
action approx
action union
action find_reverse_tuple_counts
relation P870
type Q34379
type Q207628
action find_reverse_tuple_counts
relation P870
type Q34379
type Q15850590
value 36
[[{'concept': 'Q207628'}, {'concept': 'Q15850590'}], 'P870', {'concept': 'Q34379'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?i ) AS ?z ) WHERE { VALUES ( ?j ) { ( ontology:Q207628 ) ( ontology:Q15850590 ) } . ?i rdf:type ?j } GROUP BY ?n } . FILTER ( ?z = 36 ) }
action approx
action union
action find_reverse_tuple_counts
relation instrumentation
type musical instrument
type musical composition
action find_reverse_tuple_counts
relation instrumentation
type musical instrument
type theatrical genre
value 36
[[{'concept': 'musical composition'}, {'concept': 'theatrical genre'}], 'instrumentation', {'concept': 'musical instrument'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?i ) AS ?z ) WHERE { VALUES ( ?j ) { ( ontology:musical_composition ) ( ontology:theatrical_genre ) } . ?i rdf:type ?j } GROUP BY ?n } . FILTER ( ?z = 36 ) }
[]
musical instrument musical composition theatrical genre
Q5994 Q1444
SYSTEM
piano, organ
Q5994 Q1444
(c(Q207628)|c(Q15850590),P870,c(Q34379))
action approx
action union
action find_reverse_tuple_counts
relation P870
type Q34379
type Q207628
action find_reverse_tuple_counts
relation P870
type Q34379
type Q15850590
value 36
[ANSWERS] are used in around 36 musical compositions and theatrical genres
[[{'concept': 'Q207628'}, {'concept': 'Q15850590'}], 'P870', {'concept': 'Q34379'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?i ) AS ?z ) WHERE { VALUES ( ?j ) { ( ontology:Q207628 ) ( ontology:Q15850590 ) } . ?i rdf:type ?j } GROUP BY ?n } . FILTER ( ?z = 36 ) }
piano organ
Piano and organ are used in around 36 musical compositions and theatrical genres
piano organ
action approx
action union
action find_reverse_tuple_counts
relation instrumentation
type musical instrument
type musical composition
action find_reverse_tuple_counts
relation instrumentation
type musical instrument
type theatrical genre
value 36
[[{'concept': 'musical composition'}, {'concept': 'theatrical genre'}], 'instrumentation', {'concept': 'musical instrument'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?i ) AS ?z ) WHERE { VALUES ( ?j ) { ( ontology:musical_composition ) ( ontology:theatrical_genre ) } . ?i rdf:type ?j } GROUP BY ?n } . FILTER ( ?z = 36 ) }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q6828834
P1303
Q502895
USER
Does Michael Brimer play those musical instruments ?
(Q6828834,P1303,Q5994) (Q6828834,P1303,Q1444)
action is_in
entity prev_answer
action find
entity Q6828834
relation P1303
['Q6828834', 'P1303', 'Q5994'] ['Q6828834', 'P1303', 'Q1444']
ASK WHERE { resource:Q6828834 property:P1303 ?v . VALUES ( ?v ) { ( resource:Q5994 ) ( resource:Q1444 ) } }
Michael Brimer
action is_in
entity prev_answer
action find
entity Michael Brimer
relation instrument
['Michael Brimer', 'instrument', 'piano'] ['Michael Brimer', 'instrument', 'organ']
ASK WHERE { resource:Michael_Brimer property:instrument ?v . VALUES ( ?v ) { ( resource:piano ) ( resource:organ ) } }
[]
common name
SYSTEM
YES
(Q6828834,P1303,Q5994) (Q6828834,P1303,Q1444)
action is_in
entity prev_answer
action find
entity Q6828834
relation P1303
[ANSWER]
['Q6828834', 'P1303', 'Q5994'] ['Q6828834', 'P1303', 'Q1444']
ASK WHERE { resource:Q6828834 property:P1303 ?v . VALUES ( ?v ) { ( resource:Q5994 ) ( resource:Q1444 ) } }
Yes
action is_in
entity prev_answer
action find
entity Michael Brimer
relation instrument
['Michael Brimer', 'instrument', 'piano'] ['Michael Brimer', 'instrument', 'organ']
ASK WHERE { resource:Michael_Brimer property:instrument ?v . VALUES ( ?v ) { ( resource:piano ) ( resource:organ ) } }
[]