| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3887-3887 | Chlordiazepoxide est une sous-classe de Benzodiazepine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3890-3890 | Librium est une sous-classe de Chlordiazepoxide |
|
|