No TPTP formula. May not be expressible in strict first order. | Economy.kif 4781-4781 | Narcotic e' uma sub-classe de ControlledSubstance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6195-6195 | Morphine e' uma sub-classe de Narcotic |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4785-4785 | Opium e' uma sub-classe de Narcotic |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4786-4786 | Cocaine e' uma sub-classe de Narcotic |
![]() |