Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PlasmaMembrane
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PlasmaMembrane BodyCovering) | VirusProteinAndCellPart.kif 356-356 | Plasma membrane is a subclass of body covering |
| (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 | Plasma membrane is a subclass of body covering |
| (externalImage PlasmaMembrane "http://upload.wikimedia.org/wikipedia/commons/ 0/ 05/ Structure_bacterienne.png") | pictureList.kif 10190-10190 | Plasma membrane is a subclass of body covering |
| (externalImage PlasmaMembrane "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Mycobacterial_cell_wall_diagram.png") | pictureList.kif 11615-11615 | Plasma membrane is a subclass of body covering |
| (externalImage PlasmaMembrane "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2c/ Transferrin_cycle.png") | pictureList.kif 11616-11616 | Plasma membrane is a subclass of body covering |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?OBJ1 PlasmaMembrane) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Protein)))) |
VirusProteinAndCellPart.kif 361-366 | If X is an instance of plasma membrane, then there exists Y such that Y is a proper part of X and Y is an instance of protein |
| (=> (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 540-551 | If X is an instance of plasma membrane, then there exists Y such that Y is a proper part of X, Y is an instance of lipid bilayer, there doesn't exist Z such that Z is an instance of lipid bilayer, Z is a proper part of X, equal Z, and Y |
|
