Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Raining
Raining(raining)
cloudburst, deluge, downpour, drizzle, mizzle, pelter, rain, rain_down, rain_shower, raindrop, rainfall, rainstorm, shower, soaker, thundershower, torrent, virga, waterspout

appearance as argument number 1
-------------------------


(documentation Raining ChineseLanguage "Raining 是一种 Precipitation Process, 当中 WaterLiquid 状态下坠,雨点的 approximateDiameter 介乎 0.1-9 Millmeter。") Weather.kif 1048-1049
(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 1044-1046
(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 1042-1042 Raining is a subclass of precipitation

appearance as argument number 2
-------------------------


(subclass AcidRainfall Raining) Geography.kif 2493-2493 Acid rainfall is a subclass of raining
(subclass Drizzling Raining) Weather.kif 2801-2801 Drizzling is a subclass of raining
(subclass HeavyRaining Raining) Weather.kif 1107-1107 Heavy raining is a subclass of raining
(subclass RainShowering Raining) Weather.kif 2863-2863 Rain showering is a subclass of raining
(termFormat ChineseLanguage Raining "下雨") domainEnglishFormat.kif 48692-48692
(termFormat ChineseLanguage Raining "降雨") Weather.kif 1051-1051
(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 2965-2970
(=>
    (instance ?PROCESS Raining)
    (precipitationState ?PROCESS Liquid))
Weather.kif 1053-1055
(=>
    (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 1057-1070

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 2471-2482
(=>
    (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 2865-2879
(=>
    (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 2830-2855


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners