SurfZone
|
|
appearance as argument number 1 |
(documentation SurfZone ChineseLanguage "这是海岸线对外,波浪破裂的水域。") | Weather.kif 1376-1376 | |
(documentation SurfZone EnglishLanguage "The WaterArea off the Shoreline where waves break.") | Weather.kif 1375-1375 | |
(subclass SurfZone WaterArea) | Weather.kif 1378-1378 | SurfZone ist eine teilkategorie von WaterArea |
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 1398-1405 |
|
(=> (instance ?SURF SurfZone) (exists (?SL) (and (instance ?SL Shoreline) (orientation ?SURF ?SL Adjacent)))) |
Weather.kif 1379-1384 |
|
consequent |