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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Raining
Raining

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 660-661
(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 656-658
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ rain.png") pictureList.kif 2327-2327 externalImage Raining and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ rain.png"
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ umbrella/ showers.png") pictureList.kif 1947-1947 externalImage Raining and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ umbrella/ showers.png"
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ umbrella/ umbrlla_rain.png") pictureList.kif 2326-2326 externalImage Raining and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ umbrella/ umbrlla_rain.png"
(subclass Raining Precipitation) Weather.kif 654-654 subclass Raining and Precipitation

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


(subclass AcidRainfall Raining) Geography.kif 2434-2434 subclass AcidRainfall and Raining
(subclass Drizzling Raining) Weather.kif 1309-1309 subclass Drizzling and Raining
(subclass HeavyRaining Raining) Weather.kif 718-718 subclass HeavyRaining and Raining
(subclass RainShowering Raining) Weather.kif 1384-1384 subclass RainShowering and Raining
(termFormat ChineseLanguage Raining "下雨") domainEnglishFormat.kif 48631-48631 termFormat ChineseLanguage, Raining and "下雨"
(termFormat ChineseLanguage Raining "降雨") Weather.kif 663-663 termFormat ChineseLanguage, Raining and "降雨"
(termFormat ChineseTraditionalLanguage Raining "下雨") domainEnglishFormat.kif 48630-48630 termFormat ChineseTraditionalLanguage, Raining and "下雨"
(termFormat EnglishLanguage Raining "raining") domainEnglishFormat.kif 48629-48629 termFormat EnglishLanguage, Raining and "raining"

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


(=>
    (instance ?PROCESS Raining)
    (exists (?RAIN)
        (and
            (instance ?RAIN Rain)
            (objectTransferred ?PROCESS ?RAIN))))
Weather.kif 1501-1506
(=>
    (instance ?PROCESS Raining)
    (precipitationState ?PROCESS Liquid))
Weather.kif 665-667
(=>
    (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 669-681

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 985-996
(=>
    (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 1386-1400
(=>
    (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 1346-1371


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