VirusOuterMembrane - Sigma Knowledge base Browser

appearance as argument number 1

(subclass VirusOuterMembrane VirusPart)	VirusProteinAndCellPart.kif 1105-1105	Virus outer membrane is a subclass of virus part
(subclass VirusOuterMembrane PlasmaMembrane)	VirusProteinAndCellPart.kif 1106-1106	Virus outer membrane is a subclass of plasma membrane
(documentation VirusOuterMembrane EnglishLanguage "The class of virus membranes.")	VirusProteinAndCellPart.kif 1107-1107	Virus outer membrane is a subclass of plasma membrane

appearance as argument number 2

(termFormat EnglishLanguage VirusOuterMembrane "virus outer membrane")	domainEnglishFormat.kif 61767-61767
(termFormat ChineseTraditionalLanguage VirusOuterMembrane "病毒外膜")	domainEnglishFormat.kif 61768-61768
(termFormat ChineseLanguage VirusOuterMembrane "病毒外膜")	domainEnglishFormat.kif 61769-61769

consequent

(=>
    (instance ?VIRION VacciniaVirion)
    (exists (?MEMBRANE)
        (and
            (part ?MEMBRANE ?VIRION)
            (instance ?MEMBRANE VirusOuterMembrane))))

If X is an instance of vaccinia virion, then there exists Y such that Y is a part of X and Y is an instance of virus outer membrane