TreeView Knowledge Base Browser - VacciniaVirion

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
(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	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 61154-61154
(termFormat ChineseTraditionalLanguage VacciniaVirion "牛痘病毒粒子")	domainEnglishFormat.kif 61153-61153
(termFormat EnglishLanguage VacciniaVirion "vaccinia virion")	domainEnglishFormat.kif 61152-61152

antecedent

(=> (instance ?VIR VacciniaVirion) (exists (?ENV) (and (instance ?ENV VirusCoreEnvelope) (interiorPart ?ENV ?VIR))))	VirusProteinAndCellPart.kif 1178-1183	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 1198-1203	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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