Hailing - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Hailing,s__ChineseLanguage,'"Hailing 是一种 Precipitation 的 Process，当中 Water 以 Solid 状态落下。"')	Weather.kif 794-795
s__documentation(s__Hailing,s__EnglishLanguage,'"Hailing is a form of Precipitation Process in which Water falls in a Solid state."')	Weather.kif 791-792
s__externalImage(s__Hailing,'"http://upload.wikimedia.org/wikipedia/commons/1/ 16/ Hailstorm.jpg"')	pictureList.kif 987-987
s__subclass(s__Hailing,s__Precipitation) s__instance(s__Precipitation,s__SetOrClass) s__instance(s__Hailing,s__SetOrClass)	Weather.kif 789-789	Hailing is a subclass of precipitation

appearance as argument number 2

s__termFormat(s__ChineseLanguage,s__Hailing,'"下冰雹"')	Weather.kif 799-799
s__termFormat(s__ChineseLanguage,s__Hailing,'"欢呼"')	domainEnglishFormat.kif 27115-27115
s__termFormat(s__ChineseTraditionalLanguage,s__Hailing,'"歡呼"')	domainEnglishFormat.kif 27114-27114
s__termFormat(s__EnglishLanguage,s__Hailing,'"hailing"')	domainEnglishFormat.kif 27113-27113

antecedent

( ! [V__PROCESS] :
   (s__instance(V__PROCESS,s__Hailing) =>
     s__precipitationState(V__PROCESS,s__Solid) )
   )

Weather.kif 801-803

consequent

( ! [V__STUFF] :
   (s__instance(V__STUFF,s__Hailstone) =>
     ( ? [V__PROCESS, V__CLTN] :
       ((s__instance(V__PROCESS,s__Hailing) &
           s__instance(V__CLTN,s__Collection) &
           s__objectTransferred(V__PROCESS,V__CLTN)
         &
         s__member(V__STUFF,V__CLTN))))
)
)

Weather.kif 1637-1644