TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage VirusCoreEnvelope "virus core envelope")	domainEnglishFormat.kif 61755-61755
(termFormat ChineseTraditionalLanguage VirusCoreEnvelope "病毒核心信封")	domainEnglishFormat.kif 61756-61756
(termFormat ChineseLanguage VirusCoreEnvelope "病毒核心信封")	domainEnglishFormat.kif 61757-61757

antecedent

(=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Palisade))))	VirusProteinAndCellPart.kif 1112-1117	If X is an instance of virus core envelope, then there exists Y such that Y is a proper part of X and Y is an instance of palisade
(=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (surface ?OBJ1 ?OBJ2) (instance ?OBJ2 ViralCore))))	VirusProteinAndCellPart.kif 1191-1196	If X is an instance of virus core envelope, then there exists Y such that X is a surface of Y and Y is an instance of viral core

consequent

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

If X is an instance of vaccinia virion, then there exists Y such that Y is an instance of virus core envelope and Y is a interior part of X