SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > AnatomicalStructure > BodyPart > Cell
Next BodyPartCellWall    UpBodyPart    Previous BodyPartBodyJunction   

Cell
subjectfact 
Celldocumentation The fundamental structural and functional unit of living Organisms2001-11-30 13:33:49.0
has axiom
(=>
(and
(instance ?CELL Cell)
(developmentalForm ?CELL ?FORM))
(instance ?FORM Cell))
2001-11-30 13:33:49.0
has axiom
(=>
(instance ?PART BodyPart)
(exists (?CELL)
(and
(instance ?CELL Cell)
(part ?CELL ?PART))))
2001-11-30 13:33:49.0
has axiom
(=>
(instance ?STUFF Tissue)
(exists (?PART)
(and
(instance ?PART Cell)
(part ?PART ?STUFF))))
2001-11-30 13:33:49.0
has axiom
(=>
(instance ?WALL CellWall)
(exists (?CELL)
(and
(instance ?CELL Cell)
(part ?WALL ?CELL))))
2001-11-30 13:33:49.0
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))))))
2001-11-30 13:33:49.0
has axiom
(=>
(and
(instance ?VIRUS Virus)
(instance ?PROC Replication)
(effector ?PROC ?VIRUS))
(exists (?CELL)
(and
(located ?PROC ?CELL)
(instance ?CELL Cell))))
2001-11-30 13:33:49.0
has axiom
(=>
(instance ?ANIMAL Animal)
(exists (?CELL ?WALL)
(and
(component ?CELL ?ANIMAL)
(instance ?CELL Cell)
(component ?WALL ?CELL)
(instance ?WALL CellWallNonRigid))))
2001-11-30 13:33:49.0
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)))))
2001-11-30 13:33:49.0
is a kind of BodyPart2001-11-30 13:33:49.0
AnatomicalStructureis disjoint from Organism2001-11-30 13:33:36.0
CorpuscularObjectis first domain of component2001-11-30 13:33:58.0
is second domain of component2001-11-30 13:33:58.0
is second domain of material2001-11-30 13:33:58.0
Objectis third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0

Next BodyPartCellWall    UpBodyPart    Previous BodyPartBodyJunction