significantWaveHeight |
appearance as argument number 1 |
(documentation significantWaveHeight ChineseLanguage "有效波高 (significantWaveHeight)是一个三元谓词(TernaryPredicate)。 (significantWaveHeight ?WA ?TIME ?SWH) ?SWH 是形容在一段时间?TIME (TimeInterval) 一个水域内?WA (WaterArea),所有波浪中,从波峰到波谷平均波高最高的三分之一波浪波高的的长度单位 (LengthMeasure)。 它定义为所有波高标准偏差的四倍。") | Weather.kif 1519-1522 | |
(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 1515-1518 | |
(domain significantWaveHeight 1 WaterArea) | Weather.kif 1524-1524 | Le nombre 1 argument de significantWaveHeight est une instance de plan d'eau |
(domain significantWaveHeight 2 TimePosition) | Weather.kif 1525-1525 | Le nombre 2 argument de significantWaveHeight est une instance de position temporel |
(domain significantWaveHeight 3 LengthMeasure) | Weather.kif 1526-1526 | Le nombre 3 argument de significantWaveHeight est une instance de mesure de longueur |
(instance significantWaveHeight TernaryPredicate) | Weather.kif 1527-1527 | significantWaveHeight est une instance de pr�dicat ternaire |
(subrelation significantWaveHeight measure) | Weather.kif 1528-1528 | significantWaveHeight est une sous-relation de measure |
appearance as argument number 2 |
(format EnglishLanguage significantWaveHeight "significantWaveHeight in %1 during %2 is %3.") | Weather.kif 1529-1530 | |
(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 1398-1405 |
|
consequent |