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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - LipidMembraneMolecule
LipidMembraneMolecule(lipid membrane molecule)

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


(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 507-509
(subclass LipidMembraneMolecule AmphipathicMolecule) VirusProteinAndCellPart.kif 506-506 Lipid membrane molecule is a subclass of amphipathic molecule

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


(termFormat ChineseLanguage LipidMembraneMolecule "脂质膜分子") domainEnglishFormat.kif 34594-34594
(termFormat ChineseTraditionalLanguage LipidMembraneMolecule "脂質膜分子") domainEnglishFormat.kif 34593-34593
(termFormat EnglishLanguage LipidMembraneMolecule "lipid membrane molecule") domainEnglishFormat.kif 34592-34592

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


(=>
    (instance ?MOLECULE LipidMembraneMolecule)
    (exists (?HEAD)
        (and
            (instance ?HEAD HydrophilicLipidHead)
            (part ?HEAD ?MOLECULE))))
VirusProteinAndCellPart.kif 522-527
(=>
    (instance ?MOLECULE LipidMembraneMolecule)
    (exists (?TAIL)
        (and
            (instance ?TAIL HydrophobicLipidTail)
            (part ?TAIL ?MOLECULE))))
VirusProteinAndCellPart.kif 533-538

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


(=>
    (instance ?LIPID LipidBilayer)
    (exists (?MOLECULE)
        (and
            (instance ?MOLECULE LipidMembraneMolecule)
            (part ?MOLECULE ?LIPID))))
VirusProteinAndCellPart.kif 511-516
(=>
    (instance ?OBJ1 LipidBilayer)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 LipidMembraneMolecule))))
VirusProteinAndCellPart.kif 575-580


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