No TPTP formula. May not be expressible in strict first order.	Government.kif 2984-2984	經濟一體化 是 阿拉伯經濟統一委員會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2992-2992	文化合作 是 歐洲理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2994-2994	人權問題 是 歐洲理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2990-2990	政治合作 是 歐洲理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2993-2993	促進地區穩定 是 歐洲理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2991-2991	社會發展 是 歐洲理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3004-3004	文化合作 是 波羅的海國家理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3000-3000	經濟發展 是 波羅的海國家理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3002-3002	能源和環境 是 波羅的海國家理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3001-3001	人道主義援助 是 波羅的海國家理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3003-3003	政治發展 是 波羅的海國家理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3010-3010	經濟合作 是 協約理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3011-3011	政治合作 是 協約理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3012-3012	社會合作 是 協約理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3025-3025	經濟發展 是 東非開發銀行 的 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 3038-3038	社會發展 是 經濟和社會理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3099-3099	經濟一體化 是 大湖國家的經濟共同體 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3105-3105	經濟合作 是 西非國家的經濟共同體 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3115-3115	溝通協調 是 經濟合作組織 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3113-3113	文化合作 是 經濟合作組織 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3111-3111	經濟合作 是 經濟合作組織 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3112-3112	經濟發展 是 經濟合作組織 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3114-3114	運輸協調 是 經濟合作組織 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3124-3124	常規軍備控制 是 歐洲大西洋夥伴關係委員會 的 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