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
-------------------------


s__documentation(s__significantWaveHeight__m,s__ChineseLanguage,'"有效波高 (significantWaveHeight)是一个三元谓词(TernaryPredicate)。 (significantWaveHeight ?WA ?TIME ?SWH) ?SWH 是形容在一段时间?TIME (TimeInterval) 一个水域内?WA (WaterArea),所有波浪中,从波峰到波谷平均波高最高的三分之一波浪波高的的长度单位 (LengthMeasure)。 它定义为所有波高标准偏差的四倍。"')

Weather.kif 1518-1521
s__documentation(s__significantWaveHeight__m,s__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 1514-1517
s__domain(s__significantWaveHeight__m,n__1,s__WaterArea)

Weather.kif 1523-1523 The number 1 argument of significant wave height is an instance of water area
s__domain(s__significantWaveHeight__m,n__2,s__TimePosition)

Weather.kif 1524-1524 The number 2 argument of significant wave height is an instance of time position
s__domain(s__significantWaveHeight__m,n__3,s__LengthMeasure)

Weather.kif 1525-1525 The number 3 argument of significant wave height is an instance of length measure
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__significantWaveHeight__m,s__TernaryPredicate)

Weather.kif 1526-1526 significant wave height is an instance of ternary predicate
s__subrelation(s__significantWaveHeight__m,s__measure__m)

Weather.kif 1527-1527 significant wave height is a subrelation of measure

appearance as argument number 2
-------------------------


s__format(s__EnglishLanguage,s__significantWaveHeight__m,'"significantWaveHeight in %1 during %2 is %3."')

Weather.kif 1528-1529
s__termFormat(s__ChineseLanguage,s__significantWaveHeight__m,'"有效波高"')

domainEnglishFormat.kif 27854-27854
s__termFormat(s__EnglishLanguage,s__significantWaveHeight__m,'"significant wave height"')

domainEnglishFormat.kif 27853-27853

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


( ! [V__SZ,V__X] :
   (((s__instance(V__SZ,s__SurfZone) &
         s__instance(V__X,s__LengthMeasure) &
         s__significantWaveHeight(V__SZ,s__WhenFn(V__SZ)
      ,s__MeasureFn(V__X,s__FootLength))
     &
     s__greaterThan(V__X,n__8))
=>
(s__attribute(V__SZ,s__RedFlagSwimmingCondition)))
)
)

Weather.kif 1396-1404

consequent
-------------------------


( ! [V__WH,V__SWH,V__WW] :
   (((s__instance(V__WH,s__LengthMeasure) &
         s__instance(V__SWH,s__RealNumber))
       =>
       (((s__instance(V__WW,s__WaterWave) &
             s__waveHeight(V__WW,V__WH))
         =>
         (( ? [V__LIST, V__WA, V__U] :
             ((s__instance(V__LIST,s__List) &
                 (s__inList(V__WH,V__LIST)
                 &
                 s__instance(V__WA,s__WaterArea) &
                 s__eventLocated(V__WW,V__WA)
               &
               s__instance(V__U,s__LengthMeasure) &
               s__significantWaveHeight(V__WA,s__WhenFn(V__WW)
            ,s__MeasureFn(V__SWH,V__U))
         &
         (V__SWH = s__MultiplicationFn(n__4,s__StandardDeviationFn(V__LIST)))))))))))
)
)

Weather.kif 1531-1546
( ! [V__HS] :
   ((s__instance(V__HS,s__HeavySurf) =>
       (( ? [V__SZ, V__SWH] :
           ((s__instance(V__SWH,s__RealNumber) &
               (s__instance(V__SZ,s__SurfZone) &
                 s__eventLocated(V__HS,V__SZ)
               &
               s__significantWaveHeight(V__SZ,s__WhenFn(V__HS)
            ,s__MeasureFn(V__SWH,s__FootLength))
           &
           s__greaterThanOrEqualTo(V__SWH,n__13)))))))
)
)

Weather.kif 1556-1565


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