| appearance as argument number 1 |
|
| (documentation HydrophobicLipidTail EnglishLanguage "The class of tails of molecules that have hydrophobic tails.") | VirusProteinAndCellPart.kif 525-526 | |
| (subclass HydrophobicLipidTail PureSubstance) | VirusProteinAndCellPart.kif 524-524 | Hydrophobic lipid tail is a subclass of pure substance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HydrophobicLipidTail "疏水脂质尾") | domainEnglishFormat.kif 29095-29095 | |
| (termFormat ChineseTraditionalLanguage HydrophobicLipidTail "疏水脂質尾") | domainEnglishFormat.kif 29094-29094 | |
| (termFormat EnglishLanguage HydrophobicLipidTail "hydrophobic lipid tail") | domainEnglishFormat.kif 29093-29093 |
| consequent |
|
|
| (=> (instance ?MOLECULE LipidMembraneMolecule) (exists (?TAIL) (and (instance ?TAIL HydrophobicLipidTail) (part ?TAIL ?MOLECULE)))) |
VirusProteinAndCellPart.kif 528-533 |
|
|
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