|
|
   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 15000-15001 | |
| (externalImage Cell "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 83/ Celltypes.svg/ 300px-Celltypes.svg.png") | pictureList.kif 1068-1068 | |
| (subclass Cell BodyPart) | Merge.kif 14999-14999 | Cellule est une sous-classe de partie du corps |
| appearance as argument number 2 |
|
|
| (subclass BloodCell Cell) | Mid-level-ontology.kif 10123-10123 | BloodCell est une sous-classe de cellule |
| (subclass EukaryoticCell Cell) | VirusProteinAndCellPart.kif 329-329 | EukaryoticCell est une sous-classe de cellule |
| (subclass Gamete Cell) | Mid-level-ontology.kif 23904-23904 | Gamete est une sous-classe de cellule |
| (subclass NerveCell Cell) | Mid-level-ontology.kif 10705-10705 | NerveCell est une sous-classe de cellule |
| (subclass ProkaryoticCell Cell) | VirusProteinAndCellPart.kif 339-339 | ProkaryoticCell est une sous-classe de cellule |
| (subclass Zygote Cell) | Mid-level-ontology.kif 23936-23936 | Zygote est une sous-classe de cellule |
| (termFormat ChineseLanguage Cell "细胞") | chinese_format.kif 1022-1022 | |
| (termFormat EnglishLanguage Cell "cell") | english_format.kif 1256-1256 | |
| (termFormat FrenchLanguage Cell "cellule") | french_format.kif 700-700 | |
| (termFormat Hindi Cell "koshIka") | terms-hindi.txt 231-231 | |
| (termFormat ItalianLanguage Cell "Cellula") | terms-it.txt 232-232 | |
| (termFormat JapaneseLanguage Cell "細胞") | japanese_format.kif 2383-2383 | |
| (termFormat PortugueseLanguage Cell "Celula") | portuguese_format.kif 652-652 | |
| (termFormat cz Cell "cell") | terms-cz.txt 269-269 | |
| (termFormat ro Cell "celulã") | relations-ro.kif 721-721 | |
| (termFormat tg Cell "Selula") | terms-tg.txt 235-235 |
| appearance as argument number 3 |
|
|
| (domain CellPartFn 1 Cell) | VirusProteinAndCellPart.kif 655-655 | Le nombre 1 argument de CellPartFn est une instance de cellule |
| (domainSubclass cellShape 1 Cell) | VirusProteinAndCellPart.kif 353-353 | Le nombre 1 argument de cellShape est une sous-classe de cellule |
| antecedent |
|
|
| (=> (instance ?C Cell) (modalAttribute (or (cellShape ?C Sphere) (cellShape ?C Cylinder)) Likely)) |
VirusProteinAndCellPart.kif 367-373 | |
| (=> (instance ?CELL Cell) (exists (?ENVELOPE) (and (instance ?ENVELOPE CellEnvelope) (part ?ENVELOPE ?CELL)))) |
VirusProteinAndCellPart.kif 557-562 |
| consequent |
|
|
| (=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (agent ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL Cell)))) |
Merge.kif 14383-14391 | |
| (=> (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 14352-14363 |
|
| (=> (instance ?MEMBRANE CellMembraneInternal) (exists (?CELL) (and (instance ?CELL Cell) (interiorPart ?MEMBRANE ?CELL)))) |
VirusProteinAndCellPart.kif 435-440 | |
| (=> (instance ?NUCLEUS CellNucleus) (exists (?CELL) (and (instance ?CELL Cell) (part ?NUCLEUS ?CELL)))) |
Mid-level-ontology.kif 10847-10852 | |
| (=> (instance ?O Organelle) (exists (?C) (and (instance ?C Cell) (part ?O ?C)))) |
Mid-level-ontology.kif 10105-10110 | |
| (=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL)))) |
Mid-level-ontology.kif 10834-10839 | |
| (=> (instance ?PART AnatomicalStructure) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART)))) |
Merge.kif 14822-14827 | |
| (=> (instance ?STUFF Tissue) (exists (?PART) (and (instance ?PART Cell) (part ?PART ?STUFF)))) |
Merge.kif 15027-15032 | |
| (=> (instance ?W CellWall) (exists (?CELL ?SURF) (and (instance ?CELL Cell) (part ?W ?CELL) (surface ?SURF ?CELL) (part ?SURF ?W)))) |
VirusProteinAndCellPart.kif 422-429 |
|
|
|
|
