No TPTP formula. May not be expressible in strict first order.	Government.kif 2870-2870	經濟合作 是 東南亞國家聯盟 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2871-2871	社會合作 是 東南亞國家聯盟 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2884-2884	CBW出口管制 是 澳大利亞集團 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2890-2890	共同防禦協定 是 澳大利亞新西蘭美國安全條約 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2896-2896	金融合作 是 國際結算銀行 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2902-2902	經濟一體化 是 比荷盧經濟聯盟 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2910-2910	經濟政策協調 是 大七 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2916-2916	經濟合作 是 大六 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2923-2923	經濟合作 是 黑海經濟合作區 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2922-2922	促進地區穩定 是 黑海經濟合作區 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2930-2930	經濟發展 是 加勒比共同體和共同市場 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2929-2929	經濟一體化 是 加勒比共同體和共同市場 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2937-2937	經濟合作 是 加勒比開發銀行 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2936-2936	經濟發展 是 加勒比開發銀行 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2944-2944	經濟發展 是 中非國家開發銀行 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2952-2952	經濟發展 是 中美洲經濟一體化銀行 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2951-2951	經濟一體化 是 中美洲經濟一體化銀行 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2958-2958	經濟一體化 是 中美洲共同市場 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2966-2966	經濟合作 是 中歐倡議 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2967-2967	政治合作 是 中歐倡議 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2973-2973	經濟發展 是 科倫坡計劃 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2974-2974	社會發展 是 科倫坡計劃 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2988-2988	政治合作 是 獨立國家聯合體 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2982-2982	經濟合作 是 國家聯合體 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 2981-2981	政治合作 是 國家聯合體 的 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