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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WorldBankGroup

 Sigma KEE - WorldBankGroup
WorldBankGroup(世界银行集团)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6985-6985
No TPTP formula. May not be expressible in strict first order. Government.kif 4317-4317 世界银行集团 是 国际组织 的 instance

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4318-4318 世界银行集团 是 "World Bank Group" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 4319-4319 国际重建和发展银行 是 世界银行集团 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 4320-4320 国际发展协会 是 世界银行集团 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 4321-4321 国际金融公司 是 世界银行集团 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63483-63483
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63482-63482
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63481-63481


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