| Cell(cell)
|
| appearance as argument number 1 |
|
| (subclass Cell BodyPart) | Merge.kif 15281-15281 | Cell is a subclass of body part |
| (documentation Cell EnglishLanguage "The fundamental structural and functional unit of living Organisms.") | Merge.kif 15282-15283 | Cell is a subclass of body part |
| (externalImage Cell "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 83/ Celltypes.svg/ 300px_Celltypes.svg.png") | pictureList.kif 1068-1068 | Cell is a subclass of body part |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain cellShape 1 Cell) | VirusProteinAndCellPart.kif 387-387 | The number 1 argument of cell shape is an instance of cell |
| (domain CellPartFn 1 Cell) | VirusProteinAndCellPart.kif 1154-1154 | The number 1 argument of cell part is an instance of cell |
| antecedent |
|
|
| 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 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 11502-11507 | 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 12253-12258 | 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 12266-12271 | 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 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 ?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 |
|
|
|