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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterOnlyArea
WaterOnlyArea(water only area)

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 Water only area is a subclass of geographic area

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


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

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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