[804] Phoca, der Seehund; Phocidae (Seehunde), Familie der Robben (s. d.).
Lemery-1721: Phoca
Pierer-1857: Phoca