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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29253-29253 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29252-29252 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29251-29251 |
|