No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 186-186 | Vaccinia virus is a subclass of orthopoxvirus |
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 217-217 | Progeny vaccinia virus immature is a subclass of vaccinia virus |