Snow
|
|
appearance as argument number 1 |
(documentation Snow ChineseLanguage "Snow 是 Snowing 而来的 Substance。") | Weather.kif 2988-2988 | |
(documentation Snow EnglishLanguage "Snow refers to the Substance resulting from Snowing.") | Weather.kif 2986-2987 | |
(subclass Snow Ice) | Weather.kif 2991-2991 |
appearance as argument number 2 |
(termFormat ChineseLanguage Snow "雪") | Weather.kif 2990-2990 | |
(termFormat EnglishLanguage Snow "snow") | Weather.kif 2989-2989 |
consequent |
(=> (instance ?PROCESS Snowing) (exists (?SNOW) (and (instance ?SNOW Snow) (objectTransferred ?PROCESS ?SNOW)))) |
Weather.kif 2993-2998 | |
(=> (instance ?S Snowflake) (exists (?SNOW) (and (instance ?SNOW Snow) (instance ?SNOW Collection) (member ?S ?SNOW)))) |
Weather.kif 3009-3015 | |
(=> (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 3031-3058 |