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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 1074-1074 FreezingRain est une sous-classe de Precipitation

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


(termFormat ChineseLanguage FreezingRain "冻雨") domainEnglishFormat.kif 24914-24914
(termFormat ChineseTraditionalLanguage FreezingRain "凍雨") domainEnglishFormat.kif 24913-24913
(termFormat EnglishLanguage FreezingRain "freezing rain") domainEnglishFormat.kif 24912-24912

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 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