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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalFinanceCorporation
InternationalFinanceCorporation

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


(dateEstablished InternationalFinanceCorporation
    (DayFn 25
        (MonthFn May
            (YearFn 1955))))
Government.kif 3478-3478
(documentation InternationalFinanceCorporation EnglishLanguage "The InternationalFinanceCorporation is affiliated with the InternationalBankForReconstructionAndDevelopment.") Government.kif 3481-3483
(instance InternationalFinanceCorporation OrganizationOfNations) Government.kif 3475-3475
(organizationalObjective InternationalFinanceCorporation PromotePrivateEnterprise) Government.kif 3486-3486
(subOrganization InternationalFinanceCorporation EconomicAndSocialCouncil) Government.kif 3074-3074
(subOrganization InternationalFinanceCorporation UnitedNations) Government.kif 3479-3479
(subOrganization InternationalFinanceCorporation WorldBankGroup) Government.kif 4285-4285

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


(abbreviation "IFC" InternationalFinanceCorporation) Government.kif 3477-3477
(conventionalLongName "International Finance Corporation" InternationalFinanceCorporation) Government.kif 3476-3476
(termFormat ChineseLanguage InternationalFinanceCorporation "国际金融公司") domainEnglishFormat.kif 30629-30629
(termFormat ChineseTraditionalLanguage InternationalFinanceCorporation "國際金融公司") domainEnglishFormat.kif 30628-30628
(termFormat EnglishLanguage InternationalFinanceCorporation "international finance corporation") domainEnglishFormat.kif 30627-30627


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