with a max altitude more than or equal to 12000.0, and belonging to the same classification as cirrus clouds, which cloud is this?
Entity Entity
m.016864 m.01685p
Cirrostratus Cirrocumulus
class class literal entity
meteorology.cloud meteorology.cloud_classification 12000.0^^http://www.w3.org/2001/XMLSchema#float m.0cs96
meteorology.cloud meteorology.cloud_classification type.float meteorology.cloud
Cloud Cloud classification 12000.0 cirrus clouds
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 <= "12000.0"^^<http://www.w3.org/2001/XMLSchema#float>)
VALUES ?x3 { :m.0cs96 } 
?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.0cs96)) (le meteorology.cloud.maximum_altitude_m 12000.0^^http://www.w3.org/2001/XMLSchema#float)))