Definición

Sustantivo masculino. Este vocablo es de uso anticuado (en zoología) abarca, implica y hace referencia a un genero de mamífero placentario que corresponde en su clasificación taxonómica al orden de los carnívoros, familia de los fócidos y a su vez a la superfamilia de los pinnípedos, se dice popularmente como el puerco marino o elefante marino.