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 1283-1284
(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 1279-1281
(externalImage Raining "http://articulatesoftware.com/SUMOpictures/weather/ rain.png") pictureList.kif 2325-2325
(externalImage Raining "http://articulatesoftware.com/SUMOpictures/weather/ umbrella/ showers.png") pictureList.kif 1945-1945
(externalImage Raining "http://articulatesoftware.com/SUMOpictures/weather/ umbrella/ umbrlla_rain.png") pictureList.kif 2324-2324
(subclass Raining Precipitation) Weather.kif 1277-1277 Raining est une sous-classe de Precipitation

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


(subclass AcidRainfall Raining) Geography.kif 2651-2651 AcidRainfall est une sous-classe de Raining
(subclass Drizzling Raining) Weather.kif 3526-3526 Drizzling est une sous-classe de Raining
(subclass HeavyRaining Raining) Weather.kif 1342-1342 HeavyRaining est une sous-classe de Raining
(subclass RainShowering Raining) Weather.kif 3588-3588 RainShowering est une sous-classe de Raining
(termFormat ChineseLanguage Raining "下雨") domainEnglishFormat.kif 48696-48696 RainShowering est une sous-classe de Raining
(termFormat ChineseLanguage Raining "降雨") Weather.kif 1286-1286 RainShowering est une sous-classe de Raining
(termFormat ChineseTraditionalLanguage Raining "下雨") domainEnglishFormat.kif 48695-48695 RainShowering est une sous-classe de Raining
(termFormat EnglishLanguage Raining "raining") domainEnglishFormat.kif 48694-48694 RainShowering est une sous-classe de Raining

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


(=>
    (instance ?PROCESS Raining)
    (exists (?RAIN)
        (and
            (instance ?RAIN Rain)
            (objectTransferred ?PROCESS ?RAIN))))
Weather.kif 3690-3695
(=>
    (instance ?PROCESS Raining)
    (precipitationState ?PROCESS Liquid))
Weather.kif 1288-1290
(=>
    (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 1292-1305

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 3195-3206
(=>
    (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 3590-3604
(=>
    (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 3555-3580


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