No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6172-6183 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6410-6410 |
子類 Morphine and Analgesic |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6170-6170 |
子類 Morphine and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6194-6194 |
子類 Morphine and 醫學 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6195-6195 |
子類 Morphine and 麻醉劑 |