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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LandlockedWater

Sigma KEE - LandlockedWater
LandlockedWater

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


(documentation LandlockedWater EnglishLanguage "LandlockedWater includes water areas that are surrounded by land, including salt lakes, fresh water lakes, ponds, reservoirs, and (more or less) wetlands.") Geography.kif 4744-4746
(externalImage LandlockedWater "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Blowdown_Lake.JPG") pictureList.kif 1491-1491
(subclass LandlockedWater BodyOfWater) Geography.kif 4742-4742

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


(subclass SaltLake LandlockedWater) Geography.kif 4751-4751
(termFormat EnglishLanguage LandlockedWater "landlocked water") domainEnglishFormat.kif 5958-5958

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


(<=>
    (attribute ?WATER OpenSea)
    (forall (?LAND)
        (and
            (instance ?AREA SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER ?DIST)
            (greaterThan ?DIST
                (MeasureFn 5 NauticalMile)))))
Geography.kif 4408-4415


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