No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 81-81 | Illicit drug is a subclass of compound 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. | TransnationalIssues.kif 83-83 | Cannabis is a subclass of illicit drug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 84-84 | Cocaine is a subclass of illicit drug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 85-85 | Depressant drug is a subclass of illicit drug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 86-86 | Hallucinogen is a subclass of illicit drug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 101-101 | Hashish is a subclass of illicit drug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 102-102 | Heroin is a subclass of illicit drug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 103-103 | Illicit synthetic drug is a subclass of illicit drug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 105-105 | Methamphetamine is a subclass of illicit drug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 106-106 | Stimulant drug is a subclass of illicit drug |