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 986-986
(subclass Hailing Precipitation) Weather.kif 1174-1174

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


(termFormat ChineseLanguage Hailing "下冰雹") domainEnglishFormat.kif 27192-27192
(termFormat ChineseTraditionalLanguage Hailing "下冰雹") domainEnglishFormat.kif 27191-27191
(termFormat EnglishLanguage Hailing "hailing") domainEnglishFormat.kif 27190-27190

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