Class CYTOPLASM

Subclass-Of: Cellular-structure

Axioms:

(=> (Cytoplasm ?Self)
    (And (Exists (?A) (And (Shelf-Part-Of ?Self ?A) (Cell ?A)))
         (Exists (?B)
                 (And (Located ?Self ?B)
                      (Region ?B)
                      (Exists (?C)
                              (And (Interior-Of ?B ?C) (Cell ?C)))
                      (Forall (?C ?D)
                              (=> (And (Interior-Of ?B ?C)
                                       (Interior-Of ?B ?D))
                                  (= ?C ?D)))))))

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