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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StaticWaterArea
StaticWaterArea

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 9040-9041
(subclass StaticWaterArea WaterArea) Mid-level-ontology.kif 9039-9039

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


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

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