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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kuwait
Kuwait

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


(currencyType Kuwait KuwaitiDinar) Economy.kif 3257-3257
(documentation Kuwait EnglishLanguage "The Nation of Kuwait.") CountriesAndRegions.kif 1274-1274
(economyType Kuwait DevelopingCountry) Economy.kif 667-667
(economyType Kuwait LessDevelopedCountry) Economy.kif 283-283
(externalImage Kuwait "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ K/ Kuwait.png") pictureList.kif 543-543
(geographicSubregion Kuwait MiddleEastRegion) CountriesAndRegions.kif 254-254
(instance Kuwait Nation) CountriesAndRegions.kif 255-255

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


(geographicSubregion KuwaitCityKuwait Kuwait) CountriesAndRegions.kif 3093-3093
(names "Kuwait" Kuwait) CountriesAndRegions.kif 4008-4008
(termFormat ChineseLanguage Kuwait "科威特") domainEnglishFormat.kif 32911-32911
(termFormat ChineseTraditionalLanguage Kuwait "科威特") domainEnglishFormat.kif 32910-32910
(termFormat EnglishLanguage Kuwait "kuwait") domainEnglishFormat.kif 32909-32909

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


(codeMapping ISO-3166-1-alpha-2 "KW" Kuwait) Media.kif 2737-2737


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