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. | Economy.kif 4786-4786 | Cocaine is a subclass of narcotic |