snowfallIntensity - Sigma Knowledge base Browser

appearance as argument number 2

(format ChineseLanguage snowfallIntensity "snow 的下降 rate 在 %1 期间 %2 是 %3 ")	domainEnglishFormat.kif 4555-4555
(format ChineseTraditionalLanguage snowfallIntensity "snow 的下降 rate 在 %1 期間 %2 是 %3 ")	domainEnglishFormat.kif 4554-4554
(format EnglishLanguage snowfallIntensity "the rate of snow falling at %1 during %2 is %3")	domainEnglishFormat.kif 4553-4553
(termFormat ChineseLanguage snowfallIntensity "降雪强度")	Weather.kif 1583-1583
(termFormat EnglishLanguage snowfallIntensity "snowfall intensity")	Weather.kif 1581-1581

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 1593-1620

snowfallIntensity GeographicArea, TimeInterval and FunctionQuantity
Transfer Object, SelfConnectedObject, entity, SelfConnectedObject and entity instance Transfer and Snowing eventLocated Transfer and GeographicArea during WhenFn Transfer and TimeInterval instance Object and Snow objectTransferred Transfer and Object instance SelfConnectedObject and BoardOrBlock bottom SelfConnectedObject and SelfConnectedObject attribute SelfConnectedObject and Flat located SelfConnectedObject and GeographicArea holdsDuring BeginFn TimeInterval and entity instance entity and Object located entity and SelfConnectedObject holdsDuring EndFn TimeInterval and located Object and SelfConnectedObject top entity and Object depth entity, SelfConnectedObject and entity equal entity and MultiplicationFn 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)))))

Weather.kif 1471-1486

instance Physical and Snowstorm
holdsDuring WhenFn Physical and entity entity and entity instance entity and Snowing instance entity and GeographicArea eventLocated entity and entity subProcess entity and Physical snowfallIntensity entity, WhenFn entity and PerFn MeasureFn entity and Centimeter and MeasureFn 1 and HourDuration greaterThan entity and 5

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

(documentation snowfallIntensity ChineseLanguage "snowfallIntensity 是一个 TernaryPredicate。它是 Snowing 在一处 GeographicArea 在一段 TimeInterval 的频率。")	Weather.kif 1578-1579
(documentation snowfallIntensity EnglishLanguage "snowfallIntensity is a TernaryPredicate. It is the rate of Snowing in a GeographicArea over a TimeInterval.")	Weather.kif 1574-1576
(domain snowfallIntensity 1 GeographicArea)	Weather.kif 1585-1585	domain snowfallIntensity, 1 and GeographicArea
(domain snowfallIntensity 2 TimeInterval)	Weather.kif 1587-1587	domain snowfallIntensity, 2 and TimeInterval
(domain snowfallIntensity 3 FunctionQuantity)	Weather.kif 1589-1589	domain snowfallIntensity, 3 and FunctionQuantity
(instance snowfallIntensity TernaryPredicate)	Weather.kif 1591-1591	instance snowfallIntensity and TernaryPredicate

KB Term:			Term intersection

English Word: