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 9813-9814
(subclass StaticWaterArea WaterArea) Mid-level-ontology.kif 9812-9812 Static water area is a subclass of water area

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


(disjoint StreamWaterArea StaticWaterArea) Mid-level-ontology.kif 9807-9807 Stream water area is disjoint from static water area
(disjoint WaterCurrent StaticWaterArea) Geography.kif 5010-5010 Water current is disjoint from static water area
(subclass Lake StaticWaterArea) Geography.kif 5796-5796 Lake is a subclass of static water area
(termFormat ChineseLanguage StaticWaterArea "静水区") chinese_format.kif 954-954 Lake is a subclass of static water area
(termFormat EnglishLanguage StaticWaterArea "static water area") english_format.kif 1115-1115 Lake is a subclass of static water area
(termFormat FrenchLanguage StaticWaterArea "plan d'eau stagnant") french_format.kif 630-630 Lake is a subclass of static water area
(termFormat Hindi StaticWaterArea "swhita jala kshetra") terms-hindi.txt 161-161 Lake is a subclass of static water area
(termFormat ItalianLanguage StaticWaterArea "SuperficieD'AcquaFerma") terms-it.txt 164-164 Lake is a subclass of static water area
(termFormat JapaneseLanguage StaticWaterArea "静水域") japanese_format.kif 2315-2315 Lake is a subclass of static water area
(termFormat PortugueseLanguage StaticWaterArea "Area aquatica parada") portuguese_format.kif 582-582 Lake is a subclass of static water area
(termFormat cz StaticWaterArea "static water area") terms-cz.txt 198-198 Lake is a subclass of static water area
(termFormat de StaticWaterArea "feststehendes Wassergebiet") terms-de.txt 457-457 Lake is a subclass of static water area
(termFormat ro StaticWaterArea "întindere de apã stãtutã") relations-ro.kif 651-651 Lake is a subclass of static water area
(termFormat tg StaticWaterArea "liki ng ubig tahimik") terms-tg.txt 165-165 Lake is a subclass of static water area

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


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


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