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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Belgium

appearance as argument number 1

(currencyType Belgium EuroDollar) Economy.kif 3000-3000
(documentation Belgium EnglishLanguage "The Nation of Belgium.") CountriesAndRegions.kif 1192-1192
(economyType Belgium AdvancedEconomy) Economy.kif 532-532
(economyType Belgium DevelopedCountry) Economy.kif 149-149
(externalImage Belgium " pictures/ geography/ Country_Maps/ B/ Belgium.png") pictureList.kif 270-270
(geographicSubregion Belgium WesternEurope) CountriesAndRegions.kif 348-348
(instance Belgium EuropeanNation) CountriesAndRegions.kif 349-349
(member Belgium BeneluxEconomicUnion) Government.kif 2840-2840
(member Belgium EuropeanMonetaryUnion) Government.kif 3137-3137

appearance as argument number 2

(geographicSubregion AntwerpBelgium Belgium) CountriesAndRegions.kif 2543-2543
(geographicSubregion BrusselsBelgium Belgium) CountriesAndRegions.kif 2677-2677
(names "Belgium" Belgium) CountriesAndRegions.kif 4054-4054
(termFormat EnglishLanguage Belgium "belgium") domainEnglishFormat.kif 2201-2201

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "BE" Belgium) Media.kif 2627-2627

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