Class BODY-DEVELOPMENT

Subclass-Of: Organism-function

Axioms:

(=> (Body-Development ?Self)
    (And (Exists (?A) (And (Product ?Self ?A) (Organism ?A)))
         (Exists (?B)
                 (And (Embodied-In ?Self ?B)
                      (Molecular-Anatomical-Structure ?B)))))

• Defined in theory: Biologic-functions
• Source code: Biologic-Functions.lisp