| appearance as argument number 1 |
|
| (documentation SurfaceGroundArea EnglishLanguage "SurfaceGroundArea is a subclass of GeographicArea that is restricted to regions whose surface is solid ground. A SurfaceGroundArea may be a discontinuous region overlapping a larger, continuous GeographicArea but excluding any WaterAreas enclosed therein. Rivers, lakes, reservoirs and other surface water areas are not part of any SurfaceGroundArea.") | Geography.kif 564-569 | |
| (subclass SurfaceGroundArea GeographicArea) | Geography.kif 562-562 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SurfaceGroundArea "地面面积") | domainEnglishFormat.kif 56344-56344 | |
| (termFormat ChineseTraditionalLanguage SurfaceGroundArea "地面面積") | domainEnglishFormat.kif 56343-56343 | |
| (termFormat EnglishLanguage SurfaceGroundArea "surface ground area") | domainEnglishFormat.kif 56342-56342 |
| antecedent |
|
|
| (=> (instance ?EXCLUSIVELANDAREA SurfaceGroundArea) (not (exists (?WATERAREA) (and (instance ?WATERAREA WaterArea) (part ?WATERAREA ?EXCLUSIVELANDAREA))))) |
Geography.kif 571-577 |
| consequent |
|
|
| (=> (landAreaOnly ?AREA ?MEASURE) (exists (?LAND) (and (instance ?LAND SurfaceGroundArea) (part ?LAND ?AREA) (totalArea ?LAND ?MEASURE)))) |
Geography.kif 579-585 |
|
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