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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hailing

Sigma KEE - Hailing
Hailing

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


(documentation Hailing ChineseLanguage "Hailing 是一种 PrecipitationProcess,当中 WaterSolid 状态落下。") Weather.kif 1177-1178
(documentation Hailing EnglishLanguage "Hailing is a form of Precipitation Process in which Water falls in a Solid state.") Weather.kif 1175-1176
(externalImage Hailing "http://upload.wikimedia.org/wikipedia/commons/1/ 16/ Hailstorm.jpg") pictureList.kif 987-987
(subclass Hailing Precipitation) Weather.kif 1174-1174

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


(termFormat ChineseLanguage Hailing "下冰雹") domainEnglishFormat.kif 27178-27178
(termFormat ChineseTraditionalLanguage Hailing "下冰雹") domainEnglishFormat.kif 27177-27177
(termFormat EnglishLanguage Hailing "hailing") domainEnglishFormat.kif 27176-27176

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


(=>
    (instance ?PROCESS Hailing)
    (precipitationState ?PROCESS Solid))
Weather.kif 1180-1182

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


(=>
    (instance ?STUFF Hailstone)
    (exists (?PROCESS ?CLTN)
        (and
            (instance ?PROCESS Hailing)
            (instance ?CLTN Collection)
            (objectTransferred ?PROCESS ?CLTN)
            (member ?STUFF ?CLTN))))
Weather.kif 3074-3081


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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