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	农业发展 是 经济发展 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2682-2682	国际贸易支持 是 经济发展 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2690-2690	劳工问题 是 经济发展 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2687-2687	货币稳定 是 经济发展 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2689-2689	促进可持续发展 是 经济发展 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2680-2680	促进私营企业 是 经济发展 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2681-2681	促进旅游业 是 经济发展 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2688-2688	减少贫困 是 经济发展 的 subAttribute
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