| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4792-4792 | Controlled substance is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 82-82 | Illicit drug is a subclass of controlled substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4781-4781 | Narcotic is a subclass of controlled substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4782-4782 | Amphetamine is a subclass of controlled substance |
|
|