YES! pinniped is the family that seals come from. it consists of phocidae ("true" earless seals, what you think of when you think of seals), otariidae (sea lions and the unaptly named fur seals), and obenidae (walruses)! "seals" is both a catch-all for all pinnipeds and also can specifically refer to the classic earless seals :3