what cloud with the maximum altitude of 6000.0 or more belongs to the same classification as cumulonimbus calvus?
Entity Entity
m.0csh5 m.066bq9
Cumulus Cumulus congestus
class class literal entity
meteorology.cloud meteorology.cloud_classification 6000.0^^http://www.w3.org/2001/XMLSchema#float m.0bw1t9
meteorology.cloud meteorology.cloud_classification type.float meteorology.cloud
Cloud Cloud classification 6000.0 Cumulonimbus calvus
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.0bw1t9 } 
?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.0bw1t9)) (le meteorology.cloud.maximum_altitude_m 6000.0^^http://www.w3.org/2001/XMLSchema#float)))