|
|
   Snowing
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Snowing ChineseLanguage "Snowing 是一种 Precipitation Process， 当中 Water 以 Solid 状态的 MonoCrystalline Ice下坠。") | Weather.kif 1114-1115 | |
| (documentation Snowing EnglishLanguage "Snowing is a Precipitation Process in which Water falls in a Solid state, as MonoCrystalline Ice.") | Weather.kif 1111-1112 | |
| (externalImage Snowing "http://farm1.static.flickr.com/186/453132830_e6b61089e7_m.jpg") | pictureList.kif 1007-1007 | |
| (subclass Snowing Precipitation) | Weather.kif 1119-1119 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Snowing "下雪") | domainEnglishFormat.kif 53566-53566 | |
| (termFormat ChineseLanguage Snowing "降雪") | Weather.kif 1117-1117 | |
| (termFormat ChineseTraditionalLanguage Snowing "下雪") | domainEnglishFormat.kif 53565-53565 | |
| (termFormat EnglishLanguage Snowing "snowing") | domainEnglishFormat.kif 53564-53564 |
| antecedent |
|
|
| (=> (instance ?PROCESS Snowing) (exists (?SNOW) (and (instance ?SNOW Snow) (objectTransferred ?PROCESS ?SNOW)))) |
Weather.kif 2980-2985 | |
| (=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1121-1123 | |
| (=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN Collection) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN)))) |
Weather.kif 1125-1133 |
| consequent |
|
|
| (=> (instance ?BLIZZARD Blizzard) (exists (?PROCESS) (and (instance ?PROCESS Snowing) (subProcess ?PROCESS ?BLIZZARD)))) |
Weather.kif 2603-2608 | |
| (=> (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 1050-1059 | |
| (=> (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 2923-2938 | |
| (=> (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 3018-3045 |
|
|
|
