ControlledSubstance - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4794-4796
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4792-4792	子類受控物質 and BiologicallyActiveSubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4782-4782	子類 Amphetamine and 受控物質
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 82-82	子類非法藥物 and 受控物質
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4781-4781	子類麻醉劑 and 受控物質
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17046-17046
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17045-17045
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17044-17044