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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterOnlyArea

Sigma KEE - WaterOnlyArea
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

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


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

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


(=>
    (waterAreaOnly ?AREA ?MEASURE)
    (exists (?WATER)
        (and
            (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