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 199-202
(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
(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
(subclass VacciniaVirion VacciniaVirus)	VirusProteinAndCellPart.kif 197-197	Vaccinia virion is a subclass of vaccinia virus

appearance as argument number 2

(subclass ExtracellularEnvelopedVirionVaccinia VacciniaVirion)	VirusProteinAndCellPart.kif 216-216	Extracellular enveloped 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 IntracellularMatureVirionVaccinia VacciniaVirion)	VirusProteinAndCellPart.kif 208-208	Intracellular mature virion vaccinia is a subclass of vaccinia virion
(termFormat ChineseLanguage VacciniaVirion "牛痘病毒粒子")	domainEnglishFormat.kif 61177-61177	Intracellular mature virion vaccinia is a subclass of vaccinia virion
(termFormat ChineseTraditionalLanguage VacciniaVirion "牛痘病毒粒子")	domainEnglishFormat.kif 61176-61176	Intracellular mature virion vaccinia is a subclass of vaccinia virion
(termFormat EnglishLanguage VacciniaVirion "vaccinia virion")	domainEnglishFormat.kif 61175-61175	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 1186-1191	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 1206-1211	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 204-206	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