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 | Snowing è una sottoclasse di Precipitation |
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 |