Class SMOOTH-SKIN

Subclass-Of: Skin

Axioms:

(Slot-Cardinality Smooth-Skin _Smooth 1)

(<=> (Smooth-Skin ?Self)
     (And (Skin ?Self) (Value-Cardinality ?Self _Smooth 1)))

• Defined in theory: Anatomy
• Source code: Anatomy.lisp