Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntracellularMatureVirionVaccinia

Sigma KEE - IntracellularMatureVirionVaccinia
IntracellularMatureVirionVaccinia(intracellular mature virion vaccinia)

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 205-206
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 204-204 Intracellular mature virion vaccinia is a subclass of vaccinia virion

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


No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30793-30793
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30792-30792
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30791-30791


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