| PlasmaMembrane
| |
| 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 357-359 | |
| (externalImage PlasmaMembrane "http://upload.wikimedia.org/wikipedia/commons/ 0/ 05/ Structure_bacterienne.png") | pictureList.kif 10190-10190 | |
| (externalImage PlasmaMembrane "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2c/ Transferrin_cycle.png") | pictureList.kif 11616-11616 | |
| (externalImage PlasmaMembrane "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Mycobacterial_cell_wall_diagram.png") | pictureList.kif 11615-11615 | |
| (subclass PlasmaMembrane BodyCovering) | VirusProteinAndCellPart.kif 356-356 | PlasmaMembrane est une sous-classe de partie du corps en recouvrant une autre |
| appearance as argument number 2 |
|
|
| (subclass CellEnvelope PlasmaMembrane) | VirusProteinAndCellPart.kif 1075-1075 | CellEnvelope est une sous-classe de PlasmaMembrane |
| (subclass VirusOuterMembrane PlasmaMembrane) | VirusProteinAndCellPart.kif 1128-1128 | VirusOuterMembrane est une sous-classe de PlasmaMembrane |
| (termFormat ChineseLanguage PlasmaMembrane "质膜") | domainEnglishFormat.kif 46148-46148 | VirusOuterMembrane est une sous-classe de PlasmaMembrane |
| (termFormat ChineseTraditionalLanguage PlasmaMembrane "質膜") | domainEnglishFormat.kif 46147-46147 | VirusOuterMembrane est une sous-classe de PlasmaMembrane |
| (termFormat EnglishLanguage PlasmaMembrane "plasma membrane") | domainEnglishFormat.kif 46146-46146 | VirusOuterMembrane est une sous-classe de PlasmaMembrane |
| 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 562-573 | |
| (=> (instance ?OBJ1 PlasmaMembrane) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Protein)))) |
VirusProteinAndCellPart.kif 361-366 |
|
|
|