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 380-382
(subclass LipidMembraneMolecule AmphipathicMolecule) VirusProteinAndCellPart.kif 379-379 Lipid membrane molecule is a subclass of amphipathic molecule

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


(termFormat ChineseLanguage LipidMembraneMolecule "脂质膜分子") domainEnglishFormat.kif 34477-34477
(termFormat ChineseTraditionalLanguage LipidMembraneMolecule "脂質膜分子") domainEnglishFormat.kif 34476-34476
(termFormat EnglishLanguage LipidMembraneMolecule "lipid membrane molecule") domainEnglishFormat.kif 34475-34475

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


(=>
    (instance ?MOLECULE LipidMembraneMolecule)
    (exists (?HEAD)
        (and
            (instance ?HEAD HydrophilicLipidHead)
            (part ?HEAD ?MOLECULE))))
VirusProteinAndCellPart.kif 395-400
(=>
    (instance ?MOLECULE LipidMembraneMolecule)
    (exists (?TAIL)
        (and
            (instance ?TAIL HydrophobicLipidTail)
            (part ?TAIL ?MOLECULE))))
VirusProteinAndCellPart.kif 406-411

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


(=>
    (instance ?LIPID LipidBilayer)
    (exists (?MOLECULE)
        (and
            (instance ?MOLECULE LipidMembraneMolecule)
            (part ?MOLECULE ?LIPID))))
VirusProteinAndCellPart.kif 384-389
(=>
    (instance ?OBJ1 LipidBilayer)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 LipidMembraneMolecule))))
VirusProteinAndCellPart.kif 448-453


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners