TreeView Knowledge Base Browser

appearance as argument number 1

(subclass HydrophobicSide Region)	VirusProteinAndCellPart.kif 518-518	Hydrophobic side is a subclass of region
(subclass HydrophobicSide CellPart)	VirusProteinAndCellPart.kif 519-519	Hydrophobic side is a subclass of cell part
(documentation HydrophobicSide EnglishLanguage "The class of hydrophobic sides of lipid bilayers.")	VirusProteinAndCellPart.kif 520-520	Hydrophobic side is a subclass of cell part
(externalImage HydrophobicSide "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Dew_2.jpg")	pictureList.kif 8532-8532	Hydrophobic side is a subclass of cell part
(externalImage HydrophobicSide "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Drops_I.jpg")	pictureList.kif 9323-9323	Hydrophobic side is a subclass of cell part
(externalImage HydrophobicSide "http://upload.wikimedia.org/wikipedia/en/ f/ f7/ DropConnectionAngel.jpg")	pictureList.kif 9324-9324	Hydrophobic side is a subclass of cell part

appearance as argument number 2

(termFormat EnglishLanguage HydrophobicSide "hydrophobic side")	domainEnglishFormat.kif 29069-29069
(termFormat ChineseTraditionalLanguage HydrophobicSide "疏水面")	domainEnglishFormat.kif 29070-29070
(termFormat ChineseLanguage HydrophobicSide "疏水面")	domainEnglishFormat.kif 29071-29071

consequent

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

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