No TPTP formula. May not be expressible in strict first order. | Economy.kif 4782-4782 | Amphetamine e' uma sub-classe de ControlledSubstance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4783-4783 | Amphetamine e' uma sub-classe de Stimulant |
![]() |