| appearance as argument number 1 |
|
| (documentation LipidBilayer EnglishLanguage "This is the class of lipid bilayers that surround cells and make up a substantial portion of a cell membrane.") | VirusProteinAndCellPart.kif 494-495 | |
| (subclass LipidBilayer CellMembrane) | VirusProteinAndCellPart.kif 493-493 | |
| (subclass LipidBilayer CellPart) | VirusProteinAndCellPart.kif 492-492 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LipidBilayer "脂质双分子层") | domainEnglishFormat.kif 34606-34606 | |
| (termFormat ChineseTraditionalLanguage LipidBilayer "脂質雙分子層") | domainEnglishFormat.kif 34605-34605 | |
| (termFormat EnglishLanguage LipidBilayer "lipid bilayer") | domainEnglishFormat.kif 34604-34604 |
| antecedent |
|
|
| (=> (instance ?LIPID LipidBilayer) (exists (?MOLECULE) (and (instance ?MOLECULE LipidMembraneMolecule) (part ?MOLECULE ?LIPID)))) |
VirusProteinAndCellPart.kif 506-511 | |
| (=> (instance ?LIPID LipidBilayer) (exists (?SIDE) (and (instance ?SIDE HydrophilicSide) (part ?SIDE ?LIPID)))) |
VirusProteinAndCellPart.kif 550-555 | |
| (=> (instance ?LIPID LipidBilayer) (exists (?SIDE) (and (instance ?SIDE HydrophobicSide) (part ?SIDE ?LIPID)))) |
VirusProteinAndCellPart.kif 539-544 | |
| (=> (instance ?OBJ1 LipidBilayer) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 LipidMembraneMolecule)))) |
VirusProteinAndCellPart.kif 570-575 |
| consequent |
|
|
| (=> (instance ?OBJ1 PlasmaMembrane) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 LipidBilayer) (not (exists (?OBJ3) (and (instance ?OBJ3 LipidBilayer) (properPart ?OBJ3 ?OBJ1) (not (equal ?OBJ3 ?OBJ2)))))))) |
VirusProteinAndCellPart.kif 557-568 |
|
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