HeavySurf
|
|
appearance as argument number 1 |
(documentation HeavySurf ChineseLanguage "HeavySurf 是当碎波带 (SurfZone) 出现海浪 (WaterWave)有效波高 (significantWaveHeight) 高于 13 FootLength 或 4 Meter 的情况。") | Weather.kif 1534-1536 | |
(documentation HeavySurf EnglishLanguage "HeavySurf is when the significantWaveHeight of the WaterWaves over a SurfZone is greater than 13 FootLength or 4 Meter.") | Weather.kif 1532-1533 | |
(subclass HeavySurf WaterMotion) | Weather.kif 1538-1538 | 子類 高激浪 and 水運動 |
(subclass HeavySurf WeatherProcess) | Weather.kif 1537-1537 | 子類 高激浪 and 天氣過程 |
appearance as argument number 2 |
(termFormat ChineseLanguage HeavySurf "高激浪") | domainEnglishFormat.kif 27867-27867 | |
(termFormat ChineseTraditionalLanguage HeavySurf "高激浪") | domainEnglishFormat.kif 27866-27866 | |
(termFormat EnglishLanguage HeavySurf "heavy zone") | domainEnglishFormat.kif 27865-27865 |
antecedent |
(=> (and (instance ?HS HeavySurf) (instance ?PLACE WaterArea) (eventLocated ?HS ?PLACE)) (exists (?SWIM ?A) (and (instance ?SWIM Swimming) (instance ?A Human) (agent ?SWIM ?A) (eventLocated ?SWIM ?PLACE) (holdsDuring (WhenFn ?HS) (hazardous ?HS ?A))))) |
Weather.kif 1562-1575 | |
(=> (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 1540-1549 |
|
(=> (instance ?HS HeavySurf) (holdsDuring (WhenFn ?HS) (exists (?SZ ?WW) (and (instance ?SZ SurfZone) (instance ?WW WaterWave) (subProcess ?WW ?HS) (eventLocated ?WW ?SZ))))) |
Weather.kif 1551-1560 |