No TPTP formula. May not be expressible in strict first order.	Government.kif 3020-3020	经济一体化 是 阿拉伯经济统一委员会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3028-3028	文化合作 是 欧洲理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3030-3030	人权问题 是 欧洲理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3026-3026	政治合作 是 欧洲理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3029-3029	促进地区稳定 是 欧洲理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3027-3027	社会发展 是 欧洲理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3040-3040	文化合作 是 波罗的海国家理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3036-3036	经济发展 是 波罗的海国家理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3038-3038	能源和环境 是 波罗的海国家理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3037-3037	人道主义援助 是 波罗的海国家理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3039-3039	政治发展 是 波罗的海国家理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3046-3046	经济合作 是 协约理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3047-3047	政治合作 是 协约理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3048-3048	社会合作 是 协约理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3061-3061	经济发展 是 东非开发银行 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3073-3073	经济发展 是 经济和社会理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3074-3074	社会发展 是 经济和社会理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3135-3135	经济一体化 是 大湖国家的经济共同体 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3141-3141	经济合作 是 西非国家的经济共同体 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3151-3151	沟通协调 是 经济合作组织 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3149-3149	文化合作 是 经济合作组织 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3147-3147	经济合作 是 经济合作组织 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3148-3148	经济发展 是 经济合作组织 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3150-3150	运输协调 是 经济合作组织 的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3160-3160	常规军备控制 是 欧洲大西洋伙伴关系委员会 的 organizational 目标
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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