No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 186-186 | VacciniaVirus est une sous-classe de Orthopoxvirus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 193-193 | VacciniaVirion est une sous-classe de VacciniaVirus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 217-217 | ProgenyVacciniaVirusImmature est une sous-classe de VacciniaVirus |