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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PromotionOfFreeTrade

 Sigma KEE - PromotionOfFreeTrade
PromotionOfFreeTrade(促進自由貿易)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2684-2684 子屬性 促進自由貿易 and 國際貿易支持

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3184-3184 促進自由貿易 是 歐洲自由貿易協會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3422-3422 促進自由貿易 是 國際商會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3642-3642 促進自由貿易 是 拉丁美洲一體化協會 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3843-3843 促進自由貿易 是 南太平洋區域經貿合作協定 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3849-3849 促進自由貿易 是 南部非洲關稅同盟 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 4379-4379 促進自由貿易 是 世貿組織 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47756-47756
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47755-47755
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47754-47754


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