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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Libya

appearance as argument number 1

(currencyType Libya LibyanDinar) Economy.kif 3285-3285
(documentation Libya EnglishLanguage "The Nation of Libya.") CountriesAndRegions.kif 1280-1280
(economyType Libya DevelopingCountry) Economy.kif 672-672
(economyType Libya LessDevelopedCountry) Economy.kif 288-288
(externalImage Libya " Country_Maps/ L/ Libya.png") pictureList.kif 558-558
(geographicSubregion Libya NorthernAfrica) CountriesAndRegions.kif 120-120
(instance Libya Nation) CountriesAndRegions.kif 121-121

appearance as argument number 2

(geographicSubregion SidiHalifahLibya Libya) CountriesAndRegions.kif 3525-3525
(geographicSubregion TripoliLibya Libya) CountriesAndRegions.kif 3614-3614
(names "Libya" Libya) CountriesAndRegions.kif 3948-3948
(termFormat ChineseLanguage Libya "利比亚") domainEnglishFormat.kif 34277-34277
(termFormat ChineseTraditionalLanguage Libya "利比亞") domainEnglishFormat.kif 34276-34276
(termFormat EnglishLanguage Libya "libya") domainEnglishFormat.kif 34275-34275

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "LY" Libya) Media.kif 2747-2747

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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