what telescopes are considered to be catadioptric?
Entity
m.013r2q
Very Large Telescope
class class entity
astronomy.telescope astronomy.telescope_type m.05djgs
astronomy.telescope astronomy.telescope_type astronomy.telescope_type
Telescope Telescope type catadioptric
none none none
astronomy.telescope_type.telescopes_of_this_type astronomy.telescope_type.higher_classification
Telescopes of this type Higher 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 :astronomy.telescope . 
?x1 :type.object.type :astronomy.telescope_type . 
VALUES ?x2 { :m.05djgs } 
?x1 :astronomy.telescope_type.telescopes_of_this_type ?x0 . 
?x2 :astronomy.telescope_type.higher_classification ?x1 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND astronomy.telescope (JOIN (R astronomy.telescope_type.telescopes_of_this_type) (JOIN (R astronomy.telescope_type.higher_classification) m.05djgs)))