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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FreezingRain
FreezingRain(freezing rain)

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


(documentation FreezingRain ChineseLanguage "FreezingRain 出现在当 Raindrop 在离 GeographicArea 几百多 Meter 高时经过 Supercooling 的 Process,然后落地和地面的物体接触, &freezing 成 &Solid。") Weather.kif 1065-1067
(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 1060-1063
(externalImage FreezingRain "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ Radar-bright-band.png") pictureList.kif 7003-7003
(externalImage FreezingRain "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Freezing_grass.jpg") pictureList.kif 6589-6589
(externalImage FreezingRain "http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ ICERAIN2.JPG") pictureList.kif 7001-7001
(externalImage FreezingRain "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Iced_power_lines.JPG") pictureList.kif 7002-7002
(subclass FreezingRain Precipitation) Weather.kif 1058-1058 Freezing rain is a subclass of precipitation

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


(termFormat ChineseLanguage FreezingRain "冻雨") domainEnglishFormat.kif 24948-24948
(termFormat ChineseTraditionalLanguage FreezingRain "凍雨") domainEnglishFormat.kif 24947-24947
(termFormat EnglishLanguage FreezingRain "freezing rain") domainEnglishFormat.kif 24946-24946

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


(=>
    (and
        (instance ?PROCESS FreezingRain)
        (patient ?PROCESS ?STUFF)
        (instance ?STUFF Water))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?PROCESS))
        (attribute ?STUFF Solid)))
Weather.kif 1075-1080
(=>
    (instance ?PROCESS FreezingRain)
    (precipitationState ?PROCESS Liquid))
Weather.kif 1071-1073


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