TreeView Knowledge Base Browser - significantWaveHeight

appearance as argument number 1

(documentation significantWaveHeight ChineseLanguage "有效波高 (significantWaveHeight)是一个三元谓词(TernaryPredicate)。 (significantWaveHeight ?WA ?TIME ?SWH) ?SWH 是形容在一段时间?TIME (TimeInterval) 一个水域内?WA (WaterArea)，所有波浪中，从波峰到波谷平均波高最高的三分之一波浪波高的的长度单位 (LengthMeasure)。它定义为所有波高标准偏差的四倍。")	Weather.kif 1515-1518
(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 1511-1514
(domain significantWaveHeight 1 WaterArea)	Weather.kif 1520-1520	域 significantWaveHeight, 1 and WaterArea
(domain significantWaveHeight 2 TimePosition)	Weather.kif 1521-1521	域 significantWaveHeight, 2 and TimePosition
(domain significantWaveHeight 3 LengthMeasure)	Weather.kif 1522-1522	域 significantWaveHeight, 3 and LengthMeasure
(instance significantWaveHeight TernaryPredicate)	Weather.kif 1523-1523	例 significantWaveHeight and TernaryPredicate
(subrelation significantWaveHeight measure)	Weather.kif 1524-1524	子關係 significantWaveHeight and 測量

appearance as argument number 2

(format EnglishLanguage significantWaveHeight "significantWaveHeight in %1 during %2 is %3.")	Weather.kif 1525-1526
(termFormat ChineseLanguage significantWaveHeight "有效波高")	domainEnglishFormat.kif 27863-27863
(termFormat EnglishLanguage significantWaveHeight "significant wave height")	domainEnglishFormat.kif 27862-27862

antecedent

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

Weather.kif 1394-1401

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 1528-1543	例水波 and 水波 waveHeight 水波 and LengthMeasure List WaterArea, UnitOfMeasure and RealNumber 在列表中 LengthMeasure and List 例 WaterArea and WaterArea 水波是 located 在 WaterArea 例 UnitOfMeasure and UnitOfLength significantWaveHeight WaterArea, 何時水波 and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 乘法 4.0 and StandardDeviationFn List
(=> (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 1553-1562	例 Process and 高激浪 WaterArea RealNumber 例 WaterArea and SurfZone Process 是 located 在 WaterArea significantWaveHeight WaterArea, 何時 Process and 測量 RealNumber and 腳長大於或等於 RealNumber and 13.0