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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SeaIce
SeaIce

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


(externalImage SeaIce "http://upload.wikimedia.org/wikipedia/commons/0/05/ Nilas_Sea_Ice.JPG") pictureList.kif 2626-2626
(externalImage SeaIce "http://upload.wikimedia.org/wikipedia/commons/4/47/ Icebergs_cape_york_1.JPG") pictureList.kif 4817-4817
(externalImage SeaIce "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Sea_ice.svg") pictureList.kif 2521-2521
(subclass SeaIce Ice) Geography.kif 5935-5935 SeaIceIcesubclass では %n

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


(naturalHazardTypeInArea SouthernOcean SeaIce) Geography.kif 4679-4679 naturalHazardTypeInArea SouthernOcean and SeaIce
(termFormat ChineseLanguage SeaIce "海冰") domainEnglishFormat.kif 51681-51681
(termFormat ChineseTraditionalLanguage SeaIce "海冰") domainEnglishFormat.kif 51680-51680
(termFormat EnglishLanguage SeaIce "sea ice") domainEnglishFormat.kif 51679-51679


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