pluto is a kind of dwarf planet
pluto is dwarf_planet. plutoid is dwarf_planet. pluto is planet. dwarf_planet is subplanetary_stellar_orbiter. dwarf_planet is round_thing. plutoid is not dwarf_planet. pluto is not planet. pluto is not dwarf_planet. ice_dwarf is not dwarf_planet. ice_dwarf is dwarf_planet.