| Snowing(snowing)
| | crud, flurry, snow, snow_flurry, snowfall |
| appearance as argument number 1 |
|
|
| (documentation Snowing EnglishLanguage "Snowing is a Precipitation Process in which Water falls in a Solid state, as MonoCrystalline Ice.") | Weather.kif 1823-1824 | |
| (documentation Snowing ChineseLanguage "Snowing 是一种 Precipitation Process， 当中 Water 以 Solid 状态的 MonoCrystalline Ice下坠。") | Weather.kif 1826-1827 | |
| (subclass Snowing Precipitation) | Weather.kif 1831-1831 | Snowing is a subclass of precipitation |
| (externalImage Snowing "http://farm1.static.flickr.com/186/453132830_e6b61089e7_m.jpg") | pictureList.kif 1007-1007 | Snowing is a subclass of precipitation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1833-1835 | If X is an instance of snowing, then solid is a precipitation state of X |
| (=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN Collection) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN)))) |
Weather.kif 1837-1845 | If X is an instance of snowing, then there exist Y, Z such that Y is an instance of collection, Z is an instance of ice, mono crystalline is an attribute of Z, Z is a member of Y, and the object transferred in X is Y |
| (=> (instance ?PROCESS Snowing) (exists (?SNOW) (and (instance ?SNOW Snow) (objectTransferred ?PROCESS ?SNOW)))) |
Weather.kif 4311-4316 | 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 |
| consequent |
|
|
| (=> (instance ?SKI SnowSki) (hasPurpose ?SKI (exists (?GLIDE ?SNOW ?ICE) (and (instance ?SNOW Snowing) (result ?SNOW ?ICE) (instance ?GLIDE Transportation) (instrument ?GLIDE ?SKI) (eventLocated ?GLIDE ?ICE))))) |
Sports.kif 1063-1072 | If X is an instance of ski, then X has the purpose there exist Y, Z, W such that Z is an instance of snowing, W is a result of Z, Y is an instance of transportation, X is an instrument for Y, and Y is located at W |
| (=> (instance ?BLIZZARD Blizzard) (exists (?PROCESS) (and (instance ?PROCESS Snowing) (subProcess ?PROCESS ?BLIZZARD)))) |
Weather.kif 3933-3938 | If X is an instance of blizzard, then there exists Y such that Y is an instance of snowing and Y is a subprocess of X |
| (=> (instance ?SNOWSTORM Snowstorm) (holdsDuring (WhenFn ?SNOWSTORM) (exists (?SNOW ?AREA ?NUM) (and (instance ?SNOW Snowing) (instance ?AREA GeographicArea) (eventLocated ?SNOW ?AREA) (subProcess ?SNOW ?SNOWSTORM) (snowfallIntensity ?AREA (WhenFn ?SNOW) (PerFn (MeasureFn ?NUM Centimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 5.0))))) |
Weather.kif 4254-4269 | If X is an instance of snow storm, then there exist Y, Z and W such that Y is an instance of snowing and Z is an instance of geographic area and Y is located at Z and Y is a subprocess of X and the rate of snow falling at Z during the time of existence of Y is the per of W centimeter(s) and 1 hour duration(s) and W is greater than 5.0 holds during the time of existence of X |
| (=> (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 4349-4376 | 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 |
| (=> (instance ?SB SnowBlower) (hasPurpose ?SB (exists (?IMP ?SNOW) (and (instance ?IMP Impelling) (instrument ?IMP ?SB) (instance ?SNOW Snowing) (patient ?IMP ?SNOW))))) |
Society.kif 894-902 | If X is an instance of SnowBlower, then X has the purpose there exist Y, Z such that Y is an instance of impelling, X is an instrument for Y, Z is an instance of snowing, and Z is a patient of Y |
|
|
|