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	子類降凝劑 and BiologicallyActiveSubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9332-9332	不相交的刺激物 and 降凝劑
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10905-10905	子類酒精飲料 and 降凝劑
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3867-3867	子類 Benzodiazepine and 降凝劑
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8637-8637	子類 Ethanol and 降凝劑
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9346-9346	子類鴉片 and 降凝劑
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