No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 183-183 | Orthopoxvirus is a subclass of chordopoxvirinae |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 186-186 | Vaccinia virus is a subclass of orthopoxvirus |