Snowing![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Snowing ChineseLanguage "Snowing 是一种 Precipitation Process, 当中 Water 以 Solid 状态的 MonoCrystalline Ice下坠。") | Weather.kif 1365-1366 | |
(documentation Snowing EnglishLanguage "Snowing is a Precipitation Process in which Water falls in a Solid state, as MonoCrystalline Ice.") | Weather.kif 1362-1363 | |
(externalImage Snowing "http://farm1.static.flickr.com/186/453132830_e6b61089e7_m.jpg") | pictureList.kif 1007-1007 | |
(subclass Snowing Precipitation) | Weather.kif 1370-1370 | Snowing は Precipitation の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Snowing "下雪") | domainEnglishFormat.kif 53568-53568 | |
(termFormat ChineseLanguage Snowing "降雪") | Weather.kif 1368-1368 | |
(termFormat ChineseTraditionalLanguage Snowing "下雪") | domainEnglishFormat.kif 53567-53567 | |
(termFormat EnglishLanguage Snowing "snowing") | domainEnglishFormat.kif 53566-53566 |
antecedent |
![]() |
(=> (instance ?PROCESS Snowing) (exists (?SNOW) (and (instance ?SNOW Snow) (objectTransferred ?PROCESS ?SNOW)))) |
Weather.kif 3514-3519 | |
(=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1372-1374 | |
(=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN Collection) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN)))) |
Weather.kif 1376-1384 |
consequent |
![]() |
![]() |
![]() |