Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Philosophy

 Sigma KEE - Glacier
Glacier(glacier)
more pictures...		Alpine_glacier, Alpine_type_of_glacier, Great_Mendenhall_Glacier, Mendenhall_Glacier, Piedmont_glacier, Piedmont_type_of_glacier, continental_glacier, glacier, icefall, neve, polar_glacier

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


(subclass Glacier LandForm) Geography.kif 7598-7598 Glacier is a subclass of land form
(documentation Glacier EnglishLanguage "A Glacier is a large body of slow_moving ice. Glaciers displace soil and rock while moving over land surfaces and break apart, forming Icebergs, when they reach the sea.") Geography.kif 7600-7602 Glacier is a subclass of land form
(externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 75/ Argentina_Perito_Moreno_Glacier.jpg/ 350px_Argentina_Perito_Moreno_Glacier.jpg") pictureList-ImageNet.kif 630-630 Glacier is a subclass of land form
(externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 71/ IceBlockNearJoekullsarlon.jpg/ 400px_IceBlockNearJoekullsarlon.jpg") pictureList-ImageNet.kif 631-631 Glacier is a subclass of land form
(externalImage Glacier "http://upload.wikimedia.org/wikipedia/it/thumb/e/ e7/ Ghiacciaio_scais.jpg/ 300px_Ghiacciaio_scais.jpg") pictureList-ImageNet.kif 632-632 Glacier is a subclass of land form
(externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c8/ Glaciar_Perito_Moreno-01.jpg/ 800px_Glaciar_Perito_Moreno-01.jpg") pictureList-ImageNet.kif 633-633 Glacier is a subclass of land form
(externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 37/ PeritoMoreno010.jpg/ 800px_PeritoMoreno010.jpg") pictureList-ImageNet.kif 634-634 Glacier is a subclass of land form
(externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 12/ Glacier.swiss.500pix.jpg/ 180px_Glacier.swiss.500pix.jpg") pictureList.kif 1122-1122 Glacier is a subclass of land form
(externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Icebergs_cape_york_1.JPG") pictureList.kif 2582-2582 Glacier is a subclass of land form
(externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/9/ 95/ Arranque_glaciar_en.svg") pictureList.kif 2583-2583 Glacier is a subclass of land form

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


(termFormat EnglishLanguage Glacier "glacier") domainEnglishFormat.kif 26102-26102
(termFormat ChineseTraditionalLanguage Glacier "冰川") domainEnglishFormat.kif 26103-26103
(termFormat ChineseLanguage Glacier "冰川") domainEnglishFormat.kif 26104-26104

antecedent
-------------------------


(=>
    (instance ?Glacier Glacier)
    (exists (?Water)
        (and
            (instance ?Water Water)
            (attribute ?Water Solid)
            (part ?Water ?Glacier))))		 Geography.kif 7604-7610 If X is an instance of glacier, then there exists Y such that Y is an instance of water, solid is an attribute of Y, and Y is a part of X

consequent
-------------------------


(=>
    (instance ?BERG Iceberg)
    (exists (?SHEET)
        (and
            (subclass ?SHEET Glacier)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?BERG))
                (material ?SHEET ?BERG)))))		 Geography.kif 6274-6282 If X is an instance of iceberg, then there exists Y such that Y is a subclass of glacier and X is made of Y holds during immediately before the time of existence of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners