No TPTP formula. May not be expressible in strict first order.	Government.kif 3874-3874	經濟發展 是 聯合國 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3909-3909	經濟發展 是 聯合國發展計劃 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 4028-4028	經濟發展 是 聯合國工業發展組織 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 4299-4299	經濟發展 是 西非開發銀行 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2679-2679	子屬性 農業發展 and 經濟發展
No TPTP formula. May not be expressible in strict first order.	Government.kif 2682-2682	子屬性 國際貿易支持 and 經濟發展
No TPTP formula. May not be expressible in strict first order.	Government.kif 2690-2690	子屬性 勞工問題 and 經濟發展
No TPTP formula. May not be expressible in strict first order.	Government.kif 2687-2687	子屬性 貨幣穩定 and 經濟發展
No TPTP formula. May not be expressible in strict first order.	Government.kif 2689-2689	子屬性 促進可持續發展 and 經濟發展
No TPTP formula. May not be expressible in strict first order.	Government.kif 2680-2680	子屬性 促進私營企業 and 經濟發展
No TPTP formula. May not be expressible in strict first order.	Government.kif 2681-2681	子屬性 促進旅遊業 and 經濟發展
No TPTP formula. May not be expressible in strict first order.	Government.kif 2688-2688	子屬性 減少貧困 and 經濟發展
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21150-21150
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21149-21149
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21148-21148

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners