TreeView Knowledge Base Browser

appearance as argument number 1

(documentation snowfallIntensity EnglishLanguage "snowfallIntensity is a TernaryPredicate. It is the rate of Snowing in a GeographicArea over a TimeInterval.")	Weather.kif 4291-4293
(documentation snowfallIntensity ChineseLanguage "snowfallIntensity 是一个 TernaryPredicate。它是 Snowing 在一处 GeographicArea 在一段 TimeInterval 的频率。")	Weather.kif 4294-4295
(domain snowfallIntensity 1 GeographicArea)	Weather.kif 4299-4299	The number 1 argument of snowfall intensity is an instance of geographic area
(domain snowfallIntensity 2 TimeInterval)	Weather.kif 4300-4300	The number 2 argument of snowfall intensity is an instance of timeframe
(domain snowfallIntensity 3 FunctionQuantity)	Weather.kif 4301-4301	The number 3 argument of snowfall intensity is an instance of function quantity
(instance snowfallIntensity TernaryPredicate)	Weather.kif 4302-4302	snowfall intensity is an instance of ternary predicate

appearance as argument number 2

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

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 4304-4331

If the rate of snow falling at X during Y is Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S (2) R such that W is an instance of snowing (3) W is located at X (4) the time of existence of W takes place during Y (5) V is an instance of snow (6) the object transferred in W is V (7) U is an instance of board or block (8) the bottom of U is S (9) flat is an attribute of S (10) U is located at X (11) there doesn't exist Q such that Q is an instance of object (12) Q is located at U holds during the beginning of Y (13) V is located at U (14) the top of V is T (15) the depth from T to S is R (16) equal R (17) Y (18) Z holds during the end of Y

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 4208-4223

If X is an instance of snow storm, then there exist Y, Z and W such that Y is an instance of snowing and Z is an instance of geographic area and Y is located at Z and Y is a subprocess of X and the rate of snow falling at Z during the time of existence of Y is the per of W centimeter(s) and 1 hour duration(s) and W is greater than 5.0 holds during the time of existence of X

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

KB Term:			Term intersection

English Word: