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 199-202
(exhaustiveDecomposition VacciniaVirion IntracellularMatureVirionVaccinia IntracellularEnvelopedVirionVaccinia ExtracellularEnvelopedVirionVaccinia ProgenyVacciniaVirusImmature) VirusProteinAndCellPart.kif 198-198 细胞内成熟的病毒粒子痘苗, 细胞内包膜病毒粒子痘苗, 细胞外包膜病毒粒子牛痘, 和 后代痘苗病毒不成熟 涵盖 牛痘病毒粒子
(externalImage VacciniaVirion "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ Smallpox_vaccine_site.jpg") pictureList.kif 8775-8775 细胞内成熟的病毒粒子痘苗, 细胞内包膜病毒粒子痘苗, 细胞外包膜病毒粒子牛痘, 和 后代痘苗病毒不成熟 涵盖 牛痘病毒粒子
(externalImage VacciniaVirion "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Vaccinia_virus_PHIL_2143_lores.jpg") pictureList.kif 9789-9789 细胞内成熟的病毒粒子痘苗, 细胞内包膜病毒粒子痘苗, 细胞外包膜病毒粒子牛痘, 和 后代痘苗病毒不成熟 涵盖 牛痘病毒粒子
(subclass VacciniaVirion VacciniaVirus) VirusProteinAndCellPart.kif 197-197 牛痘病毒粒子 是 痘苗病毒 的 subclass

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


(subclass ExtracellularEnvelopedVirionVaccinia VacciniaVirion) VirusProteinAndCellPart.kif 216-216 细胞外包膜病毒粒子牛痘 是 牛痘病毒粒子 的 subclass
(subclass IntracellularEnvelopedVirionVaccinia VacciniaVirion) VirusProteinAndCellPart.kif 212-212 细胞内包膜病毒粒子痘苗 是 牛痘病毒粒子 的 subclass
(subclass IntracellularMatureVirionVaccinia VacciniaVirion) VirusProteinAndCellPart.kif 208-208 细胞内成熟的病毒粒子痘苗 是 牛痘病毒粒子 的 subclass
(termFormat ChineseLanguage VacciniaVirion "牛痘病毒粒子") domainEnglishFormat.kif 61148-61148 细胞内成熟的病毒粒子痘苗 是 牛痘病毒粒子 的 subclass
(termFormat ChineseTraditionalLanguage VacciniaVirion "牛痘病毒粒子") domainEnglishFormat.kif 61147-61147 细胞内成熟的病毒粒子痘苗 是 牛痘病毒粒子 的 subclass
(termFormat EnglishLanguage VacciniaVirion "vaccinia virion") domainEnglishFormat.kif 61146-61146 细胞内成熟的病毒粒子痘苗 是 牛痘病毒粒子 的 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


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