| VacciniaVirion
|
| appearance as argument number 1 |
|
| (documentation VacciniaVirion EnglishLanguage "The class of vaccinia viruses in virion stage. These can be subdivided into IntracellularMatureVirionVaccinia, IntracellularEnvelopedVirionVaccinia, ExtracellularEnvelopedVirionVaccinia, and ProgenyVacciniaVirusImmature.") | VirusProteinAndCellPart.kif 195-198 | |
| (exhaustiveDecomposition VacciniaVirion IntracellularMatureVirionVaccinia IntracellularEnvelopedVirionVaccinia ExtracellularEnvelopedVirionVaccinia ProgenyVacciniaVirusImmature) | VirusProteinAndCellPart.kif 194-194 | |
| (externalImage VacciniaVirion "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ Smallpox_vaccine_site.jpg") | pictureList.kif 8776-8776 | |
| (externalImage VacciniaVirion "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Vaccinia_virus_PHIL_2143_lores.jpg") | pictureList.kif 9790-9790 | |
| (subclass VacciniaVirion VacciniaVirus) | VirusProteinAndCellPart.kif 193-193 |
| appearance as argument number 2 |
|
|
| (subclass ExtracellularEnvelopedVirionVaccinia VacciniaVirion) | VirusProteinAndCellPart.kif 212-212 | |
| (subclass IntracellularEnvelopedVirionVaccinia VacciniaVirion) | VirusProteinAndCellPart.kif 208-208 | |
| (subclass IntracellularMatureVirionVaccinia VacciniaVirion) | VirusProteinAndCellPart.kif 204-204 | |
| (termFormat ChineseLanguage VacciniaVirion "牛痘病毒粒子") | domainEnglishFormat.kif 61156-61156 | |
| (termFormat ChineseTraditionalLanguage VacciniaVirion "牛痘病毒粒子") | domainEnglishFormat.kif 61155-61155 | |
| (termFormat EnglishLanguage VacciniaVirion "vaccinia virion") | domainEnglishFormat.kif 61154-61154 |
| antecedent |
|
|
| (=> (instance ?VIR VacciniaVirion) (exists (?ENV) (and (instance ?ENV VirusCoreEnvelope) (interiorPart ?ENV ?VIR)))) |
VirusProteinAndCellPart.kif 1179-1184 | |
| (=> (instance ?VIRION VacciniaVirion) (exists (?MEMBRANE) (and (part ?MEMBRANE ?VIRION) (instance ?MEMBRANE VirusOuterMembrane)))) |
VirusProteinAndCellPart.kif 1199-1204 | |
| (=> (instance ?VIRUS VacciniaVirion) (attribute ?VIRUS Virion)) |
VirusProteinAndCellPart.kif 200-202 |
|
|
|