TreeView Knowledge Base Browser - UNEconomicDevelopmentLevel

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 119-124
No TPTP formula. May not be expressible in strict first order.	Economy.kif 117-117	联合国经济发展水平是经济发展水平的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 126-126	发达国家是联合国经济发展水平的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 182-182	前苏联或东欧国家是联合国经济发展水平的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 206-206	较未发达国家是联合国经济发展水平的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59900-59900
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59899-59899
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59898-59898