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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FreezingRain

Sigma KEE - FreezingRain
FreezingRain

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


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

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


(termFormat ChineseLanguage FreezingRain "冻雨") domainEnglishFormat.kif 24909-24909
(termFormat ChineseTraditionalLanguage FreezingRain "凍雨") domainEnglishFormat.kif 24908-24908
(termFormat EnglishLanguage FreezingRain "freezing rain") domainEnglishFormat.kif 24907-24907

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


(=>
    (and
        (instance ?PROCESS FreezingRain)
        (patient ?PROCESS ?STUFF)
        (instance ?STUFF Water))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?PROCESS))
        (attribute ?STUFF Solid)))
Weather.kif 1090-1095
(=>
    (instance ?PROCESS FreezingRain)
    (precipitationState ?PROCESS Liquid))
Weather.kif 1086-1088


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 is open source software produced by Articulate Software and its partners