Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Cell BodyPart) | Merge.kif 15402-15402 | Cell is a subclass of body part |
| (documentation Cell EnglishLanguage "The fundamental structural and functional unit of living Organisms.") | Merge.kif 15403-15404 | 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 |
|
|
| (subclass EukaryoticCell Cell) | Mid-level-ontology.kif 12358-12358 | Eukaryotic cell is a subclass of cell |
| (subclass ProkaryoticCell Cell) | Mid-level-ontology.kif 12368-12368 | Prokaryotic cell is a subclass of cell |
| (termFormat EnglishLanguage Cell "cell") | english_format.kif 1260-1260 | Prokaryotic cell is a subclass of cell |
| 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 |
|
|
| (=> (instance ?C Cell) (modalAttribute (or (cellShape ?C Sphere) (cellShape ?C Cylinder)) Likely)) |
VirusProteinAndCellPart.kif 401-406 | If X is an instance of cell, then the statement X cells are shaped like a sphere or X cells are shaped like a cylinder has the modal force of likely |
| (=> (and (instance ?G Gene) (located ?G ?C) (instance ?C Cell)) (exists (?B ?N ?R) (and (instance ?B BiologicalProcess) (eventLocated ?B ?C) (origin ?B ?G) (result ?B ?N) (instance ?N Nucleotide) (part ?N ?R) (instance ?R RNAMolecule) (located ?R ?C)))) |
VirusProteinAndCellPart.kif 639-653 | If X is an instance of gene, X is located at Y, and Y is an instance of cell, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of biological process (3) Z is located at Y (4) Z originates at X (5) W is a result of Z (6) W is an instance of nucleotide (7) W is a part of V (8) V is an instance of RNA molecule (9) V is located at Y |
| (=> (instance ?CELL Cell) (exists (?ENVELOPE) (and (instance ?ENVELOPE CellEnvelope) (part ?ENVELOPE ?CELL)))) |
VirusProteinAndCellPart.kif 1056-1061 | If X is an instance of cell, then there exists Y such that Y is an instance of cell envelope and Y is a part of X |
| 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 |
|
