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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Raining
Raining

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


(documentation Raining ChineseLanguage "Raining 是一种 Precipitation Process, 当中 WaterLiquid 状态下坠,雨点的 approximateDiameter 介乎 0.1-9 Millmeter。") Weather.kif 851-852
(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 847-849
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ rain.png") pictureList.kif 2327-2327
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ umbrella/ showers.png") pictureList.kif 1947-1947
(externalImage Raining "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ umbrella/ umbrlla_rain.png") pictureList.kif 2326-2326
(subclass Raining Precipitation) Weather.kif 845-845

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


(subclass AcidRainfall Raining) Geography.kif 2434-2434
(subclass Drizzling Raining) Weather.kif 2524-2524
(subclass HeavyRaining Raining) Weather.kif 909-909
(subclass RainShowering Raining) Weather.kif 2586-2586
(termFormat ChineseLanguage Raining "下雨") domainEnglishFormat.kif 48686-48686
(termFormat ChineseLanguage Raining "降雨") Weather.kif 854-854
(termFormat ChineseTraditionalLanguage Raining "下雨") domainEnglishFormat.kif 48685-48685
(termFormat EnglishLanguage Raining "raining") domainEnglishFormat.kif 48684-48684

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


(=>
    (instance ?PROCESS Raining)
    (exists (?RAIN)
        (and
            (instance ?RAIN Rain)
            (objectTransferred ?PROCESS ?RAIN))))
Weather.kif 2688-2693
(=>
    (instance ?PROCESS Raining)
    (precipitationState ?PROCESS Liquid))
Weather.kif 856-858
(=>
    (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 860-872

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 2235-2246
(=>
    (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 2588-2602
(=>
    (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 2553-2578


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