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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlasmaMembrane

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 PlasmaMembrane est une sous-classe de partie du corps en recouvrant une autre

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


(subclass CellEnvelope PlasmaMembrane) VirusProteinAndCellPart.kif 1067-1067 CellEnvelope est une sous-classe de PlasmaMembrane
(subclass VirusOuterMembrane PlasmaMembrane) VirusProteinAndCellPart.kif 1120-1120 VirusOuterMembrane est une sous-classe de PlasmaMembrane
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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