Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Snow(snow) |
| appearance as argument number 1 |
|
| (documentation Snow EnglishLanguage "Snow refers to the Substance resulting from Snowing.") | Weather.kif 4259-4260 | |
| (documentation Snow ChineseLanguage "Snow 是 Snowing 而来的 Substance。") | Weather.kif 4261-4261 | |
| (subclass Snow Ice) | Weather.kif 4264-4264 | Snow is a subclass of ice |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Snow "snow") | Weather.kif 4262-4262 | |
| (termFormat ChineseLanguage Snow "雪") | Weather.kif 4263-4263 |
| consequent |
|
|
| (=> (instance ?PROCESS Snowing) (exists (?SNOW) (and (instance ?SNOW Snow) (objectTransferred ?PROCESS ?SNOW)))) |
Weather.kif 4266-4271 | If X is an instance of snowing, then there exists Y such that Y is an instance of snow and the object transferred in X is Y |
| (=> (instance ?S Snowflake) (exists (?SNOW) (and (instance ?SNOW Snow) (instance ?SNOW CollectionOfObjects) (member ?S ?SNOW)))) |
Weather.kif 4282-4288 | If X is an instance of snowflake, then there exists Y such that Y is an instance of snow, Y is an instance of collection, and X is a member of Y |
| (=> (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 4304-4331 | If the rate of snow falling at X during Y is Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S (2) R such that W is an instance of snowing (3) W is located at X (4) the time of existence of W takes place during Y (5) V is an instance of snow (6) the object transferred in W is V (7) U is an instance of board or block (8) the bottom of U is S (9) flat is an attribute of S (10) U is located at X (11) there doesn't exist Q such that Q is an instance of object (12) Q is located at U holds during the beginning of Y (13) V is located at U (14) the top of V is T (15) the depth from T to S is R (16) equal R (17) Y (18) Z holds during the end of Y |
|