Sleeting - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Sleeting ChineseLanguage "Sleeting 一种 Rain 夹着部分融化了的 Snow 的 Precipitation。")	Weather.kif 1138-1139
(documentation Sleeting EnglishLanguage "Sleeting is a form of Precipitation composed of Rain and partly melted Snow.")	Weather.kif 1136-1137
(subclass Sleeting Precipitation)	Weather.kif 1135-1135	Sleeting is a subclass of precipitation

appearance as argument number 2

(termFormat ChineseLanguage Sleeting "雨夹雪")	Weather.kif 1140-1140
(termFormat ChineseLanguage Sleeting "雨雪")	domainEnglishFormat.kif 53418-53418
(termFormat ChineseTraditionalLanguage Sleeting "雨雪")	domainEnglishFormat.kif 53417-53417
(termFormat EnglishLanguage Sleeting "sleeting")	domainEnglishFormat.kif 53416-53416

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 1142-1154

If a transfer is an instance of sleeting,
then there exist a collection, a physical,, , another physical and a process such that the collection is an instance of collection and the object transferred in the transfer is the collection and the physical is an instance of rain drop and the other physical is an instance of snowflake and the physical is a member of the collection and the other physical is a member of the collection and the process is an instance of melting and the process is a subprocess of the transfer and the other physical is a patient of the process

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

KB Term:			Term intersection

English Word: