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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " pictures/ weather/ rain.png") pictureList.kif 2327-2327
(externalImage Raining " pictures/ weather/ umbrella/ showers.png") pictureList.kif 1947-1947
(externalImage Raining " pictures/ weather/ umbrella/ umbrlla_rain.png") pictureList.kif 2326-2326
(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 1527-1527 subclass Drizzling and Raining
(subclass HeavyRaining Raining) Weather.kif 718-718 subclass HeavyRaining and Raining
(subclass RainShowering Raining) Weather.kif 1602-1602 subclass RainShowering and Raining
(termFormat ChineseLanguage Raining "下雨") domainEnglishFormat.kif 48611-48611
(termFormat ChineseLanguage Raining "降雨") Weather.kif 663-663
(termFormat ChineseTraditionalLanguage Raining "下雨") domainEnglishFormat.kif 48610-48610
(termFormat EnglishLanguage Raining "raining") domainEnglishFormat.kif 48609-48609


    (instance ?PROCESS Raining)
    (exists (?RAIN)
            (instance ?RAIN Rain)
            (objectTransferred ?PROCESS ?RAIN))))
Weather.kif 1719-1724
    (instance ?PROCESS Raining)
    (precipitationState ?PROCESS Liquid))
Weather.kif 665-667
    (instance ?RAIN Raining)
    (exists (?CLTN ?R)
            (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


        (instance ?DRYSPELL Drought)
        (eventLocated ?DRYSPELL ?AREA))
        (exists (?RAIN ?PLACE)
                (instance ?RAIN Raining)
                (instance ?PLACE Region)
                (eventLocated ?RAIN ?PLACE)
                (overlapsSpatially ?PLACE ?AREA)
                (overlapsTemporally ?RAIN ?DRYSPELL)))))
Weather.kif 1202-1213
    (instance ?SHOWER RainShowering)
        (WhenFn ?SHOWER)
        (exists (?RAIN1 ?RAIN2 ?AREA)
                (instance ?RAIN1 Raining)
                (instance ?RAIN2 Raining)
                (instance ?AREA Region)
                (subProcess ?RAIN1 ?SHOWER)
                (subProcess ?RAIN2 ?SHOWER)
                (eventLocated ?RAIN1 ?AREA)
                (eventLocated ?RAIN2 ?AREA)
                        (WhenFn ?RAIN1)
                        (WhenFn ?RAIN2)))))))
Weather.kif 1604-1618
    (rainfallIntensity ?AREA ?TIME ?RATE)
            (instance ?RAIN Raining)
            (eventLocated ?RAIN ?AREA)
                (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)
                (BeginFn ?TIME)
                (attribute ?BUCKET ContainerEmpty))
                (EndFn ?TIME)
                    (located ?CLTN ?BUCKET)
                    (top ?TOP ?CLTN)
                    (depth ?TOP ?BOTTOM ?RAINFALL)
                    (equal ?RAINFALL
                        (MultiplicationFn ?TIME ?RATE)))))))
Weather.kif 1564-1589

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