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


s__documentation(s__FreezingRain,s__ChineseLanguage,'"FreezingRain 出现在当 Raindrop 在离 GeographicArea 几百多 Meter 高时经过 Supercooling 的 Process,然后落地和地面的物体接触, &freezing 成 &Solid。"')

Weather.kif 692-694
s__documentation(s__FreezingRain,s__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 687-690
s__externalImage(s__FreezingRain,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ Radar-bright-band.png"')

pictureList.kif 7004-7004
s__externalImage(s__FreezingRain,'"http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Freezing_grass.jpg"')

pictureList.kif 6590-6590
s__externalImage(s__FreezingRain,'"http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ ICERAIN2.JPG"')

pictureList.kif 7002-7002
s__externalImage(s__FreezingRain,'"http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Iced_power_lines.JPG"')

pictureList.kif 7003-7003
s__instance(s__Precipitation,s__SetOrClass)

s__instance(s__FreezingRain,s__SetOrClass)

s__subclass(s__FreezingRain,s__Precipitation)

Weather.kif 685-685 Freezing rain is a subclass of precipitation

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


s__termFormat(s__ChineseLanguage,s__FreezingRain,'"冻雨"')

domainEnglishFormat.kif 24841-24841
s__termFormat(s__ChineseTraditionalLanguage,s__FreezingRain,'"凍雨"')

domainEnglishFormat.kif 24840-24840
s__termFormat(s__EnglishLanguage,s__FreezingRain,'"freezing rain"')

domainEnglishFormat.kif 24839-24839

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 702-707
( ! [V__PROCESS] :
   (s__instance(V__PROCESS,s__FreezingRain) =>
     s__precipitationState(V__PROCESS,s__Liquid) )
   )

Weather.kif 698-700


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners