| 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 | Water only area is a subclass of geographic area |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage WaterOnlyArea "仅水区") | domainEnglishFormat.kif 62481-62481 | |
| (termFormat ChineseTraditionalLanguage WaterOnlyArea "僅水區") | domainEnglishFormat.kif 62480-62480 | |
| (termFormat EnglishLanguage WaterOnlyArea "water only area") | domainEnglishFormat.kif 62479-62479 |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners