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 经济一体化 是 经济合作 的 subAttribute

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