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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 " 7/ 71/ Blowdown_Lake.JPG") pictureList.kif 1491-1491 externalImage LandlockedWater and " 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"


    (attribute ?WATER OpenSea)
    (forall (?LAND)
            (instance ?AREA SaltWaterArea)
                (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