| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4781-4781 | 子類 麻醉劑 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. | Economy.kif 4785-4785 | 子類 鴉片 and 麻醉劑 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4786-4786 | 子類 可卡因 and 麻醉劑 |
|
|