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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - snowfallIntensity
snowfallIntensity

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


(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 The number 1 argument of snowfall intensity is an instance of geographic area
(domain snowfallIntensity 2 TimeInterval) Weather.kif 1587-1587 The number 2 argument of snowfall intensity is an instance of time interval
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 1589-1589 The number 3 argument of snowfall intensity is an instance of function quantity
(instance snowfallIntensity TernaryPredicate) Weather.kif 1591-1591 snowfall intensity is an instance of ternary predicate

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 "降雪强度" is the printable form of snowfall intensity in ChineseLanguage
(termFormat EnglishLanguage snowfallIntensity "snowfall intensity") Weather.kif 1581-1581 "snowfall intensity" is the printable form of snowfall intensity in english language

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

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


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