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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SurfaceGroundArea

Sigma KEE - SurfaceGroundArea
SurfaceGroundArea(surface ground area)

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 Surface ground area is a subclass of geographic area

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


(termFormat ChineseLanguage SurfaceGroundArea "地面面积") domainEnglishFormat.kif 56311-56311
(termFormat ChineseTraditionalLanguage SurfaceGroundArea "地面面積") domainEnglishFormat.kif 56310-56310
(termFormat EnglishLanguage SurfaceGroundArea "surface ground area") domainEnglishFormat.kif 56309-56309

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 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