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 2620-2620 子屬性 經濟一體化 and 經濟合作

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2761-2761 經濟一體化 是 安第斯國際社會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2783-2783 經濟一體化 是 阿拉伯合作理事會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2807-2807 經濟一體化 是 阿拉伯馬格里布聯盟 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2866-2866 經濟一體化 是 比荷盧經濟聯盟 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2893-2893 經濟一體化 是 加勒比共同體和共同市場 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2915-2915 經濟一體化 是 中美洲經濟一體化銀行 的 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 2984-2984 經濟一體化 是 阿拉伯經濟統一委員會 的 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 3141-3141 經濟一體化 是 歐洲共同體 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3219-3219 經濟一體化 是 歐洲聯盟 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3607-3607 經濟一體化 是 拉丁美洲一體化協會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3615-3615 經濟一體化 是 中非貨幣和經濟共同體 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3822-3822 經濟一體化 是 南部非洲發展社區 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 4264-4264 經濟一體化 是 西非開發銀行 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 4272-4272 經濟一體化 是 西非經濟和貨幣聯盟 的 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