| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1213-1213 | Coronavirus est une sous-classe de RNAVirus |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1214-1214 | Coronavirus est une sous-classe de EnvelopedVirus |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1215-1215 | Coronavirus est une sous-classe de VirusSingleStranded |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1230-1230 | SARSCoV2 est une sous-classe de Coronavirus |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3680-3680 | SARSCoV1 est une sous-classe de Coronavirus |
|
|