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 WorldBankGroup e' uma instancia de OrganizationOfNations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4318-4318 conventionalLongName "World Bank Group" and WorldBankGroup
No TPTP formula. May not be expressible in strict first order. Government.kif 4319-4319 InternationalBankForReconstructionAndDevelopment e' uma parte da organizacao WorldBankGroup
No TPTP formula. May not be expressible in strict first order. Government.kif 4320-4320 InternationalDevelopmentAssociation e' uma parte da organizacao WorldBankGroup
No TPTP formula. May not be expressible in strict first order. Government.kif 4321-4321 InternationalFinanceCorporation e' uma parte da organizacao WorldBankGroup
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