| 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 麻醉劑 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6410-6410 | 子類 Morphine and Analgesic |
|
|