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 |
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 |
|