(defrelation Dead-Animal (Subclass-Of Dead-Animal Organic-Stuff) (Existing-Object-Type Dead-Animal) (Class Dead-Animal) (Arity Dead-Animal 1) (Documentation Dead-Animal "A subset of Organic-Stuff (and not, of course, of Animal, whose elements must be alive).
(Existing-Object-Type Dead-Animal) (Class Dead-Animal) (Arity Dead-Animal 1) (Documentation Dead-Animal "A subset of Organic-Stuff (and not, of course, of Animal; must be; alive)
Existing-Object-Type Dead-Animal) (Class Dead-Animal) (Arity Dead-Animal 1) (Documentation Dead-Animal "A subset of Organic-Stuff (and not, of course, of Animal
must be
alive