Raining![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Raining ChineseLanguage "Raining 是一种 Precipitation Process, 当中 Water 以 Liquid 状态下坠,雨点的 approximateDiameter 介乎 0.1-9 Millmeter。") | Weather.kif 1283-1284 | |
(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 1279-1281 | |
(externalImage Raining "http://articulatesoftware.com/SUMOpictures/weather/ rain.png") | pictureList.kif 2325-2325 | |
(externalImage Raining "http://articulatesoftware.com/SUMOpictures/weather/ umbrella/ showers.png") | pictureList.kif 1945-1945 | |
(externalImage Raining "http://articulatesoftware.com/SUMOpictures/weather/ umbrella/ umbrlla_rain.png") | pictureList.kif 2324-2324 | |
(subclass Raining Precipitation) | Weather.kif 1277-1277 | Raining は Precipitation の subclass では |
appearance as argument number 2 |
![]() |
(subclass AcidRainfall Raining) | Geography.kif 2651-2651 | AcidRainfall は Raining の subclass では |
(subclass Drizzling Raining) | Weather.kif 3526-3526 | Drizzling は Raining の subclass では |
(subclass HeavyRaining Raining) | Weather.kif 1342-1342 | HeavyRaining は Raining の subclass では |
(subclass RainShowering Raining) | Weather.kif 3588-3588 | RainShowering は Raining の subclass では |
(termFormat ChineseLanguage Raining "下雨") | domainEnglishFormat.kif 48696-48696 | RainShowering は Raining の subclass では |
(termFormat ChineseLanguage Raining "降雨") | Weather.kif 1286-1286 | RainShowering は Raining の subclass では |
(termFormat ChineseTraditionalLanguage Raining "下雨") | domainEnglishFormat.kif 48695-48695 | RainShowering は Raining の subclass では |
(termFormat EnglishLanguage Raining "raining") | domainEnglishFormat.kif 48694-48694 | RainShowering は Raining の subclass では |
antecedent |
![]() |
(=> (instance ?PROCESS Raining) (exists (?RAIN) (and (instance ?RAIN Rain) (objectTransferred ?PROCESS ?RAIN)))) |
Weather.kif 3690-3695 | |
(=> (instance ?PROCESS Raining) (precipitationState ?PROCESS Liquid)) |
Weather.kif 1288-1290 | |
(=> (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 1292-1305 |
consequent |
![]() |
![]() |
![]() |