Class BIOLOGIC-FUNCTION

A state, activity or process of the body or one of its systems or parts.

Subclass-Of: Biologic-process

Subclass-Partition: {Physiologic-function, Pathologic-function}

Axioms:

(Slot-Value-Type Biologic-Function Scattered-Location Group)

(Slot-Value-Type Biologic-Function Co-Exist Biologic-Function)

(=> (Biologic-Function ?Self)
    (And (Exists (?A)
                 (And (Embodied-In ?Self ?A)
                      (Or (Organism ?A) (Anatomical-Structure ?A))))
         (Forall (?B)
                 (=> (Product ?Self ?B)
                     (Or (Substance ?B)
                         (Organism ?B)
                         (Anatomical-Structure ?B))))
         (Forall (?C)
                 (=> (Reference-Location ?Self ?C)
                     (Or (Anatomical-Structure ?C) (Organism ?C))))
         (Forall (?D)
                 (=> (Bearer ?Self ?D)
                     (Or (Organism-Attribute ?D)
                         (Anatomical-Structure ?D))))
         (Forall (?E)
                 (=> (Influences ?Self ?E)
                     (Or (Behavior ?E) (Biologic-Function ?E))))))

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