No TPTP formula. May not be expressible in strict first order. | Economy.kif 4792-4792 | ControlledSubstance est une sous-classe de substance biologique active |
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. | Economy.kif 4782-4782 | Amphetamine est une sous-classe de ControlledSubstance |