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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " 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


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


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

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