SUMO   View all facts   Glossary   Help

Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > AnatomicalStructure > BodyPart > Cell

Cell
subject			fact

Cell	documentation The fundamental structural and functional unit of living Organisms
	has axiom (=> (and (instance ?CELL Cell) (developmentalForm ?CELL ?FORM)) (instance ?FORM Cell))
	has axiom (=> (instance ?PART BodyPart) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART))))
	has axiom (=> (instance ?STUFF Tissue) (exists (?PART) (and (instance ?PART Cell) (part ?PART ?STUFF))))
	has axiom (=> (instance ?WALL CellWall) (exists (?CELL) (and (instance ?CELL Cell) (part ?WALL ?CELL))))
	has axiom (=> (instance ?BACTERIUM Bacterium) (exists (?CELL1) (and (component ?CELL1 ?BACTERIUM) (instance ?CELL1 Cell) (forall (?CELL2) (=> (and (component ?CELL2 ?BACTERIUM) (instance ?CELL2 Cell)) (equal ?CELL1 ?CELL2))))))
	has axiom (=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (effector ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL Cell))))
	has axiom (=> (instance ?ANIMAL Animal) (exists (?CELL ?WALL) (and (component ?CELL ?ANIMAL) (instance ?CELL Cell) (component ?WALL ?CELL) (instance ?WALL CellWallNonRigid))))
	has axiom (=> (instance ?CHLAMYD Chlamydia) (exists (?CELL ?ANIMAL) (and (inhabits ?CHLAMYD ?CELL) (instance ?CELL Cell) (component ?CELL ?ANIMAL) (or (instance ?ANIMAL Insect) (instance ?ANIMAL Tick)))))
	is a kind of BodyPart
AnatomicalStructure	is disjoint from Organism
CorpuscularObject	is first domain of component
	is second domain of component
	is second domain of material
Object	is third domain of between
	is third domain of capability
	is third domain of connects

Next BodyPart: CellWall    Up: BodyPart    Previous BodyPart: BodyJunction