cell (Cell)

The fundamental structural and functional unit of living Organisms.

Ontology

SUMO / OBJECTS

Superclass(es)

entity

physical

object

self connected object

corpuscular object

organic object

anatomical structure

body part

cell

Coordinate term(s)

body covering body junction body vessel fruit or vegetable organ

Related WordNet synsets

cell: the basic structural and functional unit of all organisms; cells may exist as independent units of life (as in monads) or may form colonies or tissues as in higher plants and animals
cellular: (biology) relating to cells; "cellular walls"; "cellular physiology"

See more related synsets on a separate page.

Axioms (4)

if bacterium is an instance of bacterium,
then there exists cell cell1 so that cell1 is a component of bacterium and for all cell2 holds: if cell2 is a component of bacterium and cell2 is an instance of cell, then cell1 is equal to cell2

(=>
      (instance ?BACTERIUM Bacterium)
      (exists
            (?CELL1)
            (and
                  (component ?CELL1 ?BACTERIUM)
                  (instance ?CELL1 Cell)
                  (forall
                        (?CELL2)
                        (=>
                              (and
                                    (component ?CELL2 ?BACTERIUM)
                                    (instance ?CELL2 Cell))
                              (equal ?CELL1 ?CELL2))))))

If virus is an instance of virus and proc is an instance of replication and proc is an agent of virus, then there exists cell cell so that proc is located at cell.

(=>
      (and
            (instance ?VIRUS Virus)
            (instance ?PROC Replication)
            (agent ?PROC ?VIRUS))
      (exists
            (?CELL)
            (and
                  (located ?PROC ?CELL)
                  (instance ?CELL Cell))))

If part is an instance of anatomical structure, then there exists cell cell so that cell is a part of part.

(=>
      (instance ?PART AnatomicalStructure)
      (exists
            (?CELL)
            (and
                  (instance ?CELL Cell)
                  (part ?CELL ?PART))))

If stuff is an instance of tissue, then there exists cell part so that part is a part of stuff.

(=>
      (instance ?STUFF Tissue)
      (exists
            (?PART)
            (and
                  (instance ?PART Cell)
                  (part ?PART ?STUFF))))