| Lipoprotein(lipoprotein) | | HDL, alpha-lipoprotein, high-density_lipoprotein, lipoprotein |
| appearance as argument number 1 |
|
|
| (documentation Lipoprotein EnglishLanguage "The class of lipoproteins.") | VirusProteinAndCellPart.kif 1079-1079 | |
| (subclass Lipoprotein Protein) | VirusProteinAndCellPart.kif 1078-1078 | Lipoprotein is a subclass of protein |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Lipoprotein "脂蛋白") | domainEnglishFormat.kif 34623-34623 | |
| (termFormat ChineseTraditionalLanguage Lipoprotein "脂蛋白") | domainEnglishFormat.kif 34622-34622 | |
| (termFormat EnglishLanguage Lipoprotein "lipoprotein") | domainEnglishFormat.kif 34621-34621 |
| consequent |
|
|
| (=> (instance ?OBJ1 CellEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Lipoprotein)))) |
VirusProteinAndCellPart.kif 1091-1096 |
|
|
|
|