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 externalImage LandlockedWater and "http://upload.wikimedia.org/wikipedia/commons/7/71/ Blowdown_Lake.JPG"
(subclass LandlockedWater BodyOfWater) Geography.kif 4742-4742 LandlockedWaterBodyOfWatersubclass

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


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

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 OpenSea 客体attribute 若且唯若 对所有 物理 实体盐水区instance那个 客体 不 是 LandlockedWaterinstance那个 物理那个 客体distance 长度测量那个 长度测量greaterThan 5 NauticalMile


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