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

KB Term:  Term intersection
English Word: 

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 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners