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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Luxembourg

appearance as argument number 1

(currencyType Luxembourg EuroDollar) Economy.kif 3296-3296 currencyType Luxembourg and EuroDollar
(documentation Luxembourg EnglishLanguage "The Nation of Luxembourg.") CountriesAndRegions.kif 1283-1283
(economyType Luxembourg AdvancedEconomy) Economy.kif 546-546 economyType Luxembourg and AdvancedEconomy
(economyType Luxembourg DevelopedCountry) Economy.kif 165-165 economyType Luxembourg and DevelopedCountry
(externalImage Luxembourg " pictures/ geography/ Country_Maps/ L/ Luxembourg.png") pictureList.kif 566-566
(geographicSubregion Luxembourg WesternEurope) CountriesAndRegions.kif 356-356 geographicSubregion Luxembourg and WesternEurope
(instance Luxembourg Nation) CountriesAndRegions.kif 357-357 instance Luxembourg and Nation
(member Luxembourg BeneluxEconomicUnion) Government.kif 2836-2836 member Luxembourg and BeneluxEconomicUnion
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3142-3142 member Luxembourg and EuropeanMonetaryUnion

appearance as argument number 2

(names "Luxembourg" Luxembourg) CountriesAndRegions.kif 4057-4057 names "Luxembourg" and Luxembourg
(termFormat ChineseLanguage Luxembourg "卢森堡") domainEnglishFormat.kif 35266-35266
(termFormat ChineseTraditionalLanguage Luxembourg "盧森堡") domainEnglishFormat.kif 35265-35265
(termFormat EnglishLanguage Luxembourg "luxembourg") domainEnglishFormat.kif 35264-35264

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "LU" Luxembourg) Media.kif 2715-2715 codeMapping ISO-3166-1-alpha-2, "LU" and Luxembourg

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