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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - EastAfricanDevelopmentBank

appearance as argument number 1

(dateEstablished EastAfricanDevelopmentBank
    (DayFn 6
        (MonthFn June
            (YearFn 1967))))
Government.kif 2991-2991 dateEstablished EastAfricanDevelopmentBank and DayFn 6 and MonthFn June and YearFn 1967
(instance EastAfricanDevelopmentBank OrganizationOfNations) Government.kif 2988-2988 instance EastAfricanDevelopmentBank and OrganizationOfNations
(organizationalObjective EastAfricanDevelopmentBank EconomicDevelopment) Government.kif 2992-2992 organizationalObjective EastAfricanDevelopmentBank and EconomicDevelopment

appearance as argument number 2

(abbreviation "EADB" EastAfricanDevelopmentBank) Government.kif 2990-2990 abbreviation "EADB" and EastAfricanDevelopmentBank
(conventionalLongName "East African Development Bank" EastAfricanDevelopmentBank) Government.kif 2989-2989 conventionalLongName "East African Development Bank" and EastAfricanDevelopmentBank
(termFormat ChineseLanguage EastAfricanDevelopmentBank "东非开发银行") domainEnglishFormat.kif 20749-20749
(termFormat ChineseTraditionalLanguage EastAfricanDevelopmentBank "東非開發銀行") domainEnglishFormat.kif 20748-20748
(termFormat EnglishLanguage EastAfricanDevelopmentBank "east african development bank") domainEnglishFormat.kif 20747-20747

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