| Raining
| |
| appearance as argument number 1 |
|
|
| (documentation Raining ChineseLanguage "Raining 是一种 Precipitation Process， 当中 Water 以 Liquid 状态下坠，雨点的 approximateDiameter 介乎 0.1-9 Millmeter。") | Weather.kif 1032-1033 | |
| (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 1028-1030 | |
| (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 1026-1026 | Raining est une sous-classe de Precipitation |
| appearance as argument number 2 |
|
|
| (subclass AcidRainfall Raining) | Geography.kif 2481-2481 | AcidRainfall est une sous-classe de Raining |
| (subclass Drizzling Raining) | Weather.kif 2783-2783 | Drizzling est une sous-classe de Raining |
| (subclass HeavyRaining Raining) | Weather.kif 1091-1091 | HeavyRaining est une sous-classe de Raining |
| (subclass RainShowering Raining) | Weather.kif 2845-2845 | RainShowering est une sous-classe de Raining |
| (termFormat ChineseLanguage Raining "下雨") | domainEnglishFormat.kif 48725-48725 | RainShowering est une sous-classe de Raining |
| (termFormat ChineseLanguage Raining "降雨") | Weather.kif 1035-1035 | RainShowering est une sous-classe de Raining |
| (termFormat ChineseTraditionalLanguage Raining "下雨") | domainEnglishFormat.kif 48724-48724 | RainShowering est une sous-classe de Raining |
| (termFormat EnglishLanguage Raining "raining") | domainEnglishFormat.kif 48723-48723 | RainShowering est une sous-classe de Raining |
| antecedent |
|
|
| (=> (instance ?PROCESS Raining) (exists (?RAIN) (and (instance ?RAIN Rain) (objectTransferred ?PROCESS ?RAIN)))) |
Weather.kif 2947-2952 | |
| (=> (instance ?PROCESS Raining) (precipitationState ?PROCESS Liquid)) |
Weather.kif 1037-1039 |
|
| (=> (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 1041-1054 |
| consequent |
|
|
|
|
|