|
|
   Snow
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Snow ChineseLanguage "Snow 是 Snowing 而来的 Substance。") | Weather.kif 2992-2992 | |
| (documentation Snow EnglishLanguage "Snow refers to the Substance resulting from Snowing.") | Weather.kif 2990-2991 | |
| (subclass Snow Ice) | Weather.kif 2995-2995 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Snow "雪") | Weather.kif 2994-2994 | |
| (termFormat EnglishLanguage Snow "snow") | Weather.kif 2993-2993 |
| consequent |
|
|
| (=> (instance ?PROCESS Snowing) (exists (?SNOW) (and (instance ?SNOW Snow) (objectTransferred ?PROCESS ?SNOW)))) |
Weather.kif 2997-3002 | |
| (=> (instance ?S Snowflake) (exists (?SNOW) (and (instance ?SNOW Snow) (instance ?SNOW Collection) (member ?S ?SNOW)))) |
Weather.kif 3013-3019 | |
| (=> (snowfallIntensity ?AREA ?TIME ?RATE) (exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL) (and (instance ?PROCESS Snowing) (eventLocated ?PROCESS ?AREA) (during (WhenFn ?PROCESS) ?TIME) (instance ?STUFF Snow) (objectTransferred ?PROCESS ?STUFF) (instance ?BOARD BoardOrBlock) (bottom ?BOTTOM ?BOARD) (attribute ?BOTTOM Flat) (located ?BOARD ?AREA) (holdsDuring (BeginFn ?TIME) (not (exists (?X) (and (instance ?X Object) (located ?X ?BOARD))))) (holdsDuring (EndFn ?TIME) (and (located ?STUFF ?BOARD) (top ?TOP ?STUFF) (depth ?TOP ?BOTTOM ?SNOWFALL) (equal ?SNOWFALL (MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 3035-3062 |
|
|
|