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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - WaterOnlyArea

appearance as argument number 1

(documentation WaterOnlyArea EnglishLanguage "WaterOnlyArea is a subclass of GeographicArea that is restricted to regions whose surface is water. A WaterOnlyArea may be a discontinuous region overlapping a larger, continuous GeographicArea but excluding any LandAreas enclosed therein. Dry land areas, including islands, are not part of any WaterOnlyArea.") Geography.kif 596-600
(subclass WaterOnlyArea GeographicArea) Geography.kif 594-594

appearance as argument number 2

(termFormat ChineseLanguage WaterOnlyArea "仅水区") domainEnglishFormat.kif 62400-62400
(termFormat ChineseTraditionalLanguage WaterOnlyArea "僅水區") domainEnglishFormat.kif 62399-62399
(termFormat EnglishLanguage WaterOnlyArea "water only area") domainEnglishFormat.kif 62398-62398


    (instance ?EXCLUSIVEWATERAREA WaterOnlyArea)
        (exists (?LANDAREA)
                (instance ?LANDAREA LandArea)
                (part ?LANDAREA ?EXCLUSIVEWATERAREA)))))
Geography.kif 602-608


    (waterAreaOnly ?AREA ?MEASURE)
    (exists (?WATER)
            (instance ?WATER WaterOnlyArea)
            (part ?WATER ?AREA)
            (totalArea ?WATER ?MEASURE))))
Geography.kif 610-616

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