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 204-204 | IntracellularMatureVirionVaccinia est une sous-classe de VacciniaVirion |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 208-208 | IntracellularEnvelopedVirionVaccinia est une sous-classe de VacciniaVirion |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 212-212 | ExtracellularEnvelopedVirionVaccinia est une sous-classe de VacciniaVirion |
![]() |