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 |
![]() |
![]() |