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


KB Term:  Term intersection
English Word: 

Sigma KEE - FreezingRain
FreezingRain(freezing rain)

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


(subclass FreezingRain Precipitation) Weather.kif 1751-1751 Freezing rain is a subclass of precipitation
(documentation FreezingRain EnglishLanguage "FreezingRain occurs when Raindrops go through the Process of Supercooling at a few hundred Meters above a GeographicArea, then undergo &freezing on contact with Objects on the ground to become Solid.") Weather.kif 1753-1756 Freezing rain is a subclass of precipitation
(documentation FreezingRain ChineseLanguage "FreezingRain 出现在当 Raindrop 在离 GeographicArea 几百多 Meter 高时经过 Supercooling 的 Process，然后落地和地面的物体接触， &freezing 成 &Solid。") Weather.kif 1758-1760 Freezing rain is a subclass of precipitation
(externalImage FreezingRain "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Freezing_grass.jpg") pictureList.kif 6588-6588 Freezing rain is a subclass of precipitation
(externalImage FreezingRain "http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ ICERAIN2.JPG") pictureList.kif 7000-7000 Freezing rain is a subclass of precipitation
(externalImage FreezingRain "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Iced_power_lines.JPG") pictureList.kif 7001-7001 Freezing rain is a subclass of precipitation
(externalImage FreezingRain "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ Radar_bright_band.png") pictureList.kif 7002-7002 Freezing rain is a subclass of precipitation

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


(termFormat EnglishLanguage FreezingRain "freezing rain") domainEnglishFormat.kif 24916-24916
(termFormat ChineseTraditionalLanguage FreezingRain "凍雨") domainEnglishFormat.kif 24917-24917
(termFormat ChineseLanguage FreezingRain "冻雨") domainEnglishFormat.kif 24918-24918

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


(=>
    (instance ?PROCESS FreezingRain)
    (precipitationState ?PROCESS Liquid))		 Weather.kif 1764-1766 If X is an instance of freezing rain, then liquid is a precipitation state of X
(=>
    (and
        (instance ?PROCESS FreezingRain)
        (patient ?PROCESS ?STUFF)
        (instance ?STUFF Water))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?PROCESS))
        (attribute ?STUFF Solid)))		 Weather.kif 1768-1776 If X is an instance of freezing rain, Y is a patient of X, and Y is an instance of water, then solid is an attribute of Y holds during immediately after the time of existence of X


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