No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 193-193 | Vaccinia virion is a subclass of vaccinia virus |
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 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 208-208 | Intracellular enveloped virion vaccinia is a subclass of vaccinia virion |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 212-212 | Extracellular enveloped virion vaccinia is a subclass of vaccinia virion |