with a maximum altitude that is greater than or equal to 6000.0, which cloud belongs to the identical categorization as stratus?
Entity Entity Entity
m.01684p m.03bl68 m.016846
Nimbostratus Cumulus humilis Stratocumulus
class class literal entity
meteorology.cloud meteorology.cloud_classification 6000.0^^http://www.w3.org/2001/XMLSchema#float m.016873
meteorology.cloud meteorology.cloud_classification type.float meteorology.cloud
Cloud Cloud classification 6000.0 Stratus
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.016873 } 
?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.016873)) (le meteorology.cloud.maximum_altitude_m 6000.0^^http://www.w3.org/2001/XMLSchema#float)))