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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - SeaIce

appearance as argument number 1

(externalImage SeaIce " Nilas_Sea_Ice.JPG") pictureList.kif 2627-2627
(externalImage SeaIce " Icebergs_cape_york_1.JPG") pictureList.kif 4818-4818
(externalImage SeaIce " Sea_ice.svg") pictureList.kif 2522-2522
(subclass SeaIce Ice) Geography.kif 5832-5832

appearance as argument number 2

(naturalHazardTypeInArea SouthernOcean SeaIce) Geography.kif 4578-4578
(termFormat ChineseLanguage SeaIce "海冰") domainEnglishFormat.kif 51664-51664
(termFormat ChineseTraditionalLanguage SeaIce "海冰") domainEnglishFormat.kif 51663-51663
(termFormat EnglishLanguage SeaIce "sea ice") domainEnglishFormat.kif 51662-51662

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