Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - VacciniaVirion
VacciniaVirion(vaccinia virion)

appearance as argument number 1
-------------------------


(subclass VacciniaVirion VacciniaVirus) VirusProteinAndCellPart.kif 197-197 Vaccinia virion is a subclass of vaccinia virus
(exhaustiveDecomposition VacciniaVirion IntracellularMatureVirionVaccinia IntracellularEnvelopedVirionVaccinia ExtracellularEnvelopedVirionVaccinia ProgenyVacciniaVirusImmature) VirusProteinAndCellPart.kif 198-198 Vaccinia virion is covered by intracellular mature virion vaccinia, intracellular enveloped virion vaccinia, extracellular enveloped virion vaccinia, and progeny vaccinia virus immature
(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 Vaccinia virion is covered by intracellular mature virion vaccinia, intracellular enveloped virion vaccinia, extracellular enveloped virion vaccinia, and progeny vaccinia virus immature
(externalImage VacciniaVirion "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ Smallpox_vaccine_site.jpg") pictureList.kif 8775-8775 Vaccinia virion is covered by intracellular mature virion vaccinia, intracellular enveloped virion vaccinia, extracellular enveloped virion vaccinia, and progeny vaccinia virus immature
(externalImage VacciniaVirion "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Vaccinia_virus_PHIL_2143_lores.jpg") pictureList.kif 9789-9789 Vaccinia virion is covered by intracellular mature virion vaccinia, intracellular enveloped virion vaccinia, extracellular enveloped virion vaccinia, and progeny vaccinia virus immature

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


(subclass IntracellularMatureVirionVaccinia VacciniaVirion) VirusProteinAndCellPart.kif 208-208 Intracellular mature virion vaccinia is a subclass of vaccinia virion
(subclass IntracellularEnvelopedVirionVaccinia VacciniaVirion) VirusProteinAndCellPart.kif 212-212 Intracellular enveloped virion vaccinia is a subclass of vaccinia virion
(subclass ExtracellularEnvelopedVirionVaccinia VacciniaVirion) VirusProteinAndCellPart.kif 216-216 Extracellular enveloped virion vaccinia is a subclass of vaccinia virion
(termFormat EnglishLanguage VacciniaVirion "vaccinia virion") domainEnglishFormat.kif 61155-61155 Extracellular enveloped virion vaccinia is a subclass of vaccinia virion
(termFormat ChineseTraditionalLanguage VacciniaVirion "牛痘病毒粒子") domainEnglishFormat.kif 61156-61156 Extracellular enveloped virion vaccinia is a subclass of vaccinia virion
(termFormat ChineseLanguage VacciniaVirion "牛痘病毒粒子") domainEnglishFormat.kif 61157-61157 Extracellular enveloped virion vaccinia is a subclass of vaccinia virion

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


(=>
    (instance ?VIRUS VacciniaVirion)
    (attribute ?VIRUS Virion))		 VirusProteinAndCellPart.kif 204-206 If X is an instance of vaccinia virion, then virion is an attribute of X
(=>
    (instance ?VIR VacciniaVirion)
    (exists (?ENV)
        (and
            (instance ?ENV VirusCoreEnvelope)
            (interiorPart ?ENV ?VIR))))		 VirusProteinAndCellPart.kif 1164-1169 If X is an instance of vaccinia virion, then there exists Y such that Y is an instance of virus core envelope and Y is a interior part of X
(=>
    (instance ?VIRION VacciniaVirion)
    (exists (?MEMBRANE)
        (and
            (part ?MEMBRANE ?VIRION)
            (instance ?MEMBRANE VirusOuterMembrane))))		 VirusProteinAndCellPart.kif 1184-1189 If X is an instance of vaccinia virion, then there exists Y such that Y is a part of X and Y is an instance of virus outer membrane


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners