EconomicAndSocialCouncil(经济和社会理事会)

-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3114-3114 国际货币基金组织 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3115-3115 国际电信联盟 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3116-3116 多边投资地理机构 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3118-3118 统计委员会 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3120-3120 联合国教育科学文化组织 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3121-3121 联合国工业发展组织 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3122-3122 全球邮政联盟 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3128-3128 世界粮食计划 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3123-3123 世界保健组织 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3124-3124 世界知识产权组织 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3125-3125 世界气象组织 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3126-3126 世界旅游组织 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3127-3127 世贸组织 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21096-21096
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21095-21095
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21094-21094


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