Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - significantWaveHeight
significantWaveHeight

appearance as argument number 1
-------------------------


(documentation significantWaveHeight ChineseLanguage "有效波高 (significantWaveHeight)是一个三元谓词(TernaryPredicate)。 (significantWaveHeight ?WA ?TIME ?SWH) ?SWH 是形容在一段时间?TIME (TimeInterval) 一个水域内?WA (WaterArea),所有波浪中,从波峰到波谷平均波高最高的三分之一波浪波高的的长度单位 (LengthMeasure)。 它定义为所有波高标准偏差的四倍。") Weather.kif 2205-2208
(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 2201-2204
(domain significantWaveHeight 1 WaterArea) Weather.kif 2210-2210 The number 1 argument of significant wave height is an instance of water area
(domain significantWaveHeight 2 TimePosition) Weather.kif 2211-2211 The number 2 argument of significant wave height is an instance of time position
(domain significantWaveHeight 3 LengthMeasure) Weather.kif 2212-2212 The number 3 argument of significant wave height is an instance of length measure
(instance significantWaveHeight TernaryPredicate) Weather.kif 2213-2213 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 2214-2215
(termFormat ChineseLanguage significantWaveHeight "有效波高") domainEnglishFormat.kif 27874-27874
(termFormat EnglishLanguage significantWaveHeight "significant wave height") domainEnglishFormat.kif 27873-27873

antecedent
-------------------------


(=>
    (and
        (instance ?SZ SurfZone)
        (significantWaveHeight ?SZ
            (WhenFn ?SZ)
            (MeasureFn ?X FootLength))
        (greaterThan ?X 8.0))
    (attribute ?SZ RedFlagSwimmingCondition))
Weather.kif 2085-2092

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 2217-2232
(=>
    (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 2242-2251


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