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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lithuania
Lithuania

appearance as argument number 1
-------------------------


(currencyType Lithuania EuroDollar) Economy.kif 3292-3292
(documentation Lithuania EnglishLanguage "The Nation of Lithuania.") CountriesAndRegions.kif 1282-1282
(economyType Lithuania CountryInTransition) Economy.kif 583-583
(externalImage Lithuania "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ L/ Lithuania.png") pictureList.kif 561-561
(geographicSubregion Lithuania EasternEurope) CountriesAndRegions.kif 302-302
(instance Lithuania Nation) CountriesAndRegions.kif 303-303
(member Lithuania EuropeanMonetaryUnion) Government.kif 3147-3147

appearance as argument number 2
-------------------------


(names "Lithuania" Lithuania) CountriesAndRegions.kif 4035-4035
(termFormat EnglishLanguage Lithuania "lithuania") domainEnglishFormat.kif 6206-6206

appearance as argument number 3
-------------------------


(codeMapping ISO-3166-1-alpha-2 "LT" Lithuania) Media.kif 2714-2714


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