philippii", del género "Arctophoca", que incluye mamíferos pinnípedos de la familia de los otáridos.