| PlasmaMembrane(plasma membrane)
| | cell_membrane, cytomembrane, plasma_membrane |
| appearance as argument number 1 |
|
|
| (documentation PlasmaMembrane EnglishLanguage "The class of plasma membranes that surround cells made up of a lipid bilayer and other associated proteins and other molecules.") | VirusProteinAndCellPart.kif 352-354 | |
| (externalImage PlasmaMembrane "http://upload.wikimedia.org/wikipedia/commons/ 0/ 05/ Structure_bacterienne.png") | pictureList.kif 10192-10192 | |
| (externalImage PlasmaMembrane "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2c/ Transferrin_cycle.png") | pictureList.kif 11623-11623 | |
| (externalImage PlasmaMembrane "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Mycobacterial_cell_wall_diagram.png") | pictureList.kif 11622-11622 | |
| (subclass PlasmaMembrane BodyCovering) | VirusProteinAndCellPart.kif 351-351 | Plasma membrane is a subclass of body covering |
| appearance as argument number 2 |
|
|
| (subclass CellEnvelope PlasmaMembrane) | VirusProteinAndCellPart.kif 1068-1068 | Cell envelope is a subclass of plasma membrane |
| (subclass VirusOuterMembrane PlasmaMembrane) | VirusProteinAndCellPart.kif 1121-1121 | Virus outer membrane is a subclass of plasma membrane |
| (termFormat ChineseLanguage PlasmaMembrane "质膜") | domainEnglishFormat.kif 46184-46184 | Virus outer membrane is a subclass of plasma membrane |
| (termFormat ChineseTraditionalLanguage PlasmaMembrane "質膜") | domainEnglishFormat.kif 46183-46183 | Virus outer membrane is a subclass of plasma membrane |
| (termFormat EnglishLanguage PlasmaMembrane "plasma membrane") | domainEnglishFormat.kif 46182-46182 | Virus outer membrane is a subclass of plasma membrane |
| antecedent |
|
|
| (=> (instance ?OBJ1 PlasmaMembrane) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 LipidBilayer) (not (exists (?OBJ3) (and (instance ?OBJ3 LipidBilayer) (properPart ?OBJ3 ?OBJ1) (not (equal ?OBJ3 ?OBJ2)))))))) |
VirusProteinAndCellPart.kif 557-568 |
|
| (=> (instance ?OBJ1 PlasmaMembrane) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Protein)))) |
VirusProteinAndCellPart.kif 356-361 |
|
|
|
|