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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hailing
Hailing(hailing)
hail

VerbNet: weather-57|hail,


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


s__documentation(s__Hailing,s__ChineseLanguage,'"Hailing 是一种 PrecipitationProcess,当中 WaterSolid 状态落下。"')

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


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