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 | Snowing e' uma sub-classe de Precipitation |
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 |