No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6392-6392 | 子類 Analgesic and 醫學 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6408-6408 | 子類 NSAID and Analgesic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6409-6409 | 子類 鴉片 and Analgesic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6410-6410 | 子類 Morphine and Analgesic |