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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalFinanceCorporation
InternationalFinanceCorporation(international finance corporation)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3495-3495 The day 25 is a date established of international finance corporation
No TPTP formula. May not be expressible in strict first order. Government.kif 3498-3500
No TPTP formula. May not be expressible in strict first order. Government.kif 3492-3492 International finance corporation is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3503-3503 Promote private enterprise is an organizational objective of international finance corporation
No TPTP formula. May not be expressible in strict first order. Government.kif 3091-3091 International finance corporation is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order. Government.kif 3496-3496 International finance corporation is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 4302-4302 International finance corporation 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 3494-3494 "IFC" is an abbreviation of international finance corporation
No TPTP formula. May not be expressible in strict first order. Government.kif 3493-3493 International finance corporation is a conventional long name of "International Finance Corporation"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30582-30582
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30581-30581
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30580-30580


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