| appearance as argument number 1 |
|
|
| s__documentation(s__Cell,s__ChineseLanguage,'"这是有生命 Organism 基本的结构单位和功能部分。"')
|
chinese_format.kif 3518-3518 | |
| s__documentation(s__Cell,s__EnglishLanguage,'"The fundamental structural and functional unit of living Organisms."')
|
Merge.kif 14006-14007 | |
| s__externalImage(s__Cell,'"http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 83/ Celltypes.svg/ 300px-Celltypes.svg.png"')
|
pictureList.kif 1069-1069 | |
| s__instance(s__BodyPart,s__SetOrClass) s__subclass(s__Cell,s__BodyPart) s__instance(s__Cell,s__SetOrClass)
|
Merge.kif 14005-14005 | Cell is a subclass of body part |
| appearance as argument number 2 |
|
|
| s__instance(s__BloodCell,s__SetOrClass) s__subclass(s__BloodCell,s__Cell) s__instance(s__Cell,s__SetOrClass)
|
Mid-level-ontology.kif 9160-9160 | Blood cell is a subclass of cell |
| s__instance(s__EukaryoticCell,s__SetOrClass) s__subclass(s__EukaryoticCell,s__Cell) s__instance(s__Cell,s__SetOrClass)
|
VirusProteinAndCellPart.kif 326-326 | Eukaryotic cell is a subclass of cell |
| s__instance(s__NerveCell,s__SetOrClass) s__subclass(s__NerveCell,s__Cell) s__instance(s__Cell,s__SetOrClass)
|
Mid-level-ontology.kif 9263-9263 | Nerve cell is a subclass of cell |
| s__instance(s__ProkaryoticCell,s__SetOrClass) s__subclass(s__ProkaryoticCell,s__Cell) s__instance(s__Cell,s__SetOrClass)
|
VirusProteinAndCellPart.kif 336-336 | Prokaryotic cell is a subclass of cell |
| s__termFormat(s__ChineseLanguage,s__Cell,'"细胞"')
|
chinese_format.kif 1022-1022 | |
| s__termFormat(s__EnglishLanguage,s__Cell,'"cell"')
|
english_format.kif 1261-1261 |
| appearance as argument number 3 |
|
|
| s__domain(s__CellPartFn__m,n__1,s__Cell)
|
VirusProteinAndCellPart.kif 583-583 | The number 1 argument of cell part is an instance of cell |
| antecedent |
|
|
| ( ! [V__CELL] : (s__instance(V__CELL,s__Cell) => ( ? [V__ENVELOPE] : ((s__instance(V__ENVELOPE,s__CellEnvelope) & s__part(V__ENVELOPE,V__CELL)))) ) )
|
VirusProteinAndCellPart.kif 485-490 |
|
| consequent |
|
|
| ( ! [V__VIRUS,V__PROC] : ((s__instance(V__VIRUS,s__Virus) & s__instance(V__PROC,s__Replication) & s__agent(V__PROC,V__VIRUS)) => ( ? [V__CELL] : ((s__located(V__PROC,V__CELL) & s__instance(V__CELL,s__Cell)))) ) )
|
Merge.kif 13428-13436 |
|
| ( ! [V__BACTERIUM] : (s__instance(V__BACTERIUM,s__Bacterium) => ( ? [V__CELL1] : ((s__component(V__CELL1,V__BACTERIUM) & s__instance(V__CELL1,s__Cell) & ( ! [V__CELL2] : ((s__component(V__CELL2,V__BACTERIUM) & s__instance(V__CELL2,s__Cell)) => (V__CELL1 = V__CELL2)))))) ) )
|
Merge.kif 13397-13408 |
|
| ( ! [V__MEMBRANE] : (s__instance(V__MEMBRANE,s__CellMembraneInternal) => ( ? [V__CELL] : ((s__instance(V__CELL,s__Cell) & s__interiorPart(V__MEMBRANE,V__CELL)))) ) )
|
VirusProteinAndCellPart.kif 363-368 |
|
| ( ! [V__NUCLEUS] : (s__instance(V__NUCLEUS,s__CellNucleus) => ( ? [V__CELL] : ((s__instance(V__CELL,s__Cell) & s__part(V__NUCLEUS,V__CELL)))) ) )
|
Mid-level-ontology.kif 9329-9334 |
|
| ( ! [V__OBJ1] : (s__instance(V__OBJ1,s__CellPart) => ( ? [V__CELL] : ((s__instance(V__CELL,s__Cell) & s__properPart(V__OBJ1,V__CELL)))) ) )
|
Mid-level-ontology.kif 9316-9321 |
|
| ( ! [V__PART] : (s__instance(V__PART,s__AnatomicalStructure) => ( ? [V__CELL] : ((s__instance(V__CELL,s__Cell) & s__part(V__CELL,V__PART)))) ) )
|
Merge.kif 13855-13860 |
|
| ( ! [V__STUFF] : (s__instance(V__STUFF,s__Tissue) => ( ? [V__PART] : ((s__instance(V__PART,s__Cell) & s__part(V__PART,V__STUFF)))) ) )
|
Merge.kif 14032-14037 |
|
|
|
|