| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4792-4792 | 子類 受控物質 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 82-82 | 子類 非法藥物 and 受控物質 |
| 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. | Economy.kif 4782-4782 | 子類 Amphetamine and 受控物質 |
|
|