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

Formal Language: 



KB Term:  Term intersection
English Word: 

  snowfallIntensity

 Sigma KEE - snowfallIntensity
snowfallIntensity

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


(documentation snowfallIntensity ChineseLanguage "snowfallIntensity 是一个 TernaryPredicate。它是 Snowing 在一处 GeographicArea 在一段 TimeInterval 的频率。") Weather.kif 3008-3009
(documentation snowfallIntensity EnglishLanguage "snowfallIntensity is a TernaryPredicate. It is the rate of Snowing in a GeographicArea over a TimeInterval.") Weather.kif 3005-3007
(domain snowfallIntensity 1 GeographicArea) Weather.kif 3013-3013 Il numero 1 argomenti di snowfallIntensity è un istanza di AreaGeografica
(domain snowfallIntensity 2 TimeInterval) Weather.kif 3014-3014 Il numero 2 argomenti di snowfallIntensity è un istanza di IntervalloTemporale
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 3015-3015 Il numero 3 argomenti di snowfallIntensity è un istanza di FunzioneDiQuantit�
(instance snowfallIntensity TernaryPredicate) Weather.kif 3016-3016 snowfallIntensity è un' istanza di PredicatoTernario

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 3012-3012
(termFormat EnglishLanguage snowfallIntensity "snowfall intensity") Weather.kif 3011-3011

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 3018-3045

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 2923-2938


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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