LipidBilayer - Sigma Knowledge base Browser

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	Lipid bilayer is a subclass of cell membrane
(subclass LipidBilayer CellPart)	VirusProteinAndCellPart.kif 492-492	Lipid bilayer is a subclass of cell part

appearance as argument number 2

(termFormat ChineseLanguage LipidBilayer "脂质双分子层")	domainEnglishFormat.kif 34605-34605
(termFormat ChineseTraditionalLanguage LipidBilayer "脂質雙分子層")	domainEnglishFormat.kif 34604-34604
(termFormat EnglishLanguage LipidBilayer "lipid bilayer")	domainEnglishFormat.kif 34603-34603

antecedent

(=> (instance ?LIPID LipidBilayer) (exists (?MOLECULE) (and (instance ?MOLECULE LipidMembraneMolecule) (part ?MOLECULE ?LIPID))))	VirusProteinAndCellPart.kif 506-511	If an object is an instance of lipid bilayer, then there exists another object such that the other object is an instance of lipid membrane molecule and the other object is a part of the object
(=> (instance ?LIPID LipidBilayer) (exists (?SIDE) (and (instance ?SIDE HydrophilicSide) (part ?SIDE ?LIPID))))	VirusProteinAndCellPart.kif 550-555	If an object is an instance of lipid bilayer, then there exists another object such that the other object is an instance of hydrophilic side and the other object is a part of the object
(=> (instance ?LIPID LipidBilayer) (exists (?SIDE) (and (instance ?SIDE HydrophobicSide) (part ?SIDE ?LIPID))))	VirusProteinAndCellPart.kif 539-544	If an object is an instance of lipid bilayer, then there exists another object such that the other object is an instance of hydrophobic side and the other object is a part of the object
(=> (instance ?OBJ1 LipidBilayer) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 LipidMembraneMolecule))))	VirusProteinAndCellPart.kif 570-575	If an object is an instance of lipid bilayer, then there exists another object such that the other object is a proper part of the object and the other object is an instance of lipid membrane molecule

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

If an object is an instance of plasma membrane,
then there exists another object such that the other object is a proper part of the object and the other object is an instance of lipid bilayer and there doesn't exist a third object such that the third object is an instance of lipid bilayer and the third object is a proper part of the object and the third object is not equal to the other object

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

KB Term:			Term intersection

English Word: