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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalFinanceCorporation

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 30595-30595
(termFormat ChineseTraditionalLanguage InternationalFinanceCorporation "國際金融公司") domainEnglishFormat.kif 30594-30594
(termFormat EnglishLanguage InternationalFinanceCorporation "international finance corporation") domainEnglishFormat.kif 30593-30593


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