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 促进自由贸易 是 国际贸易支持 的 subAttribute

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