No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 183-183 | Orthopoxvirus e' uma sub-classe de Chordopoxvirinae |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 186-186 | VacciniaVirus e' uma sub-classe de Orthopoxvirus |