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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HydrophilicLipidHead
HydrophilicLipidHead(hydrophilic lipid head)

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


(documentation HydrophilicLipidHead EnglishLanguage "The class of heads of molecules that have hydrophilic heads.") VirusProteinAndCellPart.kif 515-516
(subclass HydrophilicLipidHead PureSubstance) VirusProteinAndCellPart.kif 514-514 Hydrophilic lipid head is a subclass of pure substance

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


(termFormat ChineseLanguage HydrophilicLipidHead "亲水性脂质头") domainEnglishFormat.kif 29049-29049
(termFormat ChineseTraditionalLanguage HydrophilicLipidHead "親水性脂質頭") domainEnglishFormat.kif 29048-29048
(termFormat EnglishLanguage HydrophilicLipidHead "hydrophilic lipid head") domainEnglishFormat.kif 29047-29047

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


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


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