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 est une sous-classe de substance biologique active

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4782-4782	Amphetamine est une sous-classe de ControlledSubstance
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 82-82	IllicitDrug est une sous-classe de ControlledSubstance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4781-4781	Narcotic est une sous-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