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 2621-2621 子屬性 經濟政策協調 and 經濟合作

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2874-2874 經濟政策協調大七organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3744-3744 經濟政策協調石油輸出國組織organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2622-2622 子屬性 協調信貸政策 and 經濟政策協調
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