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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalBankForReconstructionAndDevelopment
InternationalBankForReconstructionAndDevelopment(international bank for reconstruction and development)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3406-3406 The day 22 is a date established of international bank for reconstruction and development
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5627-5627
No TPTP formula. May not be expressible in strict first order. Government.kif 3402-3402 International bank for reconstruction and development is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3407-3407 Economic development is an organizational objective of international bank for reconstruction and development
No TPTP formula. May not be expressible in strict first order. Government.kif 3097-3097 International bank for reconstruction and development is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order. Government.kif 3408-3408 International bank for reconstruction and development is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 4311-4311 International bank for reconstruction and development is a part of the organization world bank group

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3405-3405 "IBRD" is an abbreviation of international bank for reconstruction and development
No TPTP formula. May not be expressible in strict first order. Government.kif 3403-3403 International bank for reconstruction and development is a conventional long name of "International Bank for Reconstruction and Development"
No TPTP formula. May not be expressible in strict first order. Government.kif 3404-3404 International bank for reconstruction and development is a conventional short name of "World Bank"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30492-30492
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30491-30491
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30490-30490


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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