VacciniaVirion![]() ![]() |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(subclass ExtracellularEnvelopedVirionVaccinia VacciniaVirion) | VirusProteinAndCellPart.kif 216-216 | ExtracellularEnvelopedVirionVaccinia は VacciniaVirion の subclass では |
(subclass IntracellularEnvelopedVirionVaccinia VacciniaVirion) | VirusProteinAndCellPart.kif 212-212 | IntracellularEnvelopedVirionVaccinia は VacciniaVirion の subclass では |
(subclass IntracellularMatureVirionVaccinia VacciniaVirion) | VirusProteinAndCellPart.kif 208-208 | IntracellularMatureVirionVaccinia は VacciniaVirion の subclass では |
(termFormat ChineseLanguage VacciniaVirion "牛痘病毒粒子") | domainEnglishFormat.kif 61148-61148 | IntracellularMatureVirionVaccinia は VacciniaVirion の subclass では |
(termFormat ChineseTraditionalLanguage VacciniaVirion "牛痘病毒粒子") | domainEnglishFormat.kif 61147-61147 | IntracellularMatureVirionVaccinia は VacciniaVirion の subclass では |
(termFormat EnglishLanguage VacciniaVirion "vaccinia virion") | domainEnglishFormat.kif 61146-61146 | IntracellularMatureVirionVaccinia は VacciniaVirion の subclass では |
antecedent |
![]() |
(=> (instance ?VIR VacciniaVirion) (exists (?ENV) (and (instance ?ENV VirusCoreEnvelope) (interiorPart ?ENV ?VIR)))) |
VirusProteinAndCellPart.kif 1186-1191 |
|
(=> (instance ?VIRION VacciniaVirion) (exists (?MEMBRANE) (and (part ?MEMBRANE ?VIRION) (instance ?MEMBRANE VirusOuterMembrane)))) |
VirusProteinAndCellPart.kif 1206-1211 |
|
(=> (instance ?VIRUS VacciniaVirion) (attribute ?VIRUS Virion)) |
VirusProteinAndCellPart.kif 204-206 |
![]() |
![]() |