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 150-153
(exhaustiveDecomposition VacciniaVirion IntracellularMatureVirionVaccinia IntracellularEnvelopedVirionVaccinia ExtracellularEnvelopedVirionVaccinia ProgenyVacciniaVirusImmature) VirusProteinAndCellPart.kif 149-149 exhaustiveDecomposition VacciniaVirion, IntracellularMatureVirionVaccinia, IntracellularEnvelopedVirionVaccinia, ExtracellularEnvelopedVirionVaccinia and ProgenyVacciniaVirusImmature
(externalImage VacciniaVirion "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ Smallpox_vaccine_site.jpg") pictureList.kif 8781-8781 externalImage VacciniaVirion and "http://upload.wikimedia.org/wikipedia/commons/6/6b/ Smallpox_vaccine_site.jpg"
(externalImage VacciniaVirion "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Vaccinia_virus_PHIL_2143_lores.jpg") pictureList.kif 9808-9808 externalImage VacciniaVirion and "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Vaccinia_virus_PHIL_2143_lores.jpg"
(subclass VacciniaVirion VacciniaVirus) VirusProteinAndCellPart.kif 148-148 subclass VacciniaVirion and VacciniaVirus

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


(subclass ExtracellularEnvelopedVirionVaccinia VacciniaVirion) VirusProteinAndCellPart.kif 167-167 subclass ExtracellularEnvelopedVirionVaccinia and VacciniaVirion
(subclass IntracellularEnvelopedVirionVaccinia VacciniaVirion) VirusProteinAndCellPart.kif 163-163 subclass IntracellularEnvelopedVirionVaccinia and VacciniaVirion
(subclass IntracellularMatureVirionVaccinia VacciniaVirion) VirusProteinAndCellPart.kif 159-159 subclass IntracellularMatureVirionVaccinia and VacciniaVirion
(termFormat ChineseLanguage VacciniaVirion "牛痘病毒粒子") domainEnglishFormat.kif 61099-61099 termFormat ChineseLanguage, VacciniaVirion and "牛痘病毒粒子"
(termFormat ChineseTraditionalLanguage VacciniaVirion "牛痘病毒粒子") domainEnglishFormat.kif 61098-61098 termFormat ChineseTraditionalLanguage, VacciniaVirion and "牛痘病毒粒子"
(termFormat EnglishLanguage VacciniaVirion "vaccinia virion") domainEnglishFormat.kif 61097-61097 termFormat EnglishLanguage, VacciniaVirion and "vaccinia virion"

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


(=>
    (instance ?VIR VacciniaVirion)
    (exists (?ENV)
        (and
            (instance ?ENV VirusCoreEnvelope)
            (interiorPart ?ENV ?VIR))))
VirusProteinAndCellPart.kif 593-598
(=>
    (instance ?VIRION VacciniaVirion)
    (exists (?MEMBRANE)
        (and
            (part ?MEMBRANE ?VIRION)
            (instance ?MEMBRANE VirusOuterMembrane))))
VirusProteinAndCellPart.kif 613-618
(=>
    (instance ?VIRUS VacciniaVirion)
    (attribute ?VIRUS Virion))
VirusProteinAndCellPart.kif 155-157


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners