Sleeting(sleeting) | sleet |
appearance as argument number 1 |
(documentation Sleeting ChineseLanguage "Sleeting 一种 Rain 夹着部分融化了的 Snow 的 Precipitation。") | Weather.kif 1150-1151 | |
(documentation Sleeting EnglishLanguage "Sleeting is a form of Precipitation composed of Rain and partly melted Snow.") | Weather.kif 1148-1149 | |
(subclass Sleeting Precipitation) | Weather.kif 1147-1147 | Sleeting is a subclass of precipitation |
appearance as argument number 2 |
(termFormat ChineseLanguage Sleeting "雨夹雪") | Weather.kif 1152-1152 | |
(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 1154-1166 |
|