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


KB Term:  Term intersection
English Word: 

  NostrilAndUpperLip

 Sigma KEE - LipidMembraneMolecule
LipidMembraneMolecule(lipid membrane molecule)

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


(subclass LipidMembraneMolecule AmphipathicMolecule) VirusProteinAndCellPart.kif 484-484 Lipid membrane molecule is a subclass of amphipathic molecule
(documentation LipidMembraneMolecule EnglishLanguage "The class of molecules, composed of a hydrophilic head and a hydrophobic tail. Lipid Bilayers are composed of these molecules.") VirusProteinAndCellPart.kif 485-487 Lipid membrane molecule is a subclass of amphipathic molecule

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


(termFormat EnglishLanguage LipidMembraneMolecule "lipid membrane molecule") domainEnglishFormat.kif 34585-34585
(termFormat ChineseTraditionalLanguage LipidMembraneMolecule "脂質膜分子") domainEnglishFormat.kif 34586-34586
(termFormat ChineseLanguage LipidMembraneMolecule "脂质膜分子") domainEnglishFormat.kif 34587-34587

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


(=>
    (instance ?MOLECULE LipidMembraneMolecule)
    (exists (?HEAD)
        (and
            (instance ?HEAD HydrophilicLipidHead)
            (part ?HEAD ?MOLECULE))))		 VirusProteinAndCellPart.kif 500-505 If X is an instance of lipid membrane molecule, then there exists Y such that Y is an instance of hydrophilic lipid head and Y is a part of X
(=>
    (instance ?MOLECULE LipidMembraneMolecule)
    (exists (?TAIL)
        (and
            (instance ?TAIL HydrophobicLipidTail)
            (part ?TAIL ?MOLECULE))))		 VirusProteinAndCellPart.kif 511-516 If X is an instance of lipid membrane molecule, then there exists Y such that Y is an instance of hydrophobic lipid tail and Y is a part of X

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


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


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