what cloud, with a highest altitude greater than or equal to 6000.0, belongs to the same classification as stratocumulus?
Entity Entity Entity
m.016873 m.01684p m.03bl68
Stratus Nimbostratus Cumulus humilis
class class literal entity
meteorology.cloud meteorology.cloud_classification 6000.0^^http://www.w3.org/2001/XMLSchema#float m.016846
meteorology.cloud meteorology.cloud_classification type.float meteorology.cloud
Cloud Cloud classification 6000.0 Stratocumulus
none none <= none
meteorology.cloud.classification meteorology.cloud.maximum_altitude_m meteorology.cloud.classification
Classification Maximum Altitude Classification
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX : <http://rdf.freebase.com/ns/> 
SELECT (?x0 AS ?value) WHERE {
SELECT DISTINCT ?x0  WHERE { 
?x0 :type.object.type :meteorology.cloud . 
?x1 :type.object.type :meteorology.cloud_classification . 
FILTER (?x2 <= "6000.0"^^<http://www.w3.org/2001/XMLSchema#float>)
VALUES ?x3 { :m.016846 } 
?x0 :meteorology.cloud.classification ?x1 . 
?x0 :meteorology.cloud.maximum_altitude_m ?x2 . 
?x3 :meteorology.cloud.classification ?x1 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x0 != ?x3 && ?x1 != ?x2 && ?x1 != ?x3 && ?x2 != ?x3  )
}
}
(AND meteorology.cloud (AND (JOIN meteorology.cloud.classification (JOIN (R meteorology.cloud.classification) m.016846)) (le meteorology.cloud.maximum_altitude_m 6000.0^^http://www.w3.org/2001/XMLSchema#float)))