Class MAMMAL

A vertebrate having a constant body temperature and characterized by the presence of hair, mammary glands and sweat glands.
Subclass-Of: Vertebrate
Axioms:
(Slot-Cardinality Mammal _Constant-Temperature 1)

(=> (Mammal ?Self)
    (And (Exists (?A) (And (Component ?Self ?A) (Hair ?A)))
         (Exists (?B) (And (Component ?Self ?B) (Mammary-Gland ?B)))
         (Exists (?C) (And (Component ?Self ?C) (Sweat-Gland ?C)))))