pinniped mammal: aquatic carnivorous mammal having a streamlined body specialized for swimming with limbs modified as flippers
aquatic mammal: whales and dolphins; manatees and dugongs; walruses; seals