|
|
   SurfZone
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SurfZone ChineseLanguage "这是海岸线对外，波浪破裂的水域。") | Weather.kif 1360-1360 | |
| (documentation SurfZone EnglishLanguage "The WaterArea off the Shoreline where waves break.") | Weather.kif 1359-1359 | |
| (subclass SurfZone WaterArea) | Weather.kif 1362-1362 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SurfZone "碎波带") | domainEnglishFormat.kif 27845-27845 | |
| (termFormat EnglishLanguage SurfZone "surf zone") | domainEnglishFormat.kif 27844-27844 |
| antecedent |
|
|
| (=> (and (instance ?SZ SurfZone) (significantWaveHeight ?SZ (WhenFn ?SZ) (MeasureFn ?X FootLength)) (greaterThan ?X 8.0)) (attribute ?SZ RedFlagSwimmingCondition)) |
Weather.kif 1382-1389 | |
| (=> (instance ?SURF SurfZone) (exists (?SL) (and (instance ?SL Shoreline) (orientation ?SURF ?SL Adjacent)))) |
Weather.kif 1363-1368 |
| consequent |
|
|
| (=> (instance ?BREAK BreakingWave) (exists (?SURF) (and (instance ?SURF SurfZone) (eventLocated ?BREAK ?SURF)))) |
Weather.kif 1370-1375 | |
| (=> (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 |
|
|
|