significantWaveHeight - Sigma Knowledge base Browser

appearance as argument number 1

(documentation significantWaveHeight EnglishLanguage " significantWaveHeight is a TernaryPredicate. (significantWaveHeight ?WA ?TIME ?SWH) ?SWH is a LengthMeasure used to describe the average wave height, from trough to crest, of the highest third the waves for a ?WA (WaterArea) for a ?TIME (TimeInterval). It is defined as four times the standard deviation of the height of all waves.")	Weather.kif 2825-2828
(documentation significantWaveHeight ChineseLanguage "有效波高 (significantWaveHeight)是一个三元谓词(TernaryPredicate)。 (significantWaveHeight ?WA ?TIME ?SWH) ?SWH 是形容在一段时间?TIME (TimeInterval) 一个水域内?WA (WaterArea)，所有波浪中，从波峰到波谷平均波高最高的三分之一波浪波高的的长度单位 (LengthMeasure)。它定义为所有波高标准偏差的四倍。")	Weather.kif 2829-2832
(domain significantWaveHeight 1 WaterArea)	Weather.kif 2834-2834	The number 1 argument of significant wave height is an instance of water area
(domain significantWaveHeight 2 TimePosition)	Weather.kif 2835-2835	The number 2 argument of significant wave height is an instance of time position
(domain significantWaveHeight 3 LengthMeasure)	Weather.kif 2836-2836	The number 3 argument of significant wave height is an instance of length measure
(instance significantWaveHeight TernaryPredicate)	Weather.kif 2837-2837	significant wave height is an instance of ternary predicate

appearance as argument number 2

(format EnglishLanguage significantWaveHeight "significantWaveHeight in %1 during %2 is %3.")	Weather.kif 2838-2839
(termFormat EnglishLanguage significantWaveHeight "significant wave height")	domainEnglishFormat.kif 27866-27866
(termFormat ChineseLanguage significantWaveHeight "有效波高")	domainEnglishFormat.kif 27867-27867

antecedent

(=>
    (and
        (instance ?SZ SurfZone)
        (significantWaveHeight ?SZ
            (WhenFn ?SZ)
            (MeasureFn ?X FootLength))
        (greaterThan ?X 8.0))
    (attribute ?SZ RedFlagSwimmingCondition))

consequent

(=> (and (instance ?WW WaterWave) (waveHeight ?WW ?WH)) (exists (?LIST ?WA ?U ?SWH) (and (inList ?WH ?LIST) (instance ?WA WaterArea) (eventLocated ?WW ?WA) (instance ?U UnitOfLength) (significantWaveHeight ?WA (WhenFn ?WW) (MeasureFn ?SWH ?U)) (equal ?SWH (MultiplicationFn 4.0 (StandardDeviationFn ?LIST))))))	Weather.kif 2841-2856	If X is an instance of water wave and The waveHeight of X Y., then there exist Z, W,, , V and U such that Y is a member of Z and W is an instance of water area and X is located at W and V is an instance of unit of length and significantWaveHeight in W during the time of existence of X is U V(s). and equal U and 4.0 and The StandardDeviationFn of Z
(=> (instance ?HS HeavySurf) (exists (?SZ ?SWH) (and (instance ?SZ SurfZone) (eventLocated ?HS ?SZ) (significantWaveHeight ?SZ (WhenFn ?HS) (MeasureFn ?SWH FootLength)) (greaterThanOrEqualTo ?SWH 13.0))))	Weather.kif 2866-2875	If X is an instance of heavy zone, then there exist Y and Z such that Y is an instance of surf zone and X is located at Y and significantWaveHeight in Y during the time of existence of X is Z foot length(s). and Z is greater than or equal to 13.0