VirusCoreEnvelope(病毒核心信封) |
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 | |
(=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (surface ?OBJ1 ?OBJ2) (instance ?OBJ2 ViralCore)))) |
VirusProteinAndCellPart.kif 1204-1209 |
consequent |
(=> (instance ?VIR VacciniaVirion) (exists (?ENV) (and (instance ?ENV VirusCoreEnvelope) (interiorPart ?ENV ?VIR)))) |
VirusProteinAndCellPart.kif 1177-1182 |