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 301-303
(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 300-300 subclass PlasmaMembrane and BodyCovering

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


(subclass CellEnvelope PlasmaMembrane) VirusProteinAndCellPart.kif 485-485 subclass CellEnvelope and PlasmaMembrane
(subclass VirusOuterMembrane PlasmaMembrane) VirusProteinAndCellPart.kif 538-538 subclass VirusOuterMembrane and PlasmaMembrane
(termFormat ChineseLanguage PlasmaMembrane "质膜") domainEnglishFormat.kif 46141-46141
(termFormat ChineseTraditionalLanguage PlasmaMembrane "質膜") domainEnglishFormat.kif 46140-46140
(termFormat EnglishLanguage PlasmaMembrane "plasma membrane") domainEnglishFormat.kif 46139-46139

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 438-449
(=>
    (instance ?OBJ1 PlasmaMembrane)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Protein))))
VirusProteinAndCellPart.kif 305-310


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