| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 81-81 | 子類 非法藥物 and CompoundSubstance |
| 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. | TransnationalIssues.kif 83-83 | 子類 麻 and 非法藥物 |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 84-84 | 子類 可卡因 and 非法藥物 |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 85-85 | 子類 抑製藥物 and 非法藥物 |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 86-86 | 子類 迷幻劑 and 非法藥物 |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 101-101 | 子類 大麻 and 非法藥物 |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 102-102 | 子類 海洛因 and 非法藥物 |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 103-103 | 子類 非法合成藥物 and 非法藥物 |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 105-105 | 子類 甲基苯丙胺 and 非法藥物 |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 106-106 | 子類 興奮劑 and 非法藥物 |
|
|