Как я вижу, является ли один класс CLOS подклассом другого класса CLOS?
Вы можете получить CLASS-NAME класса.
Класс также имеет тип с тем же именем.
SUBTYPEP проверяет, является ли тип подтипом другого типа.