No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6407-6407 |
A treatment for pain is painkiller administered via ingesting |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6410-6410 |
Morphine is a subclass of painkiller |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6408-6408 |
Non-steriodal anti-inflammatory is a subclass of painkiller |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6409-6409 |
Opium is a subclass of painkiller |
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 |
|