Orthopoxvirus
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 184-184 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 183-183 | Orthopoxvirus is a subclass of chordopoxvirinae |
appearance as argument number 2 |
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. | domainEnglishFormat.kif 42632-42632 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42631-42631 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42630-42630 |