snowfallIntensity - Sigma Knowledge base Browser

appearance as argument number 1

(documentation snowfallIntensity ChineseLanguage "snowfallIntensity 是一个 TernaryPredicate。它是 Snowing 在一处 GeographicArea 在一段 TimeInterval 的频率。")	Weather.kif 3855-3856
(documentation snowfallIntensity EnglishLanguage "snowfallIntensity is a TernaryPredicate. It is the rate of Snowing in a GeographicArea over a TimeInterval.")	Weather.kif 3852-3854
(domain snowfallIntensity 1 GeographicArea)	Weather.kif 3860-3860	snowfallIntensity の数値 1 引数は地理的地域の instance では
(domain snowfallIntensity 2 TimeInterval)	Weather.kif 3861-3861	snowfallIntensity の数値 2 引数は時間間隔の instance では
(domain snowfallIntensity 3 FunctionQuantity)	Weather.kif 3862-3862	snowfallIntensity の数値 3 引数は関数量の instance では
(instance snowfallIntensity TernaryPredicate)	Weather.kif 3863-3863	snowfallIntensity は 3進述語の instance では

appearance as argument number 2

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

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 3865-3892

snowfallIntensity 地理的地域, 時間間隔 and 関数量
移動オブジェクト, 自己接続オブジェクト, エンティティー, 自己接続オブジェクト and エンティティー移動は Snowing の instance では eventLocated 移動 and 地理的地域移動の time の existence は時間間隔の during に takes オブジェクトは Snow の instance では objectTransferred 移動 and オブジェクト自己接続オブジェクトは BoardOrBlock の instance では自己接続オブジェクトの bottom は自己接続オブジェクトでは Flat は自己接続オブジェクトの attribute では自己接続オブジェクトは地理的地域に located してエンティティーエンティティーはオブジェクトの instance ではエンティティーは自己接続オブジェクトに located しては時間間隔の beginning の during holds オブジェクトは自己接続オブジェクトに located してオブジェクトの top はエンティティーでは depth エンティティー, 自己接続オブジェクト and エンティティー equal エンティティー and 時間間隔 + 関数量は時間間隔の end の during holds

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 3770-3785

物理は Snowstorm の instance では
エンティティーエンティティー and エンティティーエンティティーは Snowing の instance ではエンティティーは地理的地域の instance では eventLocated エンティティー and エンティティーエンティティーは物理% の subprocess では snowfallIntensity エンティティー, エンティティーの time の existence and PerFn エンティティーの Centimeter(s) and 1 の HourDuration(s) エンティティーは 5.0 より greater では　は物理の time の existence の during holds

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: