No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 141-141 | EnvelopedVirus est une sous-classe de virus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1212-1212 | Coronavirus est une sous-classe de EnvelopedVirus |