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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NorthKorea
NorthKorea

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


(currencyType NorthKorea NorthKoreanWon) Economy.kif 3373-3373 currencyType NorthKorea and NorthKoreanWon
(documentation NorthKorea EnglishLanguage "The Nation of NorthKorea.") CountriesAndRegions.kif 1314-1314
(externalImage NorthKorea "http://articulatesoftware.com/SUMOpictures/flags/ Countries/ N/ north_korea.png") pictureList.kif 633-633
(geographicSubregion NorthKorea EasternAsia) CountriesAndRegions.kif 551-551 geographicSubregion NorthKorea and EasternAsia
(instance NorthKorea Nation) CountriesAndRegions.kif 552-552 NorthKorea国民instance では %n

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


(names "NorthKorea" NorthKorea) CountriesAndRegions.kif 4151-4151 NorthKorea は "NorthKorea" の name を 持って %n{ない}
(termFormat ChineseLanguage NorthKorea "北朝鲜") domainEnglishFormat.kif 41193-41193
(termFormat ChineseTraditionalLanguage NorthKorea "北朝鮮") domainEnglishFormat.kif 41192-41192
(termFormat EnglishLanguage NorthKorea "north korea") domainEnglishFormat.kif 41191-41191

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


(codeMapping ISO-3166-1-alpha-2 "KP" NorthKorea) Media.kif 2735-2735 codeMapping ISO-3166-1-alpha-2, "KP" and NorthKorea


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