| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 81-81 | 非法药物 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 82-82 | 非法药物 是 受控物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 83-83 | 麻 是 非法药物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 84-84 | 可卡因 是 非法药物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 85-85 | 抑制药物 是 非法药物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 86-86 | 迷幻剂 是 非法药物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 101-101 | 大麻 是 非法药物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 102-102 | 海洛因 是 非法药物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 103-103 | 非法合成药物 是 非法药物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 105-105 | 甲基苯丙胺 是 非法药物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 106-106 | 兴奋剂 是 非法药物 的 subclass |
|
|