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

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


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