| HydrophobicSide
|
| appearance as argument number 1 |
|
| (documentation HydrophobicSide EnglishLanguage "The class of hydrophobic sides of lipid bilayers.") | VirusProteinAndCellPart.kif 537-537 | |
| (externalImage HydrophobicSide "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Dew_2.jpg") | pictureList.kif 8533-8533 | |
| (externalImage HydrophobicSide "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Drops_I.jpg") | pictureList.kif 9324-9324 | |
| (externalImage HydrophobicSide "http://upload.wikimedia.org/wikipedia/en/ f/ f7/ DropConnectionAngel.jpg") | pictureList.kif 9325-9325 | |
| (subclass HydrophobicSide CellPart) | VirusProteinAndCellPart.kif 536-536 | |
| (subclass HydrophobicSide Region) | VirusProteinAndCellPart.kif 535-535 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HydrophobicSide "疏水面") | domainEnglishFormat.kif 29067-29067 | |
| (termFormat ChineseTraditionalLanguage HydrophobicSide "疏水面") | domainEnglishFormat.kif 29066-29066 | |
| (termFormat EnglishLanguage HydrophobicSide "hydrophobic side") | domainEnglishFormat.kif 29065-29065 |
| consequent |
|
|
| (=> (instance ?LIPID LipidBilayer) (exists (?SIDE) (and (instance ?SIDE HydrophobicSide) (part ?SIDE ?LIPID)))) |
VirusProteinAndCellPart.kif 539-544 |
|
|
|