TreeView Knowledge Base Browser - HydrophilicLipidHead

appearance as argument number 1

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

appearance as argument number 2

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

consequent

(=>
    (instance ?MOLECULE LipidMembraneMolecule)
    (exists (?HEAD)
        (and
            (instance ?HEAD HydrophilicLipidHead)
            (part ?HEAD ?MOLECULE))))

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