Depressant - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9338-9340
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9337-9337	Depressant e' uma sub-classe de Substancia Biologica Ativa

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9332-9332	Stimulant e' disjunto de Depressant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10905-10905	AlcoholicBeverage e' uma sub-classe de Depressant
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3867-3867	Benzodiazepine e' uma sub-classe de Depressant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8637-8637	Ethanol e' uma sub-classe de Depressant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9346-9346	Opium e' uma sub-classe de Depressant
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19164-19164
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19163-19163
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19162-19162