consequent

(=>     (instance ?BACTERIUM Bacterium)     (exists (?CELL1)         (and             (component ?CELL1 ?BACTERIUM)             (instance ?CELL1 Cell)             (forall (?CELL2)                 (=>                     (and                         (component ?CELL2 ?BACTERIUM)                         (instance ?CELL2 Cell))                     (equal ?CELL1 ?CELL2))))))	Merge.kif 14771-14782	If X is an instance of bacterium, then there exists Y such that Y is a component of X, Y is an instance of cell, Z Z is a component of X, Z is an instance of cellequal Y, and Z
(=>     (and         (instance ?VIRUS Virus)         (instance ?PROC Replication)         (agent ?PROC ?VIRUS))     (exists (?CELL)         (and             (located ?PROC ?CELL)             (instance ?CELL Cell))))	Merge.kif 14802-14810	If X is an instance of virus, Y is an instance of replication, and X is an agent of Y, then there exists Z such that Y is located at Z and Z is an instance of cell
(=>     (instance ?PART AnatomicalStructure)     (exists (?CELL)         (and             (instance ?CELL Cell)             (part ?CELL ?PART))))	Merge.kif 15238-15243	If X is an instance of anatomical structure, then there exists Y such that Y is an instance of cell and Y is a part of X
(=>     (instance ?STUFF Tissue)     (exists (?PART)         (and             (instance ?PART Cell)             (part ?PART ?STUFF))))	Merge.kif 15430-15435	If X is an instance of tissue, then there exists Y such that Y is an instance of cell and Y is a part of X
(=>     (instance ?O Organelle)     (exists (?C)         (and             (instance ?C Cell)             (part ?O ?C))))	Mid-level-ontology.kif 11579-11584	If X is an instance of organelle, then there exists Y such that Y is an instance of cell and X is a part of Y
(=>     (instance ?OBJ1 CellPart)     (exists (?CELL)         (and             (instance ?CELL Cell)             (properPart ?OBJ1 ?CELL))))	Mid-level-ontology.kif 12338-12343	If X is an instance of cell part, then there exists Y such that Y is an instance of cell and X is a proper part of Y
(=>     (instance ?NUCLEUS CellNucleus)     (exists (?CELL)         (and             (instance ?CELL Cell)             (part ?NUCLEUS ?CELL))))	Mid-level-ontology.kif 12351-12356	If X is an instance of cell nucleus, then there exists Y such that Y is an instance of cell and X is a part of Y
(=>     (and         (instance ?AI AutoImmuneDisorder)         (experiencer ?AI ?H))     (exists (?A ?D ?C)         (and             (instance ?A Antibody)             (part ?A ?H)             (instance ?C Cell)             (part ?C ?H)             (instance ?D Destruction)             (instrument ?D ?A)             (not                 (desires ?H                     (and                         (instance ?D Destruction)                         (instrument ?D ?A)))))))	Medicine.kif 2206-2222	If X is an instance of auto-immune disease and Y experiences X, then there exist Z, W and V such that Z is an instance of antibody and Z is a part of Y and V is an instance of cell and V is a part of Y and W is an instance of destruction and Z is an instrument for W and Y doesn't desire ~{ W is an instance of destruction } or ~{ Z is an instrument for W }
(=>     (instance ?W CellWall)     (exists (?CELL ?SURF)         (and             (instance ?CELL Cell)             (part ?W ?CELL)             (surface ?SURF ?CELL)             (part ?SURF ?W))))	VirusProteinAndCellPart.kif 455-462	If X is an instance of cell wall, then there exist Y, Z such that Y is an instance of cell, X is a part of Y, Z is a surface of Y, and Z is a part of X
(=>     (instance ?MEMBRANE CellMembraneInternal)     (exists (?CELL)         (and             (instance ?CELL Cell)             (interiorPart ?MEMBRANE ?CELL))))	VirusProteinAndCellPart.kif 468-473	If X is an instance of internal cell membrane, then there exists Y such that Y is an instance of cell and X is a interior part of Y

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners