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	ControlledSubstance e' uma sub-classe de Substancia Biologica Ativa

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4782-4782	Amphetamine e' uma sub-classe de ControlledSubstance
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 82-82	IllicitDrug e' uma sub-classe de ControlledSubstance
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.	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