TreeView Knowledge Base Browser - IMFDevelopmentLevel

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 519-525
No TPTP formula. May not be expressible in strict first order.	Economy.kif 515-515	子類 IMF發展水平 and 經濟發展水平

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 527-527	例發達經濟 and IMF發展水平
No TPTP formula. May not be expressible in strict first order.	Economy.kif 564-564	例轉型國家 and IMF發展水平
No TPTP formula. May not be expressible in strict first order.	Economy.kif 604-604	例發展中國家 and IMF發展水平
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29337-29337
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29336-29336
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29335-29335