Raining
|
|
appearance as argument number 1 |
(documentation Raining ChineseLanguage "Raining 是一种 Precipitation Process, 当中 Water 以 Liquid 状态下坠,雨点的 approximateDiameter 介乎 0.1-9 Millmeter。") | Weather.kif 1044-1045 | |
(documentation Raining EnglishLanguage "Raining is a Precipitation Process in which Water falls in a Liquid state. The size of an raindrop is between 0.1-9 Millimeter in approximateDiameter. ") | Weather.kif 1040-1042 | |
(externalImage Raining "http://articulatesoftware.com/SUMOpictures/weather/ rain.png") | pictureList.kif 2326-2326 | |
(externalImage Raining "http://articulatesoftware.com/SUMOpictures/weather/ umbrella/ showers.png") | pictureList.kif 1946-1946 | |
(externalImage Raining "http://articulatesoftware.com/SUMOpictures/weather/ umbrella/ umbrlla_rain.png") | pictureList.kif 2325-2325 | |
(subclass Raining Precipitation) | Weather.kif 1038-1038 | 子類 下雨 and 沉澱 |
appearance as argument number 2 |
(subclass AcidRainfall Raining) | Geography.kif 2493-2493 | 子類 酸雨 and 下雨 |
(subclass Drizzling Raining) | Weather.kif 2797-2797 | 子類 Drizzling and 下雨 |
(subclass HeavyRaining Raining) | Weather.kif 1103-1103 | 子類 大雨 and 下雨 |
(subclass RainShowering Raining) | Weather.kif 2859-2859 | 子類 RainShowering and 下雨 |
(termFormat ChineseLanguage Raining "下雨") | domainEnglishFormat.kif 48692-48692 | |
(termFormat ChineseLanguage Raining "降雨") | Weather.kif 1047-1047 | |
(termFormat ChineseTraditionalLanguage Raining "下雨") | domainEnglishFormat.kif 48691-48691 | |
(termFormat EnglishLanguage Raining "raining") | domainEnglishFormat.kif 48690-48690 |
antecedent |
(=> (instance ?PROCESS Raining) (exists (?RAIN) (and (instance ?RAIN Rain) (objectTransferred ?PROCESS ?RAIN)))) |
Weather.kif 2961-2966 | |
(=> (instance ?PROCESS Raining) (precipitationState ?PROCESS Liquid)) |
Weather.kif 1049-1051 | |
(=> (instance ?RAIN Raining) (exists (?CLTN ?R ?CLASS) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (instance ?R ?CLASS (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 9.0 Millimeter)))))) |
Weather.kif 1053-1066 |
consequent |