VacciniaVirion - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - VacciniaVirion

VacciniaVirion(vaccinia virion)

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	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 8776-8776	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 9790-9790	Vaccinia virion is covered by intracellular mature virion vaccinia, intracellular enveloped virion vaccinia, extracellular enveloped virion vaccinia, and progeny vaccinia virus immature
(subclass VacciniaVirion VacciniaVirus)	VirusProteinAndCellPart.kif 193-193	Vaccinia virion is a subclass of vaccinia virus

appearance as argument number 2

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

antecedent

(=> (instance ?VIR VacciniaVirion) (exists (?ENV) (and (instance ?ENV VirusCoreEnvelope) (interiorPart ?ENV ?VIR))))	VirusProteinAndCellPart.kif 1179-1184	If an object is an instance of vaccinia virion, then there exists another object such that the other object is an instance of virus core envelope and the other object is a interior part of the object
(=> (instance ?VIRION VacciniaVirion) (exists (?MEMBRANE) (and (part ?MEMBRANE ?VIRION) (instance ?MEMBRANE VirusOuterMembrane))))	VirusProteinAndCellPart.kif 1199-1204	If an object is an instance of vaccinia virion, then there exists another object such that the other object is a part of the object and the other object is an instance of virus outer membrane
(=> (instance ?VIRUS VacciniaVirion) (attribute ?VIRUS Virion))	VirusProteinAndCellPart.kif 200-202	If an object is an instance of vaccinia virion, then virion is an attribute of the object

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