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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sleeting

Sigma KEE - Sleeting
Sleeting(sleeting)sleet

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


(documentation Sleeting ChineseLanguage "Sleeting 一种 Rain 夹着部分融化了的 SnowPrecipitation。") Weather.kif 1154-1155
(documentation Sleeting EnglishLanguage "Sleeting is a form of Precipitation composed of Rain and partly melted Snow.") Weather.kif 1152-1153
(subclass Sleeting Precipitation) Weather.kif 1151-1151 Sleeting is a subclass of precipitation

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


(termFormat ChineseLanguage Sleeting "雨夹雪") Weather.kif 1156-1156
(termFormat ChineseLanguage Sleeting "雨雪") domainEnglishFormat.kif 53378-53378
(termFormat ChineseTraditionalLanguage Sleeting "雨雪") domainEnglishFormat.kif 53377-53377
(termFormat EnglishLanguage Sleeting "sleeting") domainEnglishFormat.kif 53376-53376

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


(=>
    (instance ?PROCESS Sleeting)
    (exists (?STUFF ?R ?S ?MELT)
        (and
            (instance ?STUFF Collection)
            (objectTransferred ?PROCESS ?STUFF)
            (instance ?R Raindrop)
            (instance ?S Snowflake)
            (member ?R ?STUFF)
            (member ?S ?STUFF)
            (instance ?MELT Melting)
            (subProcess ?MELT ?PROCESS)
            (patient ?MELT ?S))))
Weather.kif 1158-1170


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