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 3514-3514
(documentation InternationalFinanceCorporation EnglishLanguage "The InternationalFinanceCorporation is affiliated with the InternationalBankForReconstructionAndDevelopment.") Government.kif 3517-3519
(instance InternationalFinanceCorporation OrganizationOfNations) Government.kif 3511-3511
(organizationalObjective InternationalFinanceCorporation PromotePrivateEnterprise) Government.kif 3522-3522
(subOrganization InternationalFinanceCorporation EconomicAndSocialCouncil) Government.kif 3110-3110
(subOrganization InternationalFinanceCorporation UnitedNations) Government.kif 3515-3515
(subOrganization InternationalFinanceCorporation WorldBankGroup) Government.kif 4321-4321

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


(abbreviation "IFC" InternationalFinanceCorporation) Government.kif 3513-3513
(conventionalLongName "International Finance Corporation" InternationalFinanceCorporation) Government.kif 3512-3512
(termFormat ChineseLanguage InternationalFinanceCorporation "国际金融公司") domainEnglishFormat.kif 30595-30595
(termFormat ChineseTraditionalLanguage InternationalFinanceCorporation "國際金融公司") domainEnglishFormat.kif 30594-30594
(termFormat EnglishLanguage InternationalFinanceCorporation "international finance corporation") domainEnglishFormat.kif 30593-30593


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