which stars have an average orbital speed that is less than or equal to 145.0?
Entity
m.03d1rrm
HD 41004
class literal
astronomy.star 145.0^^http://www.w3.org/2001/XMLSchema#float
astronomy.star type.float
Star 145.0
none <=
astronomy.orbital_relationship.mean_orbital_speed
Average Orbital Speed
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 . 
FILTER (?x1 <= "145.0"^^<http://www.w3.org/2001/XMLSchema#float>)
?x0 :astronomy.orbital_relationship.mean_orbital_speed ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND astronomy.star (le astronomy.orbital_relationship.mean_orbital_speed 145.0^^http://www.w3.org/2001/XMLSchema#float))