CellWallNonRigid Comparison Table

Next CellWall: CellWallRigid Up: CellWall

CellWallNonRigid comparison table

Subject documentation be disjoint from is a kind of have axiom

CellWall The permeable wall that encloses the Cells of most Organisms Organism BodyPart
(=>
(instance ?WALL CellWall)
(exists (?CELL)
(and
(instance ?CELL Cell)
(part ?WALL ?CELL))))

CellWallNonRigid A type of CellWall found in Animals CellWallRigid CellWall
(=>
(instance ?ANIMAL Animal)
(exists (?CELL ?WALL)
(and
(component ?CELL ?ANIMAL)
(instance ?CELL Cell)
(component ?WALL ?CELL)
(instance ?WALL CellWallNonRigid))))

Subject	documentation	be disjoint from	is a kind of	have axiom
CellWall	The permeable wall that encloses the Cells of most Organisms	Organism	BodyPart	(=> (instance ?WALL CellWall) (exists (?CELL) (and (instance ?CELL Cell) (part ?WALL ?CELL))))
CellWallNonRigid	A type of CellWall found in Animals	CellWallRigid	CellWall	(=> (instance ?ANIMAL Animal) (exists (?CELL ?WALL) (and (component ?CELL ?ANIMAL) (instance ?CELL Cell) (component ?WALL ?CELL) (instance ?WALL CellWallNonRigid))))

Next CellWall: CellWallRigid Up: CellWall