Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SurfaceGroundArea

Sigma KEE - SurfaceGroundArea
SurfaceGroundArea

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 571-576
(subclass SurfaceGroundArea GeographicArea) Geography.kif 569-569

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


(termFormat ChineseLanguage SurfaceGroundArea "地面面积") domainEnglishFormat.kif 56290-56290
(termFormat ChineseTraditionalLanguage SurfaceGroundArea "地面面積") domainEnglishFormat.kif 56289-56289
(termFormat EnglishLanguage SurfaceGroundArea "surface ground area") domainEnglishFormat.kif 56288-56288

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


(=>
    (instance ?EXCLUSIVELANDAREA SurfaceGroundArea)
    (not
        (exists (?WATERAREA)
            (and
                (instance ?WATERAREA WaterArea)
                (part ?WATERAREA ?EXCLUSIVELANDAREA)))))
Geography.kif 578-584

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


(=>
    (landAreaOnly ?AREA ?MEASURE)
    (exists (?LAND)
        (and
            (instance ?LAND SurfaceGroundArea)
            (part ?LAND ?AREA)
            (totalArea ?LAND ?MEASURE))))
Geography.kif 586-592


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 is open source software produced by Articulate Software and its partners