HeavySurf(高激浪) |
appearance as argument number 1 |
(documentation HeavySurf ChineseLanguage "HeavySurf 是当碎波带 (SurfZone) 出现海浪 (WaterWave)有效波高 (significantWaveHeight) 高于 13 FootLength 或 4 Meter 的情况。") | Weather.kif 1551-1553 | |
(documentation HeavySurf EnglishLanguage "HeavySurf is when the significantWaveHeight of the WaterWaves over a SurfZone is greater than 13 FootLength or 4 Meter.") | Weather.kif 1549-1550 | |
(subclass HeavySurf WaterMotion) | Weather.kif 1555-1555 | 高激浪 是 水运动 的 subclass |
(subclass HeavySurf WeatherProcess) | Weather.kif 1554-1554 | 高激浪 是 天气过程 的 subclass |
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 1579-1592 | |
(=> (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 1557-1566 | |
(=> (instance ?HS HeavySurf) (holdsDuring (WhenFn ?HS) (exists (?SZ ?WW) (and (instance ?SZ SurfZone) (instance ?WW WaterWave) (subProcess ?WW ?HS) (eventLocated ?WW ?SZ))))) |
Weather.kif 1568-1577 |