Lipoprotein - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Lipoprotein EnglishLanguage "The class of lipoproteins.")	VirusProteinAndCellPart.kif 496-496
(subclass Lipoprotein Protein)	VirusProteinAndCellPart.kif 495-495	subclass Lipoprotein and Protein

appearance as argument number 2

(termFormat ChineseLanguage Lipoprotein "脂蛋白")	domainEnglishFormat.kif 34579-34579
(termFormat ChineseTraditionalLanguage Lipoprotein "脂蛋白")	domainEnglishFormat.kif 34578-34578
(termFormat EnglishLanguage Lipoprotein "lipoprotein")	domainEnglishFormat.kif 34577-34577

consequent

(=>
    (instance ?OBJ1 CellEnvelope)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Lipoprotein))))

VirusProteinAndCellPart.kif 508-513