significantWaveHeight - Sigma Knowledge base Browser

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	The number 1 argument of significant wave height is an instance of water area
(domain significantWaveHeight 2 TimePosition)	Weather.kif 1521-1521	The number 2 argument of significant wave height is an instance of time position
(domain significantWaveHeight 3 LengthMeasure)	Weather.kif 1522-1522	The number 3 argument of significant wave height is an instance of length measure
(instance significantWaveHeight TernaryPredicate)	Weather.kif 1523-1523	significant wave height is an instance of ternary predicate
(subrelation significantWaveHeight measure)	Weather.kif 1524-1524	significant wave height is a subrelation of measure

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

If a water area is an instance of surf zone and significantWaveHeight in the water area during the time of existence of the water area is a real number foot length(s). and the real number is greater than 8.0,
then red flag swimming condition is an attribute of the water area

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	If a water wave is an instance of water wave and The waveHeight of the water wave a length measure., then there exist a list, a water area,, , an unit of measure and a real number such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at the water area and the unit of measure is an instance of unit of length and significantWaveHeight in the water area during the time of existence of the water wave is the real number the unit of measure(s). and the real number is equal to 4.0 and The StandardDeviationFn of the 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	If a process is an instance of heavy zone, then there exist a water area and a real number such that the water area is an instance of surf zone and the process is located at the water area and significantWaveHeight in the water area during the time of existence of the process is the real number foot length(s). and the real number is greater than or equal to 13.0

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: