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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalTradeSupport

 Sigma KEE - InternationalTradeSupport
InternationalTradeSupport(国际贸易支持)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2646-2646 国际贸易支持 是 经济发展 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3867-3867 国际贸易支持 是 联合国贸易与发展会议 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 2649-2649 高效的海关管理 是 国际贸易支持 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Government.kif 2648-2648 促进自由贸易 是 国际贸易支持 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Government.kif 2647-2647 促进贸易和投资 是 国际贸易支持 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30709-30709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30708-30708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30707-30707


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