| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1288-1290 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1284-1284 | OralAntibiotic est une sous-classe de Antibiotic |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1292-1292 | Penicillin est une sous-classe de OralAntibiotic |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1296-1296 | Doxycycline est une sous-classe de OralAntibiotic |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1302-1302 | Ciprofloxacin est une sous-classe de OralAntibiotic |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1308-1308 | Keflex est une sous-classe de OralAntibiotic |
|
|