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, raining, rainstorm, shower, soaker, thundershower, torrent, virga, waterspout, 下雨, 降雨

VerbNet: weather-57|rain, weather-57|rain,


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


(documentation Raining ChineseLanguage "Raining 是一种 Precipitation Process, 当中 WaterLiquid 状态下坠,雨点的 approximateDiameter 介乎 0.1-9 Millmeter。") Weather.kif 661-662
(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 657-659
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ rain.png") pictureList.kif 2327-2327 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ rain.png" is a URL depicting raining
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ umbrella/ showers.png") pictureList.kif 1947-1947 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ umbrella/ showers.png" is a URL depicting raining
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ umbrella/ umbrlla_rain.png") pictureList.kif 2326-2326 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ umbrella/ umbrlla_rain.png" is a URL depicting raining
(subclass Raining Precipitation) Weather.kif 655-655 Raining is a subclass of precipitation

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


(subclass AcidRainfall Raining) Geography.kif 2422-2422 Acid rainfall is a subclass of raining
(subclass Drizzling Raining) Weather.kif 1212-1212 Drizzling is a subclass of raining
(subclass HeavyRaining Raining) Weather.kif 719-719 Heavy raining is a subclass of raining
(subclass RainShowering Raining) Weather.kif 1288-1288 Rain showering is a subclass of raining
(termFormat ChineseLanguage Raining "下雨") domainEnglishFormat.kif 48631-48631 "下雨" is the printable form of raining in ChineseLanguage
(termFormat ChineseLanguage Raining "降雨") Weather.kif 664-664 "降雨" is the printable form of raining in ChineseLanguage
(termFormat ChineseTraditionalLanguage Raining "下雨") domainEnglishFormat.kif 48630-48630 "下雨" is the printable form of raining in ChineseTraditionalLanguage
(termFormat EnglishLanguage Raining "raining") domainEnglishFormat.kif 48629-48629 "raining" is the printable form of raining in english language

antecedent
-------------------------


(=>
    (instance ?PROCESS Raining)
    (exists (?RAIN)
        (and
            (instance ?RAIN Rain)
            (objectTransferred ?PROCESS ?RAIN))))
Weather.kif 1405-1410
(=>
    (instance ?PROCESS Raining)
    (precipitationState ?PROCESS Liquid))
Weather.kif 666-668
(=>
    (instance ?RAIN Raining)
    (exists (?CLTN ?R)
        (and
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?RAIN ?CLTN)
            (defaultMinimumSphereRadius ?R
                (MeasureFn 0.1 Millimeter))
            (defaultMaximumSphereRadius ?R
                (MeasureFn 9 Millimeter)))))
Weather.kif 670-682

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 908-919
(=>
    (instance ?DRIZZLE Drizzling)
    (exists (?RAIN ?CLTN ?R ?SIZE)
        (and
            (instance ?RAIN Raining)
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?RAIN ?CLTN)
            (approximateDiameter ?R
                (MeasureFn ?SIZE Millimeter))
            (modalAttribute
                (lessThanOrEqualTo ?SIZE 0.5) Likely))))
Weather.kif 1214-1227
(=>
    (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 1290-1304
(=>
    (rainfallIntensity ?AREA ?TIME ?RATE)
    (exists (?RAIN ?CTLN ?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 1250-1275


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners