No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 81-81 | IllicitDrug est une sous-classe de substance compos�e |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 82-82 | IllicitDrug est une sous-classe de ControlledSubstance |
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 84-84 | Cocaine est une sous-classe de IllicitDrug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 85-85 | DepressantDrug est une sous-classe de IllicitDrug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 86-86 | Hallucinogen est une sous-classe de IllicitDrug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 101-101 | Hashish est une sous-classe de IllicitDrug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 102-102 | Heroin est une sous-classe de IllicitDrug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 103-103 | IllicitSyntheticDrug est une sous-classe de IllicitDrug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 105-105 | Methamphetamine est une sous-classe de IllicitDrug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 106-106 | StimulantDrug est une sous-classe de IllicitDrug |
![]() |