| 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 14068-14069 | |
| (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 14067-14067 | subclass Cell and BodyPart |
| appearance as argument number 2 |
|
|
| (subclass BloodCell Cell) | Mid-level-ontology.kif 8289-8289 | subclass BloodCell and Cell |
| (subclass EukaryoticCell Cell) | VirusProteinAndCellPart.kif 329-329 | subclass EukaryoticCell and Cell |
| (subclass NerveCell Cell) | Mid-level-ontology.kif 8399-8399 | subclass NerveCell and Cell |
| (subclass ProkaryoticCell Cell) | VirusProteinAndCellPart.kif 339-339 | 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 586-586 | domain CellPartFn, 1 and Cell |
| antecedent |
|
|
| (=> (instance ?CELL Cell) (exists (?ENVELOPE) (and (instance ?ENVELOPE CellEnvelope) (part ?ENVELOPE ?CELL)))) |
VirusProteinAndCellPart.kif 488-493 |
| consequent |
|
|
| (=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (agent ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL Cell)))) |
Merge.kif 13490-13498 | |
| (=> (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 13459-13470 | |
| (=> (instance ?MEMBRANE CellMembraneInternal) (exists (?CELL) (and (instance ?CELL Cell) (interiorPart ?MEMBRANE ?CELL)))) |
VirusProteinAndCellPart.kif 366-371 |
|
| (=> (instance ?NUCLEUS CellNucleus) (exists (?CELL) (and (instance ?CELL Cell) (part ?NUCLEUS ?CELL)))) |
Mid-level-ontology.kif 8466-8471 | |
| (=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL)))) |
Mid-level-ontology.kif 8453-8458 | |
| (=> (instance ?PART AnatomicalStructure) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART)))) |
Merge.kif 13917-13922 | |
| (=> (instance ?STUFF Tissue) (exists (?PART) (and (instance ?PART Cell) (part ?PART ?STUFF)))) |
Merge.kif 14094-14099 |
|
|
|