| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4792-4792 | 受控物质 是 生物活性物质 的 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. | Economy.kif 4781-4781 | 麻醉剂 是 受控物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4782-4782 | Amphetamine 是 受控物质 的 subclass |
|
|