No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 150-150 | VirusSingleStranded est une sous-classe de virus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1215-1215 | Coronavirus est une sous-classe de VirusSingleStranded |