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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - rainfallIntensity

appearance as argument number 1

(documentation rainfallIntensity ChineseLanguage "rainfallIntensity 是一个 TernaryPredicate。它是 Raining 在一处 GeographicArea 在一段 TimeInterval 的频率。") Weather.kif 2820-2821
(documentation rainfallIntensity EnglishLanguage "rainfallIntensity is a TernaryPredicate. It is the rate of Raining in a Region over a TimeInterval.") Weather.kif 2817-2819
(domain rainfallIntensity 1 GeographicArea) Weather.kif 2824-2824 降雨强度 的 1 数量 是 地理区域instance
(domain rainfallIntensity 2 TimeInterval) Weather.kif 2825-2825 降雨强度 的 2 数量 是 时距instance
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 2826-2826 降雨强度 的 3 数量 是 函数量instance
(instance rainfallIntensity TernaryPredicate) Weather.kif 2827-2827 降雨强度三元谓语instance

appearance as argument number 2

(format ChineseLanguage rainfallIntensity "rain 的 rate 在 %1 期间 %2 是 %3 ") domainEnglishFormat.kif 4331-4331
(format ChineseTraditionalLanguage rainfallIntensity "rain 的 rate 在 %1 期間 %2 是 %3 ") domainEnglishFormat.kif 4330-4330
(format EnglishLanguage rainfallIntensity "the rate of rain in %1 during %2 is %3") domainEnglishFormat.kif 4329-4329
(termFormat ChineseLanguage rainfallIntensity "降雨强度") Weather.kif 2823-2823
(termFormat EnglishLanguage rainfallIntensity "rainfall intensity") Weather.kif 2822-2822


    (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 2829-2854


    (instance ?HR HeavyRaining)
        (WhenFn ?HR)
        (exists (?AREA)
                (instance ?AREA Region)
                (eventLocated ?HR ?AREA)
                (rainfallIntensity ?AREA
                    (WhenFn ?HR)
                        (MeasureFn ?NUM Millimeter)
                        (MeasureFn 1 HourDuration)))
                (greaterThan ?NUM 10.0)
                (greaterThan 50.0 ?NUM)))))
Weather.kif 1108-1122

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