which star system is at least 5.947 away?
Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity
m.03rppp m.057xd m.0pkx m.013d4 m.01d5c1 m.06m67x m.078wl m.08sh06 m.09tqd8 m.05s8k m.0wfrg1q
Eta Cassiopeiae Mira Algol Antares Regulus CoKu Tau/4 Spica Alpha Equulei VV Cephei Polaris Kappa Fornacis
class literal
astronomy.star_system 5.947^^http://www.w3.org/2001/XMLSchema#float
astronomy.star_system type.float
Star System 5.947
none >=
astronomy.celestial_object.cosmological_distance
Distance
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.star_system . 
FILTER (?x1 >= "5.947"^^<http://www.w3.org/2001/XMLSchema#float>)
?x0 :astronomy.celestial_object.cosmological_distance ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND astronomy.star_system (ge astronomy.celestial_object.cosmological_distance 5.947^^http://www.w3.org/2001/XMLSchema#float))