snowfallIntensity - Sigma Knowledge base Browser

appearance as argument number 1

(documentation snowfallIntensity ChineseLanguage "snowfallIntensity 是一个 TernaryPredicate。它是 Snowing 在一处 GeographicArea 在一段 TimeInterval 的频率。")	Weather.kif 3021-3022
(documentation snowfallIntensity EnglishLanguage "snowfallIntensity is a TernaryPredicate. It is the rate of Snowing in a GeographicArea over a TimeInterval.")	Weather.kif 3018-3020
(domain snowfallIntensity 1 GeographicArea)	Weather.kif 3026-3026	域 snowfallIntensity, 1 and GeographicArea
(domain snowfallIntensity 2 TimeInterval)	Weather.kif 3027-3027	域 snowfallIntensity, 2 and TimeInterval
(domain snowfallIntensity 3 FunctionQuantity)	Weather.kif 3028-3028	域 snowfallIntensity, 3 and FunctionQuantity
(instance snowfallIntensity TernaryPredicate)	Weather.kif 3029-3029	例 snowfallIntensity and TernaryPredicate

appearance as argument number 2

(format ChineseLanguage snowfallIntensity "snow 的下降 rate 在 %1 期间 %2 是 %3 ")	domainEnglishFormat.kif 4550-4550
(format ChineseTraditionalLanguage snowfallIntensity "snow 的下降 rate 在 %1 期間 %2 是 %3 ")	domainEnglishFormat.kif 4549-4549
(format EnglishLanguage snowfallIntensity "the rate of snow falling at %1 during %2 is %3")	domainEnglishFormat.kif 4548-4548
(termFormat ChineseLanguage snowfallIntensity "降雪强度")	Weather.kif 3025-3025
(termFormat EnglishLanguage snowfallIntensity "snowfall intensity")	Weather.kif 3024-3024

antecedent

(=>
    (snowfallIntensity ?AREA ?TIME ?RATE)
    (exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)
        (and
            (instance ?PROCESS Snowing)
            (eventLocated ?PROCESS ?AREA)
            (during
                (WhenFn ?PROCESS) ?TIME)
            (instance ?STUFF Snow)
            (objectTransferred ?PROCESS ?STUFF)
            (instance ?BOARD BoardOrBlock)
            (bottom ?BOTTOM ?BOARD)
            (attribute ?BOTTOM Flat)
            (located ?BOARD ?AREA)
            (holdsDuring
                (BeginFn ?TIME)
                (not
                    (exists (?X)
                        (and
                            (instance ?X Object)
                            (located ?X ?BOARD)))))
            (holdsDuring
                (EndFn ?TIME)
                (and
                    (located ?STUFF ?BOARD)
                    (top ?TOP ?STUFF)
                    (depth ?TOP ?BOTTOM ?SNOWFALL)
                    (equal ?SNOWFALL
                        (MultiplicationFn ?TIME ?RATE)))))))

Weather.kif 3031-3058

snow 的下降 rate 在 GeographicArea 期間 TimeInterval 是 FunctionQuantity
Transfer Object, SelfConnectedObject, entity, SelfConnectedObject and entity 例 Transfer and 下雪 Transfer 是 located 在 GeographicArea 期間何時 Transfer and TimeInterval 例 Object and Snow objectTransferred Transfer and Object 例 SelfConnectedObject and 板或塊底部 SelfConnectedObject and SelfConnectedObject attribute SelfConnectedObject and 平面位於 SelfConnectedObject and GeographicArea 持有期間開始 TimeInterval and entity 例 entity and Object 位於 entity and SelfConnectedObject 持有期間結束 TimeInterval and 位於 Object and SelfConnectedObject 上 entity and Object 對於 SelfConnectedObject 從 entity 的 depth 是 entity 等於 entity and 乘法 TimeInterval and FunctionQuantity

consequent

(=>
    (instance ?SNOWSTORM Snowstorm)
    (holdsDuring
        (WhenFn ?SNOWSTORM)
        (exists (?SNOW ?AREA ?NUM)
            (and
                (instance ?SNOW Snowing)
                (instance ?AREA GeographicArea)
                (eventLocated ?SNOW ?AREA)
                (subProcess ?SNOW ?SNOWSTORM)
                (snowfallIntensity ?AREA
                    (WhenFn ?SNOW)
                    (PerFn
                        (MeasureFn ?NUM Centimeter)
                        (MeasureFn 1 HourDuration)))
                (greaterThan ?NUM 5.0)))))

Weather.kif 2936-2951

例 Physical and Snowstorm
持有期間何時 Physical and entity entity and entity 例 entity and 下雪例 entity and GeographicArea entity 是 located 在 entity 子過程 entity and Physical snow 的下降 rate 在 entity 期間何時 entity 是測量 1 and 小時是測量 entity and 厘米的 per 比較多 entity and 5.0

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

KB Term:			Term intersection

English Word: