HydrophilicSide - Sigma Knowledge base Browser

appearance as argument number 1

(subclass HydrophilicSide Region)	VirusProteinAndCellPart.kif 529-529	Hydrophilic side is a subclass of region
(subclass HydrophilicSide CellPart)	VirusProteinAndCellPart.kif 530-530	Hydrophilic side is a subclass of cell part
(documentation HydrophilicSide EnglishLanguage "The class of hydrophilic sides of lipid bilayers.")	VirusProteinAndCellPart.kif 531-531	Hydrophilic side is a subclass of cell part

appearance as argument number 2

(termFormat EnglishLanguage HydrophilicSide "hydrophilic side")	domainEnglishFormat.kif 29057-29057
(termFormat ChineseTraditionalLanguage HydrophilicSide "親水側")	domainEnglishFormat.kif 29058-29058
(termFormat ChineseLanguage HydrophilicSide "亲水侧")	domainEnglishFormat.kif 29059-29059

consequent

(=>
    (instance ?LIPID LipidBilayer)
    (exists (?SIDE)
        (and
            (instance ?SIDE HydrophilicSide)
            (part ?SIDE ?LIPID))))

If X is an instance of lipid bilayer, then there exists Y such that Y is an instance of hydrophilic side and Y is a part of X