No TPTP formula. May not be expressible in strict first order.	Government.kif 2939-2939	例 中非國家開發銀行 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2946-2946	例 中美洲經濟一體化銀行 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2954-2954	例 中美洲共同市場 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2960-2960	例 中歐倡議 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2969-2969	例 科倫坡計劃 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2984-2984	例 獨立國家聯合體 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2976-2976	例 國家聯合體 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2990-2990	例 出口管制協調委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3003-3003	例 共同經濟援助理事會 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3011-3011	例 阿拉伯經濟統一委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3022-3022	例 歐洲理事會 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3032-3032	例 波羅的海國家理事會 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3042-3042	例 協約理事會 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3057-3057	例 東非開發銀行 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3063-3063	例 經濟和社會理事會 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3130-3130	例 大湖國家的經濟共同體 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3137-3137	例 西非國家的經濟共同體 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3143-3143	例 經濟合作組織 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3153-3153	例 歐洲大西洋夥伴關係委員會 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3162-3162	例 歐洲重建和發展銀行 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3168-3168	例 歐洲共同體 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3180-3180	例 歐洲自由貿易協會 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3186-3186	例 歐洲投資銀行 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3192-3192	例 歐洲貨幣聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3235-3235	例 歐洲核研究組織 and 國際組織
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