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 4281-4281 WorldBankGroup est une instance de OrganizationOfNations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4282-4282 conventionalLongName "World Bank Group" and WorldBankGroup
No TPTP formula. May not be expressible in strict first order. Government.kif 4283-4283 InternationalBankForReconstructionAndDevelopment est une partie de l'organization WorldBankGroup
No TPTP formula. May not be expressible in strict first order. Government.kif 4284-4284 InternationalDevelopmentAssociation est une partie de l'organization WorldBankGroup
No TPTP formula. May not be expressible in strict first order. Government.kif 4285-4285 InternationalFinanceCorporation est une partie de l'organization WorldBankGroup
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63485-63485
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63484-63484
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63483-63483


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