|
|
   Snowing
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Snowing ChineseLanguage "Snowing 是一种 Precipitation Process， 当中 Water 以 Solid 状态的 MonoCrystalline Ice下坠。") | Weather.kif 1126-1127 | |
| (documentation Snowing EnglishLanguage "Snowing is a Precipitation Process in which Water falls in a Solid state, as MonoCrystalline Ice.") | Weather.kif 1123-1124 | |
| (externalImage Snowing "http://farm1.static.flickr.com/186/453132830_e6b61089e7_m.jpg") | pictureList.kif 1007-1007 | |
| (subclass Snowing Precipitation) | Weather.kif 1131-1131 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Snowing "下雪") | domainEnglishFormat.kif 53564-53564 | |
| (termFormat ChineseLanguage Snowing "降雪") | Weather.kif 1129-1129 | |
| (termFormat ChineseTraditionalLanguage Snowing "下雪") | domainEnglishFormat.kif 53563-53563 | |
| (termFormat EnglishLanguage Snowing "snowing") | domainEnglishFormat.kif 53562-53562 |
| antecedent |
|
|
| (=> (instance ?PROCESS Snowing) (exists (?SNOW) (and (instance ?SNOW Snow) (objectTransferred ?PROCESS ?SNOW)))) |
Weather.kif 2993-2998 | |
| (=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1133-1135 | |
| (=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN Collection) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN)))) |
Weather.kif 1137-1145 |
| consequent |
|
|
| (=> (instance ?BLIZZARD Blizzard) (exists (?PROCESS) (and (instance ?PROCESS Snowing) (subProcess ?PROCESS ?BLIZZARD)))) |
Weather.kif 2616-2621 | |
| (=> (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 2936-2951 | |
| (=> (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 |
|
|
|
