Class COLD-BLOOD

Subclass-Of: Blood
Axioms:
(Slot-Cardinality Cold-Blood _Cold 1)

(<=> (Cold-Blood ?Self)
     (And (Blood ?Self) (Value-Cardinality ?Self _Cold 1)))