No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6407-6407 |
pathologyTreatment Pain, Analgesic and ing�rer |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6410-6410 |
Morphine est une sous-classe de Analgesic |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6408-6408 |
NSAID est une sous-classe de Analgesic |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6409-6409 |
Opium est une sous-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 |
|