No TPTP formula. May not be expressible in strict first order.	Government.kif 2939-2939	中非国家开发银行 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2946-2946	中美洲经济一体化银行 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2954-2954	中美洲共同市场 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2960-2960	中欧倡议 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2969-2969	科伦坡计划 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2984-2984	独立国家联合体 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2976-2976	国家联合体 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2990-2990	出口管制协调委员会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3003-3003	共同经济援助理事会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3011-3011	阿拉伯经济统一委员会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3022-3022	欧洲理事会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3032-3032	波罗的海国家理事会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3042-3042	协约理事会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3057-3057	东非开发银行 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3063-3063	经济和社会理事会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3130-3130	大湖国家的经济共同体 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3137-3137	西非国家的经济共同体 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3143-3143	经济合作组织 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3153-3153	欧洲大西洋伙伴关系委员会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3162-3162	欧洲重建和发展银行 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3168-3168	欧洲共同体 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3180-3180	欧洲自由贸易协会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3186-3186	欧洲投资银行 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3192-3192	欧洲货币联盟 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3235-3235	欧洲核研究组织 是 国际组织 的 instance
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