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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LipidMembraneMolecule

Sigma KEE - LipidMembraneMolecule
LipidMembraneMolecule

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 503-505
(subclass LipidMembraneMolecule AmphipathicMolecule) VirusProteinAndCellPart.kif 502-502

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


(termFormat ChineseLanguage LipidMembraneMolecule "脂质膜分子") domainEnglishFormat.kif 34583-34583
(termFormat ChineseTraditionalLanguage LipidMembraneMolecule "脂質膜分子") domainEnglishFormat.kif 34582-34582
(termFormat EnglishLanguage LipidMembraneMolecule "lipid membrane molecule") domainEnglishFormat.kif 34581-34581

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


(=>
    (instance ?MOLECULE LipidMembraneMolecule)
    (exists (?HEAD)
        (and
            (instance ?HEAD HydrophilicLipidHead)
            (part ?HEAD ?MOLECULE))))
VirusProteinAndCellPart.kif 518-523
(=>
    (instance ?MOLECULE LipidMembraneMolecule)
    (exists (?TAIL)
        (and
            (instance ?TAIL HydrophobicLipidTail)
            (part ?TAIL ?MOLECULE))))
VirusProteinAndCellPart.kif 529-534

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


(=>
    (instance ?LIPID LipidBilayer)
    (exists (?MOLECULE)
        (and
            (instance ?MOLECULE LipidMembraneMolecule)
            (part ?MOLECULE ?LIPID))))
VirusProteinAndCellPart.kif 507-512
(=>
    (instance ?OBJ1 LipidBilayer)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 LipidMembraneMolecule))))
VirusProteinAndCellPart.kif 571-576


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 is open source software produced by Articulate Software and its partners