WaterOnlyArea
|
|
appearance as argument number 1 |
(documentation WaterOnlyArea EnglishLanguage "WaterOnlyArea is a subclass of GeographicArea that is restricted to regions whose surface is water. A WaterOnlyArea may be a discontinuous region overlapping a larger, continuous GeographicArea but excluding any LandAreas enclosed therein. Dry land areas, including islands, are not part of any WaterOnlyArea.") | Geography.kif 589-593 | |
(subclass WaterOnlyArea GeographicArea) | Geography.kif 587-587 |
appearance as argument number 2 |
(termFormat ChineseLanguage WaterOnlyArea "仅水区") | domainEnglishFormat.kif 62435-62435 | |
(termFormat ChineseTraditionalLanguage WaterOnlyArea "僅水區") | domainEnglishFormat.kif 62434-62434 | |
(termFormat EnglishLanguage WaterOnlyArea "water only area") | domainEnglishFormat.kif 62433-62433 |
antecedent |
(=> (instance ?EXCLUSIVEWATERAREA WaterOnlyArea) (not (exists (?LANDAREA) (and (instance ?LANDAREA LandArea) (part ?LANDAREA ?EXCLUSIVEWATERAREA))))) |
Geography.kif 595-601 |
consequent |
(=> (waterAreaOnly ?AREA ?MEASURE) (exists (?WATER) (and (instance ?WATER WaterOnlyArea) (part ?WATER ?AREA) (totalArea ?WATER ?MEASURE)))) |
Geography.kif 603-609 |