Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - LipidBilayer
LipidBilayer(lipid bilayer)

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


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

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


(termFormat EnglishLanguage LipidBilayer "lipid bilayer") domainEnglishFormat.kif 34579-34579
(termFormat ChineseTraditionalLanguage LipidBilayer "脂質雙分子層") domainEnglishFormat.kif 34580-34580
(termFormat ChineseLanguage LipidBilayer "脂质双分子层") domainEnglishFormat.kif 34581-34581

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


(=>
    (instance ?LIPID LipidBilayer)
    (exists (?MOLECULE)
        (and
            (instance ?MOLECULE LipidMembraneMolecule)
            (part ?MOLECULE ?LIPID))))		 VirusProteinAndCellPart.kif 489-494 If X is an instance of lipid bilayer, then there exists Y such that Y is an instance of lipid membrane molecule and Y is a part of X
(=>
    (instance ?LIPID LipidBilayer)
    (exists (?SIDE)
        (and
            (instance ?SIDE HydrophobicSide)
            (part ?SIDE ?LIPID))))		 VirusProteinAndCellPart.kif 522-527 If X is an instance of lipid bilayer, then there exists Y such that Y is an instance of hydrophobic side and Y is a part of X
(=>
    (instance ?LIPID LipidBilayer)
    (exists (?SIDE)
        (and
            (instance ?SIDE HydrophilicSide)
            (part ?SIDE ?LIPID))))		 VirusProteinAndCellPart.kif 533-538 If X is an instance of lipid bilayer, then there exists Y such that Y is an instance of hydrophilic side and Y is a part of X
(=>
    (instance ?OBJ1 LipidBilayer)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 LipidMembraneMolecule))))		 VirusProteinAndCellPart.kif 553-558 If X is an instance of lipid bilayer, then there exists Y such that Y is a proper part of X and Y 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 540-551 If X is an instance of plasma membrane, then there exists Y such that Y is a proper part of X, Y is an instance of lipid bilayer, there doesn't exist Z such that Z is an instance of lipid bilayer, Z is a proper part of X, equal Z, and Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners