Class BODY-SPACE

An area enclosed or surrounded by body parts or organs. Since
Subclass-Of: Body-region
Axioms:
(=> (Body-Space ?Self)
    (And (Exists (?A) (And (Surrounded-By ?Self ?A) (Body-Part ?A)))
         (Exists (?B)
                 (And (3d-Area-Of ?Self ?B)
                      (Anatomical-Structure ?B)))
         (Exists (?C)
                 (And (Location-Of ?Self ?C)
                      (Or (Cell-Component ?C)
                          (Anatomical-Abnormality ?C)
                          (Body-Substance ?C)
                          (Body-Junction ?C))))
         (Forall (?D)
                 (=> (Contains ?Self ?D)
                     (Or (Tissue ?D)
                         (Body-Substance ?D)
                         (Body-Part ?D))))
         (Forall (?E)
                 (=> (Adjacent-To ?Self ?E)
                     (Or (Tissue ?E)
                         (Cell-Component ?E)
                         (Body-Space ?E))))))