No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 179-179 | Chordopoxvirinae is a subclass of poxviridae |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 183-183 | Orthopoxvirus is a subclass of chordopoxvirinae |