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	子類聯合國經濟發展水平 and 經濟發展水平

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 126-126	例發達國家 and 聯合國經濟發展水平
No TPTP formula. May not be expressible in strict first order.	Economy.kif 182-182	例前蘇聯或東歐國家 and 聯合國經濟發展水平
No TPTP formula. May not be expressible in strict first order.	Economy.kif 206-206	例較未發達國家 and 聯合國經濟發展水平
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