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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalDevelopmentAssociation

Sigma KEE - InternationalDevelopmentAssociation
InternationalDevelopmentAssociation(international development association)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3489-3489 The day 26 is a date established of international development association
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5631-5631
No TPTP formula. May not be expressible in strict first order. Government.kif 3486-3486 International development association is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3491-3491 Economic development is an organizational objective of international development association
No TPTP formula. May not be expressible in strict first order. Government.kif 3109-3109 International development association is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order. Government.kif 3490-3490 International development association is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 4320-4320 International development association 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 3488-3488 "IDA" is an abbreviation of international development association
No TPTP formula. May not be expressible in strict first order. Government.kif 3487-3487 International development association is a conventional long name of "International Development Association"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30571-30571
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30570-30570
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30569-30569


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