VirusCoreEnvelope - Sigma Knowledge base Browser

appearance as argument number 1

(documentation VirusCoreEnvelope EnglishLanguage "The class of core envelopes inside of which the genetic material of the virus and virion enzymes are contained.")	VirusProteinAndCellPart.kif 1117-1118
(subclass VirusCoreEnvelope VirusPart)	VirusProteinAndCellPart.kif 1116-1116	Virus core envelope is a subclass of virus part

appearance as argument number 2

(termFormat ChineseLanguage VirusCoreEnvelope "病毒核心信封")	domainEnglishFormat.kif 61802-61802
(termFormat ChineseTraditionalLanguage VirusCoreEnvelope "病毒核心信封")	domainEnglishFormat.kif 61801-61801
(termFormat EnglishLanguage VirusCoreEnvelope "virus core envelope")	domainEnglishFormat.kif 61800-61800

antecedent

(=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Palisade))))	VirusProteinAndCellPart.kif 1127-1132	If an object is an instance of virus core envelope, then there exists another object such that the other object is a proper part of the object and the other object is an instance of palisade
(=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (surface ?OBJ1 ?OBJ2) (instance ?OBJ2 ViralCore))))	VirusProteinAndCellPart.kif 1206-1211	If a self connected object is an instance of virus core envelope, then there exists another self connected object such that the self connected object is a surface of the other self connected object and the other self connected object is an instance of viral core

consequent

(=>
    (instance ?VIR VacciniaVirion)
    (exists (?ENV)
        (and
            (instance ?ENV VirusCoreEnvelope)
            (interiorPart ?ENV ?VIR))))

VirusProteinAndCellPart.kif 1179-1184