Class CELL-WALL

Subclass-Of: Cellular-structure
Axioms:
(=> (Cell-Wall ?Self)
    (Exists (?A) (And (Shelf-Part-Of ?Self ?A) (Cell ?A))))