Class BODY-JUNCTION

The place where two anatomical structures meet or connect.
Subclass-Of: Body-part
Axioms:
(Slot-Value-Type Body-Junction Interconnects Cell)

(=> (Body-Junction ?Self)
    (And (Exists (?A)
                 (And (Generically-Located ?Self ?A)
                      (Region ?A)
                      (> (Cardinality (Setofall ?B
                                                (Exact-Location-Of ?A
                                                                   ?B)))
                         2)))
         (Exists (?C)
                 (And (Component-Of ?Self ?C)
                      (Anatomical-Structure ?C)))
         (Exists (?D)
                 (And (Interconnects ?Self ?D)
                      (Anatomical-Structure ?D)))
         (Forall (?E)
                 (=> (Connected-To ?Self ?E)
                     (Or (Tissue ?E) (Body-Junction ?E))))))