Lipoprotein | ![]() |
appearance as argument number 1 |
![]() |
(documentation Lipoprotein EnglishLanguage "The class of lipoproteins.") | VirusProteinAndCellPart.kif 1086-1086 | |
(subclass Lipoprotein Protein) | VirusProteinAndCellPart.kif 1085-1085 | Lipoprotein は たんぱく質 の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Lipoprotein "脂蛋白") | domainEnglishFormat.kif 34600-34600 | |
(termFormat ChineseTraditionalLanguage Lipoprotein "脂蛋白") | domainEnglishFormat.kif 34599-34599 | |
(termFormat EnglishLanguage Lipoprotein "lipoprotein") | domainEnglishFormat.kif 34598-34598 |
consequent |
![]() |
(=> (instance ?OBJ1 CellEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Lipoprotein)))) |
VirusProteinAndCellPart.kif 1098-1103 |
![]() |
![]() |