|
|
   Sleeting
|
|
|
| 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 è una sottoclasse di Precipitation |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sleeting "雨夹雪") | Weather.kif 1140-1140 | |
| (termFormat ChineseLanguage Sleeting "雨雪") | domainEnglishFormat.kif 53380-53380 | |
| (termFormat ChineseTraditionalLanguage Sleeting "雨雪") | domainEnglishFormat.kif 53379-53379 | |
| (termFormat EnglishLanguage Sleeting "sleeting") | domainEnglishFormat.kif 53378-53378 |
| 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 |
|
|
|
|