what is the reflective telescope that is housed in kitt peak observatory?
Entity Entity
m.05ffvt m.07s4fwl
McMath–Pierce solar telescope Nicholas U. Mayall Telescope
class entity entity
astronomy.telescope m.04djz m.01nhc9
astronomy.telescope astronomy.astronomical_observatory astronomy.telescope_type
Telescope kitt peak observatory reflective telescope
none none none
astronomy.telescope.housed_in astronomy.telescope.type_of_telescope
Housed in Type of telescope
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 :astronomy.telescope . 
VALUES ?x1 { :m.04djz } 
VALUES ?x2 { :m.01nhc9 } 
?x0 :astronomy.telescope.housed_in ?x1 . 
?x0 :astronomy.telescope.type_of_telescope ?x2 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND astronomy.telescope (AND (JOIN astronomy.telescope.housed_in m.04djz) (JOIN astronomy.telescope.type_of_telescope m.01nhc9)))