pinnipeds

noun
  1. marine mammals with flippers, including seals, sea lions, and walruses
  2. Usage: scientific term; plural form

Examples