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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlasmaMembrane
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 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

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


(subclass CellEnvelope PlasmaMembrane) VirusProteinAndCellPart.kif 482-482
(subclass VirusOuterMembrane PlasmaMembrane) VirusProteinAndCellPart.kif 535-535
(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