No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6407-6407 |
pathologyTreatment Pain, Analgesic and Ingerir |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6410-6410 |
Morphine e' uma sub-classe de Analgesic |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6408-6408 |
NSAID e' uma sub-classe de Analgesic |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6409-6409 |
Opium e' uma sub-classe de Analgesic |
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 |
|