| appearance as argument number 1 |
|
| (documentation HydrophobicLipidTail EnglishLanguage "The class of tails of molecules that have hydrophobic tails.") | VirusProteinAndCellPart.kif 530-531 | |
| (subclass HydrophobicLipidTail PureSubstance) | VirusProteinAndCellPart.kif 529-529 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HydrophobicLipidTail "疏水脂质尾") | domainEnglishFormat.kif 29089-29089 | |
| (termFormat ChineseTraditionalLanguage HydrophobicLipidTail "疏水脂質尾") | domainEnglishFormat.kif 29088-29088 | |
| (termFormat EnglishLanguage HydrophobicLipidTail "hydrophobic lipid tail") | domainEnglishFormat.kif 29087-29087 |
| consequent |
|
|
| (=> (instance ?MOLECULE LipidMembraneMolecule) (exists (?TAIL) (and (instance ?TAIL HydrophobicLipidTail) (part ?TAIL ?MOLECULE)))) |
VirusProteinAndCellPart.kif 533-538 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners