No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3887-3887 | Chlordiazepoxide 是 Benzodiazepine 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3890-3890 | Librium 是 Chlordiazepoxide 的 subclass |