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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EconomicPolicyCoordination

 Sigma KEE - EconomicPolicyCoordination
EconomicPolicyCoordination(经济政策协调)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2657-2657 经济政策协调 是 经济合作 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2910-2910 经济政策协调 是 大七 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3780-3780 经济政策协调 是 石油输出国组织 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 2658-2658 协调信贷政策 是 经济政策协调 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21174-21174
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21173-21173
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21172-21172


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