Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WaterOnlyArea(water only area) |
| appearance as argument number 1 |
|
| (subclass WaterOnlyArea GeographicArea) | Geography.kif 2063-2063 | Water only area is a subclass of geographic area |
| (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 2065-2069 | Water only area is a subclass of geographic area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?EXCLUSIVEWATERAREA WaterOnlyArea) (not (exists (?LANDAREA) (and (instance ?LANDAREA LandArea) (part ?LANDAREA ?EXCLUSIVEWATERAREA))))) |
Geography.kif 2071-2077 | If X is an instance of water only area, then there doesn't exist Y such that Y is an instance of land area and Y is a part of X |
| consequent |
|
|
| (=> (waterAreaOnly ?AREA ?MEASURE) (exists (?WATER) (and (instance ?WATER WaterOnlyArea) (part ?WATER ?AREA) (totalArea ?WATER ?MEASURE)))) |
Geography.kif 2079-2085 | If X is a water area only of Y, then there exists Z such that Z is an instance of water only area, Z is a part of Y, and X is a total area of Z |
|