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 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 1026-1026 |
appearance as argument number 2 |
(subclass AcidRainfall Raining) | Geography.kif 2493-2493 | |
(subclass Drizzling Raining) | Weather.kif 2784-2784 | |
(subclass HeavyRaining Raining) | Weather.kif 1091-1091 | |
(subclass RainShowering Raining) | Weather.kif 2846-2846 | |
(termFormat ChineseLanguage Raining "下雨") | domainEnglishFormat.kif 48694-48694 | |
(termFormat ChineseLanguage Raining "降雨") | Weather.kif 1035-1035 | |
(termFormat ChineseTraditionalLanguage Raining "下雨") | domainEnglishFormat.kif 48693-48693 | |
(termFormat EnglishLanguage Raining "raining") | domainEnglishFormat.kif 48692-48692 |
antecedent |
(=> (instance ?PROCESS Raining) (exists (?RAIN) (and (instance ?RAIN Rain) (objectTransferred ?PROCESS ?RAIN)))) |
Weather.kif 2948-2953 | |
(=> (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 |
(=> (and (instance ?DRYSPELL Drought) (eventLocated ?DRYSPELL ?AREA)) (not (exists (?RAIN ?PLACE) (and (instance ?RAIN Raining) (instance ?PLACE Region) (eventLocated ?RAIN ?PLACE) (overlapsSpatially ?PLACE ?AREA) (overlapsTemporally ?RAIN ?DRYSPELL))))) |
Weather.kif 2454-2465 | |
(=> (instance ?SHOWER RainShowering) (holdsDuring (WhenFn ?SHOWER) (exists (?RAIN1 ?RAIN2 ?AREA) (and (instance ?RAIN1 Raining) (instance ?RAIN2 Raining) (instance ?AREA Region) (subProcess ?RAIN1 ?SHOWER) (subProcess ?RAIN2 ?SHOWER) (eventLocated ?RAIN1 ?AREA) (eventLocated ?RAIN2 ?AREA) (not (overlapsTemporally (WhenFn ?RAIN1) (WhenFn ?RAIN2))))))) |
Weather.kif 2848-2862 | |
(=> (rainfallIntensity ?AREA ?TIME ?RATE) (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL) (and (instance ?RAIN Raining) (eventLocated ?RAIN ?AREA) (during (WhenFn ?RAIN) ?TIME) (instance ?CLTN Collection) (objectTransferred ?RAIN ?CLTN) (instance ?R Water) (member ?R ?CLTN) (instance ?BUCKET Container) (bottom ?BOTTOM ?BUCKET) (attribute ?BOTTOM Flat) (located ?BUCKET ?AREA) (holdsDuring (BeginFn ?TIME) (attribute ?BUCKET ContainerEmpty)) (holdsDuring (EndFn ?TIME) (and (located ?CLTN ?BUCKET) (top ?TOP ?CLTN) (depth ?TOP ?BOTTOM ?RAINFALL) (equal ?RAINFALL (MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 2813-2838 |