No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 83-83 | Cannabis est une sous-classe de IllicitDrug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 104-104 | Marijuana est une sous-classe de Cannabis |