TreeView Knowledge Base Browser

appearance as argument number 1

(subclass WaterOnlyArea GeographicArea)	Geography.kif 2063-2063	Water only area is a subclass of geographic area
(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 2065-2069	Water only area is a subclass of geographic area

appearance as argument number 2

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

antecedent

(=>
    (instance ?EXCLUSIVEWATERAREA WaterOnlyArea)
    (not
        (exists (?LANDAREA)
            (and
                (instance ?LANDAREA LandArea)
                (part ?LANDAREA ?EXCLUSIVEWATERAREA)))))

Geography.kif 2071-2077

If X is an instance of water only area, then there doesn't exist Y such that Y is an instance of land area and Y is a part of X

consequent

(=>
    (waterAreaOnly ?AREA ?MEASURE)
    (exists (?WATER)
        (and
            (instance ?WATER WaterOnlyArea)
            (part ?WATER ?AREA)
            (totalArea ?WATER ?MEASURE))))

Geography.kif 2079-2085

If X is a water area only of Y, then there exists Z such that Z is an instance of water only area, Z is a part of Y, and X is a total area of Z

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: