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 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

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


(subclass CellEnvelope PlasmaMembrane) VirusProteinAndCellPart.kif 1067-1067
(subclass VirusOuterMembrane PlasmaMembrane) VirusProteinAndCellPart.kif 1120-1120
(termFormat ChineseLanguage PlasmaMembrane "质膜") domainEnglishFormat.kif 46146-46146
(termFormat ChineseTraditionalLanguage PlasmaMembrane "質膜") domainEnglishFormat.kif 46145-46145
(termFormat EnglishLanguage PlasmaMembrane "plasma membrane") domainEnglishFormat.kif 46144-46144

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 558-569
(=>
    (instance ?OBJ1 PlasmaMembrane)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Protein))))
VirusProteinAndCellPart.kif 356-361


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 3.0 is open source software produced by Articulate Software and its partners