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 589-593
(subclass WaterOnlyArea GeographicArea) Geography.kif 587-587

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


(termFormat ChineseLanguage WaterOnlyArea "仅水区") domainEnglishFormat.kif 62435-62435
(termFormat ChineseTraditionalLanguage WaterOnlyArea "僅水區") domainEnglishFormat.kif 62434-62434
(termFormat EnglishLanguage WaterOnlyArea "water only area") domainEnglishFormat.kif 62433-62433

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


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

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


(=>
    (waterAreaOnly ?AREA ?MEASURE)
    (exists (?WATER)
        (and
            (instance ?WATER WaterOnlyArea)
            (part ?WATER ?AREA)
            (totalArea ?WATER ?MEASURE))))
Geography.kif 603-609


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