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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LipidBilayer
LipidBilayer

appearance as argument number 1
-------------------------


(documentation LipidBilayer EnglishLanguage "This is the class of lipid bilayers that surround cells and make up a substantial portion of a cell membrane.") VirusProteinAndCellPart.kif 495-496
(subclass LipidBilayer CellMembrane) VirusProteinAndCellPart.kif 494-494
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 493-493

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


(termFormat ChineseLanguage LipidBilayer "脂质双分子层") domainEnglishFormat.kif 34577-34577
(termFormat ChineseTraditionalLanguage LipidBilayer "脂質雙分子層") domainEnglishFormat.kif 34576-34576
(termFormat EnglishLanguage LipidBilayer "lipid bilayer") domainEnglishFormat.kif 34575-34575

antecedent
-------------------------


(=>
    (instance ?LIPID LipidBilayer)
    (exists (?MOLECULE)
        (and
            (instance ?MOLECULE LipidMembraneMolecule)
            (part ?MOLECULE ?LIPID))))
VirusProteinAndCellPart.kif 507-512
(=>
    (instance ?LIPID LipidBilayer)
    (exists (?SIDE)
        (and
            (instance ?SIDE HydrophilicSide)
            (part ?SIDE ?LIPID))))
VirusProteinAndCellPart.kif 551-556
(=>
    (instance ?LIPID LipidBilayer)
    (exists (?SIDE)
        (and
            (instance ?SIDE HydrophobicSide)
            (part ?SIDE ?LIPID))))
VirusProteinAndCellPart.kif 540-545
(=>
    (instance ?OBJ1 LipidBilayer)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 LipidMembraneMolecule))))
VirusProteinAndCellPart.kif 571-576

consequent
-------------------------


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


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