| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 81-81 | IllicitDrug e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 82-82 | IllicitDrug e' uma sub-classe de ControlledSubstance |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 83-83 | Cannabis e' uma sub-classe de IllicitDrug |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 84-84 | Cocaine e' uma sub-classe de IllicitDrug |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 85-85 | DepressantDrug e' uma sub-classe de IllicitDrug |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 86-86 | Hallucinogen e' uma sub-classe de IllicitDrug |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 101-101 | Hashish e' uma sub-classe de IllicitDrug |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 102-102 | Heroin e' uma sub-classe de IllicitDrug |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 103-103 | IllicitSyntheticDrug e' uma sub-classe de IllicitDrug |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 105-105 | Methamphetamine e' uma sub-classe de IllicitDrug |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 106-106 | StimulantDrug e' uma sub-classe de IllicitDrug |
|
|