what is the name of the mountain that has the elevation of 3006.0?
Entity Entity Entity Entity Entity Entity
m.0hz08my m.0hz08lf m.09v0r1x m.04q7xw7 m.04cyfkq m.0b6l_49
Estaragne Casque du Marboré Mont Avic Cerro Pedernal Älplihorn Stairway Peak
class literal
geography.mountain 3006.0^^http://www.w3.org/2001/XMLSchema#float
geography.mountain type.float
Mountain 3006.0
none none
geography.mountain.elevation
Elevation
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 :geography.mountain . 
VALUES ?x1 { "3006.0"^^<http://www.w3.org/2001/XMLSchema#float> } 
?x0 :geography.mountain.elevation ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND geography.mountain (JOIN geography.mountain.elevation 3006.0^^http://www.w3.org/2001/XMLSchema#float))