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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Austria

appearance as argument number 1

(currencyType Austria EuroDollar) Economy.kif 2972-2972 currencyType Austria and EuroDollar
(documentation Austria EnglishLanguage "The Nation of Austria.") CountriesAndRegions.kif 1186-1186
(economyType Austria AdvancedEconomy) Economy.kif 531-531 economyType Austria and AdvancedEconomy
(economyType Austria DevelopedCountry) Economy.kif 148-148 economyType Austria and DevelopedCountry
(externalImage Austria " pictures/ geography/ Country_Maps/ A/ Austria.png") pictureList.kif 246-246
(geographicSubregion Austria CentralEurope) CountriesAndRegions.kif 275-275 geographicSubregion Austria and CentralEurope
(instance Austria Nation) CountriesAndRegions.kif 276-276 instance Austria and Nation
(member Austria EuropeanMonetaryUnion) Government.kif 3130-3130 member Austria and EuropeanMonetaryUnion

appearance as argument number 2

(geographicSubregion GrazAustria Austria) CountriesAndRegions.kif 2883-2883 geographicSubregion GrazAustria and Austria
(geographicSubregion OberwartAustria Austria) CountriesAndRegions.kif 3332-3332 geographicSubregion OberwartAustria and Austria
(geographicSubregion ViennaAustria Austria) CountriesAndRegions.kif 3646-3646 geographicSubregion ViennaAustria and Austria
(names "Austria" Austria) CountriesAndRegions.kif 4020-4020 names "Austria" and Austria
(termFormat ChineseLanguage Austria "奥地利") domainEnglishFormat.kif 9127-9127
(termFormat ChineseTraditionalLanguage Austria "奧地利") domainEnglishFormat.kif 9126-9126
(termFormat EnglishLanguage Austria "austria") domainEnglishFormat.kif 9125-9125

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "AT" Austria) Media.kif 2620-2620 codeMapping ISO-3166-1-alpha-2, "AT" and Austria

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