TreeView Knowledge Base Browser - HydrophobicLipidTail

appearance as argument number 1

(subclass HydrophobicLipidTail PureSubstance)	VirusProteinAndCellPart.kif 507-507	Hydrophobic lipid tail is a subclass of pure substance
(documentation HydrophobicLipidTail EnglishLanguage "The class of tails of molecules that have hydrophobic tails.")	VirusProteinAndCellPart.kif 508-509	Hydrophobic lipid tail is a subclass of pure substance

appearance as argument number 2

(termFormat EnglishLanguage HydrophobicLipidTail "hydrophobic lipid tail")	domainEnglishFormat.kif 29063-29063
(termFormat ChineseTraditionalLanguage HydrophobicLipidTail "疏水脂質尾")	domainEnglishFormat.kif 29064-29064
(termFormat ChineseLanguage HydrophobicLipidTail "疏水脂质尾")	domainEnglishFormat.kif 29065-29065

consequent

(=>
    (instance ?MOLECULE LipidMembraneMolecule)
    (exists (?TAIL)
        (and
            (instance ?TAIL HydrophobicLipidTail)
            (part ?TAIL ?MOLECULE))))

If X is an instance of lipid membrane molecule, then there exists Y such that Y is an instance of hydrophobic lipid tail and Y is a part of X