TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Lipoprotein Protein)	VirusProteinAndCellPart.kif 1063-1063	Lipoprotein is a subclass of protein
(documentation Lipoprotein EnglishLanguage "The class of lipoproteins.")	VirusProteinAndCellPart.kif 1064-1064	Lipoprotein is a subclass of protein

appearance as argument number 2

(termFormat EnglishLanguage Lipoprotein "lipoprotein")	domainEnglishFormat.kif 34591-34591
(termFormat ChineseTraditionalLanguage Lipoprotein "脂蛋白")	domainEnglishFormat.kif 34592-34592
(termFormat ChineseLanguage Lipoprotein "脂蛋白")	domainEnglishFormat.kif 34593-34593

consequent

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

If X is an instance of cell envelope, then there exists Y such that Y is a proper part of X and Y is an instance of lipoprotein