more pictures...
| CellEnvelope(cell envelope)
more pictures... | | cell_wall |
| appearance as argument number 1 |
|
|
| (documentation CellEnvelope EnglishLanguage "The class of cellular envelopes.") | VirusProteinAndCellPart.kif 1069-1069 | |
| (externalImage CellEnvelope "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Cellsize.jpg") | pictureList.kif 9928-9928 | |
| (externalImage CellEnvelope "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Gram_Stain_Anthrax.jpg") | pictureList.kif 10590-10590 | |
| (externalImage CellEnvelope "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ Epithelial_cells.jpg") | pictureList.kif 10586-10586 | |
| (externalImage CellEnvelope "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ Gram_Cell_Wall.jpg") | pictureList.kif 10589-10589 | |
| (externalImage CellEnvelope "http://upload.wikimedia.org/wikipedia/en/6/ 6a/ Gram_negative_cellwall_schematic.png") | pictureList.kif 10588-10588 | |
| (subclass CellEnvelope PlasmaMembrane) | VirusProteinAndCellPart.kif 1068-1068 | Cell envelope is a subclass of plasma membrane |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CellEnvelope "细胞包膜") | domainEnglishFormat.kif 13659-13659 | |
| (termFormat ChineseTraditionalLanguage CellEnvelope "細胞包膜") | domainEnglishFormat.kif 13658-13658 | |
| (termFormat EnglishLanguage CellEnvelope "cell envelope") | domainEnglishFormat.kif 13657-13657 |
| antecedent |
|
|
| (=> (instance ?OBJ1 CellEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Lipoprotein)))) |
VirusProteinAndCellPart.kif 1091-1096 |
|
| consequent |
|
|
| (=> (instance ?CELL Cell) (exists (?ENVELOPE) (and (instance ?ENVELOPE CellEnvelope) (part ?ENVELOPE ?CELL)))) |
VirusProteinAndCellPart.kif 1071-1076 |
|
|
|
|