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


KB Term:  Term intersection
English Word: 

  LipidBilayer

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