No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6407-6407 |
pathologyTreatment 痛, Analgesic and 消化 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6410-6410 |
Morphine 是 Analgesic 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6408-6408 |
NSAID 是 Analgesic 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6409-6409 |
鸦片 是 Analgesic 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6403-6403 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6402-6402 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6404-6404 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6405-6405 |
|