Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  SurfaceGroundArea

 Sigma KEE - SurfaceGroundArea
SurfaceGroundArea(surface ground area)

appearance as argument number 1
-------------------------


(subclass SurfaceGroundArea GeographicArea) Geography.kif 2038-2038 Surface ground area is a subclass of geographic area
(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 2040-2045 Surface ground area is a subclass of geographic area

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SurfaceGroundArea "surface ground area") domainEnglishFormat.kif 56306-56306
(termFormat ChineseTraditionalLanguage SurfaceGroundArea "地面面積") domainEnglishFormat.kif 56307-56307
(termFormat ChineseLanguage SurfaceGroundArea "地面面积") domainEnglishFormat.kif 56308-56308

antecedent
-------------------------


(=>
    (instance ?EXCLUSIVELANDAREA SurfaceGroundArea)
    (not
        (exists (?WATERAREA)
            (and
                (instance ?WATERAREA WaterArea)
                (part ?WATERAREA ?EXCLUSIVELANDAREA)))))		 Geography.kif 2047-2053 If X is an instance of surface ground area, then there doesn't exist Y such that Y is an instance of water area and Y is a part of X

consequent
-------------------------


(=>
    (landAreaOnly ?AREA ?MEASURE)
    (exists (?LAND)
        (and
            (instance ?LAND SurfaceGroundArea)
            (part ?LAND ?AREA)
            (totalArea ?LAND ?MEASURE))))		 Geography.kif 2055-2061 If X is a land area only of Y, then there exists Z such that Z is an instance of surface ground area, Z is a part of Y, and X is a total area of Z


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners