Class *SPECIALIZED-CELL

Subclass-Of: Cell

The-Archetype: Reified-property

Axioms:

(<=> (*Specialized-Cell ?Self)
     (And (Cell ?Self)
          (Exists (?A)
                  (And (Strictly-Necessary-To ?Self ?A)
                       (Anatomical-Structure ?A)
                       (Exists (?B)
                               (And (Embodies ?A ?B) (Growth ?B)))))))

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