Class
CELL-WALL
Subclass-Of
:
Cellular-structure
Axioms:
(=> (
Cell-Wall
?Self) (Exists (?A) (And (
Shelf-Part-Of
?Self ?A) (
Cell
?A))))
Defined in theory:
Anatomy
Source code:
Anatomy.lisp