Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlasmaMembrane
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 298-300
(externalImage PlasmaMembrane "http://upload.wikimedia.org/wikipedia/commons/ 0/ 05/ Structure_bacterienne.png") pictureList.kif 10213-10213
(externalImage PlasmaMembrane "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2c/ Transferrin_cycle.png") pictureList.kif 11650-11650
(externalImage PlasmaMembrane "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Mycobacterial_cell_wall_diagram.png") pictureList.kif 11649-11649
(subclass PlasmaMembrane BodyCovering) VirusProteinAndCellPart.kif 297-297 Plasma membrane is a subclass of body covering

appearance as argument number 2
-------------------------


(subclass CellEnvelope PlasmaMembrane) VirusProteinAndCellPart.kif 482-482 Cell envelope is a subclass of plasma membrane
(subclass VirusOuterMembrane PlasmaMembrane) VirusProteinAndCellPart.kif 535-535 Virus outer membrane is a subclass of plasma membrane
(termFormat ChineseLanguage PlasmaMembrane "质膜") domainEnglishFormat.kif 46045-46045
(termFormat ChineseTraditionalLanguage PlasmaMembrane "質膜") domainEnglishFormat.kif 46044-46044
(termFormat EnglishLanguage PlasmaMembrane "plasma membrane") domainEnglishFormat.kif 46043-46043

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 435-446
(=>
    (instance ?OBJ1 PlasmaMembrane)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Protein))))
VirusProteinAndCellPart.kif 302-307


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners