TreeView 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 1115-1116
(subclass VirusCoreEnvelope VirusPart)	VirusProteinAndCellPart.kif 1114-1114	子類病毒核心信封 and 病毒部分

appearance as argument number 2

(termFormat ChineseLanguage VirusCoreEnvelope "病毒核心信封")	domainEnglishFormat.kif 61754-61754
(termFormat ChineseTraditionalLanguage VirusCoreEnvelope "病毒核心信封")	domainEnglishFormat.kif 61753-61753
(termFormat EnglishLanguage VirusCoreEnvelope "virus core envelope")	domainEnglishFormat.kif 61752-61752

antecedent

(=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Palisade))))	VirusProteinAndCellPart.kif 1125-1130	例 Object and 病毒核心信封 Object 適當的部分 Object and Object 例 Object and 柵欄
(=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (surface ?OBJ1 ?OBJ2) (instance ?OBJ2 ViralCore))))	VirusProteinAndCellPart.kif 1204-1209	例 SelfConnectedObject and 病毒核心信封 SelfConnectedObject 表面 SelfConnectedObject and SelfConnectedObject 例 SelfConnectedObject and 病毒核心

consequent

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

VirusProteinAndCellPart.kif 1177-1182