Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  EconomicIntegration

 Sigma KEE - EconomicIntegration
EconomicIntegration(經濟一體化)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2656-2656 子屬性 經濟一體化 and 經濟合作

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2797-2797 經濟一體化 是 安第斯國際社會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2819-2819 經濟一體化 是 阿拉伯合作理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2843-2843 經濟一體化 是 阿拉伯馬格里布聯盟 的 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 2929-2929 經濟一體化 是 加勒比共同體和共同市場 的 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 3020-3020 經濟一體化 是 阿拉伯經濟統一委員會 的 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 3177-3177 經濟一體化 是 歐洲共同體 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3255-3255 經濟一體化 是 歐洲聯盟 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3643-3643 經濟一體化 是 拉丁美洲一體化協會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3651-3651 經濟一體化 是 中非貨幣和經濟共同體 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3858-3858 經濟一體化 是 南部非洲發展社區 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 4300-4300 經濟一體化 是 西非開發銀行 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 4308-4308 經濟一體化 是 西非經濟和貨幣聯盟 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21168-21168
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21167-21167
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21166-21166


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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