TreeView Knowledge Base Browser - ControlledSubstance

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	受控物质是生物活性物质的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4782-4782	Amphetamine 是受控物质的 subclass
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 82-82	非法药物是受控物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4781-4781	麻醉剂是受控物质的 subclass
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