| Cell
| |
| appearance as argument number 1 |
|
|
| (documentation Cell ChineseLanguage "这是有生命 Organism 基本的结构单位和功能部分。") | chinese_format.kif 3518-3518 | |
| (documentation Cell EnglishLanguage "The fundamental structural and functional unit of living Organisms.") | Merge.kif 14065-14066 | |
| (externalImage Cell "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 83/ Celltypes.svg/ 300px-Celltypes.svg.png") | pictureList.kif 1069-1069 | |
| (subclass Cell BodyPart) | Merge.kif 14064-14064 | subclass Cell and BodyPart |
| appearance as argument number 2 |
|
|
| (subclass BloodCell Cell) | Mid-level-ontology.kif 9141-9141 | subclass BloodCell and Cell |
| (subclass EukaryoticCell Cell) | VirusProteinAndCellPart.kif 327-327 | subclass EukaryoticCell and Cell |
| (subclass NerveCell Cell) | Mid-level-ontology.kif 9244-9244 | subclass NerveCell and Cell |
| (subclass ProkaryoticCell Cell) | VirusProteinAndCellPart.kif 337-337 | subclass ProkaryoticCell and Cell |
| (termFormat ChineseLanguage Cell "细胞") | chinese_format.kif 1022-1022 | |
| (termFormat EnglishLanguage Cell "cell") | english_format.kif 1261-1261 |
| appearance as argument number 3 |
|
|
| (domain CellPartFn 1 Cell) | VirusProteinAndCellPart.kif 584-584 | domain CellPartFn, 1 and Cell |
| antecedent |
|
|
| (=> (instance ?CELL Cell) (exists (?ENVELOPE) (and (instance ?ENVELOPE CellEnvelope) (part ?ENVELOPE ?CELL)))) |
VirusProteinAndCellPart.kif 486-491 |
| consequent |
|
|
| (=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (agent ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL Cell)))) |
Merge.kif 13487-13495 | |
| (=> (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 13456-13467 | |
| (=> (instance ?MEMBRANE CellMembraneInternal) (exists (?CELL) (and (instance ?CELL Cell) (interiorPart ?MEMBRANE ?CELL)))) |
VirusProteinAndCellPart.kif 364-369 |
|
| (=> (instance ?NUCLEUS CellNucleus) (exists (?CELL) (and (instance ?CELL Cell) (part ?NUCLEUS ?CELL)))) |
Mid-level-ontology.kif 9310-9315 | |
| (=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL)))) |
Mid-level-ontology.kif 9297-9302 | |
| (=> (instance ?PART AnatomicalStructure) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART)))) |
Merge.kif 13914-13919 | |
| (=> (instance ?STUFF Tissue) (exists (?PART) (and (instance ?PART Cell) (part ?PART ?STUFF)))) |
Merge.kif 14091-14096 |
|
|
|