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

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


(disjoint StreamWaterArea StaticWaterArea) Mid-level-ontology.kif 9252-9252 Stream water area is disjoint from static water area
(disjoint WaterCurrent StaticWaterArea) Geography.kif 4941-4941 Water current is disjoint from static water area
(subclass Lake StaticWaterArea) Geography.kif 5727-5727 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 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 5524-5531


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