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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StaticWaterArea
StaticWaterArea(static water area)Boston_Harbor, Caesarea, Pearl_Harbor, Zuider_Zee, abyssal_zone, bayou, billabong, bog, high_sea, international_waters, lacustrine, lagoon, laguna, lagune, liman, mire, mud_puddle, paddy, paddy_field, peat_bog, pool, puddle, rice_paddy, slack, slack_water, slough, sound, wallow, water_hole

appearance as argument number 1
-------------------------


(documentation StaticWaterArea EnglishLanguage "A WaterArea in which water does not flow constantly or in the same direction, e.g. most lakes and ponds.") Mid-level-ontology.kif 8768-8769
(subclass StaticWaterArea WaterArea) Mid-level-ontology.kif 8767-8767 Static water area is a subclass of water area

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


(disjoint StreamWaterArea StaticWaterArea) Mid-level-ontology.kif 8762-8762 Stream water area is disjoint from static water area
(disjoint WaterCurrent StaticWaterArea) Geography.kif 4627-4627 Water current is disjoint from static water area
(subclass Lake StaticWaterArea) Geography.kif 5403-5403 Lake is a subclass of static water area
(termFormat ChineseLanguage StaticWaterArea "静水区") chinese_format.kif 954-954
(termFormat EnglishLanguage StaticWaterArea "static water area") english_format.kif 1120-1120

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


(=>
    (instance ?SYSTEM RiverSystem)
    (exists (?RIVER ?STATIC)
        (and
            (instance ?RIVER River)
            (part ?RIVER ?SYSTEM)
            (instance ?STATIC StaticWaterArea)
            (connected ?RIVER ?STATIC))))
Geography.kif 5201-5208


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners