| Drizzling | |
| appearance as argument number 1 |
|
|
| (documentation Drizzling ChineseLanguage "Drizzling 是 Raining 的 subclass, 它是当雨点 的 approximateDiameter 小于或等于 0.5 Millimeter。") | Weather.kif 1205-1206 | |
| (documentation Drizzling EnglishLanguage "Drizzling is a subclass of Raining when the raindrops are less than or equal 0.5 Millimeter in approximateDiameter.") | Weather.kif 1202-1203 | |
| (subclass Drizzling Raining) | Weather.kif 1212-1212 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Drizzling "毛毛雨") | Weather.kif 1210-1210 | |
| (termFormat EnglishLanguage Drizzling "drizzling") | Weather.kif 1208-1208 |
| antecedent |
|
|
| (=> (instance ?DRIZZLE Drizzling) (exists (?RAIN ?CLTN ?R ?SIZE) (and (instance ?RAIN Raining) (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (approximateDiameter ?R (MeasureFn ?SIZE Millimeter)) (modalAttribute (lessThanOrEqualTo ?SIZE 0.5) Likely)))) |
Weather.kif 1214-1227 |
|
|
|