NapoleonicCode
|
|
appearance as argument number 1 |
appearance as argument number 2 |
(subclass ExtracellularEnvelopedVirionVaccinia VacciniaVirion) | VirusProteinAndCellPart.kif 212-212 | ExtracellularEnvelopedVirionVaccinia は VacciniaVirion の subclass では %n |
(subclass IntracellularEnvelopedVirionVaccinia VacciniaVirion) | VirusProteinAndCellPart.kif 208-208 | IntracellularEnvelopedVirionVaccinia は VacciniaVirion の subclass では %n |
(subclass IntracellularMatureVirionVaccinia VacciniaVirion) | VirusProteinAndCellPart.kif 204-204 | IntracellularMatureVirionVaccinia は VacciniaVirion の subclass では %n |
(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 |