uranus is a kind of planet
uranus is ice_giant. uranus is not planet_in_solar_system. uranus is planet. titan is planet. jovian_planet is planet. uranus is not planet. uranus is planet_in_solar_system. uranus is smaller_than_saturn.