Class BODY-PART

A collection of cells and tissues which are localized to a specific area or combine and carry out one or more specialized functions of an organism. This ranges from gross structures to small components of complex organs. These structures are relatively localized in comparison to tissues.

Subclass-Of: Anatomical-structure

Mapping: USN 'Body-Part-Organ-Or-Organ-Component' can be mapped here.

Axioms:

(Slot-Value-Type Body-Part Tributary-Of Body-Part)

(Slot-Value-Type Body-Part Branch-Of Body-Part)

(Slot-Value-Type Body-Part Traverses Body-Part)

(Slot-Value-Type Body-Part Constituent-Material Substance)

(=> (Body-Part ?Self)
    (And (Exists (?A) (And (Located ?Self ?A) (Body-Region ?A)))
         (Exists (?B) (And (Component-Of ?Self ?B) (Organism ?B)))
         (Exists (?C) (And (Element ?Self ?C) (Cell ?C)))
         (Exists (?D) (And (Component-Of ?Self ?D) (Body-System ?D)))
         (Forall (?E)
                 (=> (Surrounds ?Self ?E)
                     (Or (Body-Part ?E) (Tissue ?E))))
         (Forall (?F)
                 (=> (Adjacent-To ?Self ?F)
                     (Or (Cell ?F)
                         (Body-Space ?F)
                         (Tissue ?F)
                         (Body-Part ?F))))
         (Forall (?G)
                 (=> (Connected-To ?Self ?G)
                     (Or (Body-Region ?G)
                         (Anatomical-Structure ?G)
                         (Body-Substance ?G))))
         (Forall (?H)
                 (=> (Developmental-Form-Of ?Self ?H)
                     (Or (Cell ?H) (Body-Part ?H))))))

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