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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AfricanDevelopmentBank

appearance as argument number 1

(dateEstablished AfricanDevelopmentBank
    (DayFn 4
        (MonthFn August
            (YearFn 1963))))
Government.kif 2698-2698 dateEstablished AfricanDevelopmentBank and DayFn 4 and MonthFn August and YearFn 1963
(instance AfricanDevelopmentBank OrganizationOfNations) Government.kif 2694-2694 instance AfricanDevelopmentBank and OrganizationOfNations
(organizationalObjective AfricanDevelopmentBank EconomicDevelopment) Government.kif 2699-2699 organizationalObjective AfricanDevelopmentBank and EconomicDevelopment
(organizationalObjective AfricanDevelopmentBank SocialDevelopment) Government.kif 2700-2700 organizationalObjective AfricanDevelopmentBank and SocialDevelopment

appearance as argument number 2

(abbreviation "AfDB" AfricanDevelopmentBank) Government.kif 2695-2695 abbreviation "AfDB" and AfricanDevelopmentBank
(localLongName "Banque Africaine de Developpement" AfricanDevelopmentBank) Government.kif 2696-2696 localLongName "Banque Africaine de Developpement" and AfricanDevelopmentBank
(localShortName "BAD" AfricanDevelopmentBank) Government.kif 2697-2697 localShortName "BAD" and AfricanDevelopmentBank
(termFormat ChineseLanguage AfricanDevelopmentBank "非洲开发银行") domainEnglishFormat.kif 5743-5743
(termFormat ChineseTraditionalLanguage AfricanDevelopmentBank "非洲開發銀行") domainEnglishFormat.kif 5742-5742
(termFormat EnglishLanguage AfricanDevelopmentBank "african development bank") domainEnglishFormat.kif 5741-5741

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners