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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Snowing
Snowing(snowing)
crud, flurry, snow, snow_flurry, snowfall

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


s__documentation(s__Snowing,s__ChineseLanguage,'"Snowing 是一种 Precipitation Process, 当中 WaterSolid 状态的 MonoCrystalline Ice下坠。"')

Weather.kif 1130-1131
s__documentation(s__Snowing,s__EnglishLanguage,'"Snowing is a Precipitation Process in which Water falls in a Solid state, as MonoCrystalline Ice."')

Weather.kif 1127-1128
s__externalImage(s__Snowing,'"http://farm1.static.flickr.com/186/453132830_e6b61089e7_m.jpg"')

pictureList.kif 1008-1008
s__subclass(s__Snowing,s__Precipitation)

s__instance(s__Precipitation,s__SetOrClass)

s__instance(s__Snowing,s__SetOrClass)

Weather.kif 1135-1135 Snowing is a subclass of precipitation

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


s__termFormat(s__ChineseLanguage,s__Snowing,'"下雪"')

domainEnglishFormat.kif 53546-53546
s__termFormat(s__ChineseLanguage,s__Snowing,'"降雪"')

Weather.kif 1133-1133
s__termFormat(s__ChineseTraditionalLanguage,s__Snowing,'"下雪"')

domainEnglishFormat.kif 53545-53545
s__termFormat(s__EnglishLanguage,s__Snowing,'"snowing"')

domainEnglishFormat.kif 53544-53544

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


( ! [V__PROCESS] :
   ((s__instance(V__PROCESS,s__Snowing) =>
       (( ? [V__SNOW] :
           ((s__instance(V__SNOW,s__Snow) &
               s__objectTransferred(V__PROCESS,V__SNOW))))))
   )
)

Weather.kif 2990-2995
( ! [V__PROCESS] :
   ((s__instance(V__PROCESS,s__Snowing) =>
       (s__precipitationState(V__PROCESS,s__Solid)))
     )
   )

Weather.kif 1137-1139
( ! [V__SNOW] :
   ((s__instance(V__SNOW,s__Snowing) =>
       (( ? [V__CLTN, V__I] :
           ((s__instance(V__CLTN,s__Collection) &
               s__instance(V__I,s__Ice) &
               s__attribute(V__I,s__MonoCrystalline) &
               s__member(V__I,V__CLTN)
             &
             s__objectTransferred(V__SNOW,V__CLTN))))))
)
)

Weather.kif 1141-1149

consequent
-------------------------


( ! [V__BLIZZARD] :
   ((s__instance(V__BLIZZARD,s__Blizzard) =>
       (( ? [V__PROCESS] :
           ((s__instance(V__PROCESS,s__Snowing) &
               s__subProcess(V__PROCESS,V__BLIZZARD))))))
   )
)

Weather.kif 2613-2618
No TPTP formula. May not be expressible in strict first order. Sports.kif 903-912
No TPTP formula. May not be expressible in strict first order. Weather.kif 2933-2948
No TPTP formula. May not be expressible in strict first order. Weather.kif 3028-3055


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