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 1081-1083
(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 1076-1079
(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 1074-1074

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


(termFormat ChineseLanguage FreezingRain "冻雨") domainEnglishFormat.kif 24923-24923
(termFormat ChineseTraditionalLanguage FreezingRain "凍雨") domainEnglishFormat.kif 24922-24922
(termFormat EnglishLanguage FreezingRain "freezing rain") domainEnglishFormat.kif 24921-24921

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


(=>
    (and
        (instance ?PROCESS FreezingRain)
        (patient ?PROCESS ?STUFF)
        (instance ?STUFF Water))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?PROCESS))
        (attribute ?STUFF Solid)))
Weather.kif 1091-1096
(=>
    (instance ?PROCESS FreezingRain)
    (precipitationState ?PROCESS Liquid))
Weather.kif 1087-1089


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