Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VacciniaVirion
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 牛痘病毒粒子痘苗病毒subclass

appearance as argument number 2
-------------------------


(subclass ExtracellularEnvelopedVirionVaccinia VacciniaVirion) VirusProteinAndCellPart.kif 212-212 细胞外包膜病毒粒子牛痘牛痘病毒粒子subclass
(subclass IntracellularEnvelopedVirionVaccinia VacciniaVirion) VirusProteinAndCellPart.kif 208-208 细胞内包膜病毒粒子痘苗牛痘病毒粒子subclass
(subclass IntracellularMatureVirionVaccinia VacciniaVirion) VirusProteinAndCellPart.kif 204-204 细胞内成熟的病毒粒子痘苗牛痘病毒粒子subclass
(termFormat ChineseLanguage VacciniaVirion "牛痘病毒粒子") domainEnglishFormat.kif 61154-61154
(termFormat ChineseTraditionalLanguage VacciniaVirion "牛痘病毒粒子") domainEnglishFormat.kif 61153-61153
(termFormat EnglishLanguage VacciniaVirion "vaccinia virion") domainEnglishFormat.kif 61152-61152

antecedent
-------------------------


(=>
    (instance ?VIR VacciniaVirion)
    (exists (?ENV)
        (and
            (instance ?ENV VirusCoreEnvelope)
            (interiorPart ?ENV ?VIR))))
VirusProteinAndCellPart.kif 1178-1183
(=>
    (instance ?VIRION VacciniaVirion)
    (exists (?MEMBRANE)
        (and
            (part ?MEMBRANE ?VIRION)
            (instance ?MEMBRANE VirusOuterMembrane))))
VirusProteinAndCellPart.kif 1198-1203
(=>
    (instance ?VIRUS VacciniaVirion)
    (attribute ?VIRUS Virion))
VirusProteinAndCellPart.kif 200-202


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners