consequent

(=>     (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 2185-2201	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 ?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 14634-14645	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 14665-14673	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 15104-15109	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 15309-15314	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 11501-11506	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 12252-12257	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 12265-12270	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
(=>     (instance ?W CellWall)     (exists (?CELL ?SURF)         (and             (instance ?CELL Cell)             (part ?W ?CELL)             (surface ?SURF ?CELL)             (part ?SURF ?W))))	VirusProteinAndCellPart.kif 477-484	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 490-495	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 is open source software produced by Articulate Software and its partners