| Snow | |
| appearance as argument number 1 |
|
|
| (documentation Snow ChineseLanguage "Snow 是 Snowing 而来的 Substance。") | Weather.kif 1439-1439 | |
| (documentation Snow EnglishLanguage "Snow refers to the Substance resulting from Snowing.") | Weather.kif 1436-1437 | |
| (subclass Snow Ice) | Weather.kif 1445-1445 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Snow "雪") | Weather.kif 1443-1443 | |
| (termFormat EnglishLanguage Snow "snow") | Weather.kif 1441-1441 |
| consequent |
|
|
| (=> (instance ?PROCESS Snowing) (exists (?SNOW) (and (instance ?SNOW Snow) (objectTransferred ?PROCESS ?SNOW)))) |
Weather.kif 1447-1452 | |
| (=> (instance ?S Snowflake) (exists (?SNOW) (and (instance ?SNOW Snow) (instance ?SNOW Collection) (member ?S ?SNOW)))) |
Weather.kif 1468-1474 | |
| (=> (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 1497-1524 |
|
|
|