No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 84-84 | Cocaine est une sous-classe de IllicitDrug |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4786-4786 | Cocaine est une sous-classe de Narcotic |