| HydrophobicSide(hydrophobic side)
|
| 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 | Hydrophobic side is a subclass of cell part |
| (subclass HydrophobicSide Region) | VirusProteinAndCellPart.kif 535-535 | Hydrophobic side is a subclass of region |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HydrophobicSide "疏水面") | domainEnglishFormat.kif 29101-29101 | |
| (termFormat ChineseTraditionalLanguage HydrophobicSide "疏水面") | domainEnglishFormat.kif 29100-29100 | |
| (termFormat EnglishLanguage HydrophobicSide "hydrophobic side") | domainEnglishFormat.kif 29099-29099 |
| consequent |
|
|
| (=> (instance ?LIPID LipidBilayer) (exists (?SIDE) (and (instance ?SIDE HydrophobicSide) (part ?SIDE ?LIPID)))) |
VirusProteinAndCellPart.kif 539-544 |
|
|
|
|