Class EUKARYOTIC-CELL-WITH-NON-RIGID-CELL-WALL

Subclass-Of: Eukaryotic-cell

Axioms:

(<=> (Eukaryotic-Cell-With-Non-Rigid-Cell-Wall ?Self)
     (And (Eukaryotic-Cell ?Self)
          (Exists (?A)
                  (And (Shelf-Part ?Self ?A)
                       (Non-Rigid-Cell-Wall ?A)))))

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