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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LipidBilayer

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 494-495
(subclass LipidBilayer CellMembrane) VirusProteinAndCellPart.kif 493-493 脂质双分子层细胞膜subclass
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 492-492 脂质双分子层细胞部分subclass

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 506-511
(=>
    (instance ?LIPID LipidBilayer)
    (exists (?SIDE)
        (and
            (instance ?SIDE HydrophilicSide)
            (part ?SIDE ?LIPID))))
VirusProteinAndCellPart.kif 550-555
(=>
    (instance ?LIPID LipidBilayer)
    (exists (?SIDE)
        (and
            (instance ?SIDE HydrophobicSide)
            (part ?SIDE ?LIPID))))
VirusProteinAndCellPart.kif 539-544
(=>
    (instance ?OBJ1 LipidBilayer)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 LipidMembraneMolecule))))
VirusProteinAndCellPart.kif 570-575

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


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