No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4782-4782 |
Amphetamine est une sous-classe de ControlledSubstance |
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. |
Economy.kif 4781-4781 |
Narcotic est une sous-classe de ControlledSubstance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17046-17046 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17045-17045 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17044-17044 |
|