TreeView Knowledge Base Browser

appearance as argument number 1

(subclass LandlockedWater BodyOfWater)	Geography.kif 6634-6634	Landlocked water is a subclass of body of water
(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 6636-6638	Landlocked water is a subclass of body of water
(externalImage LandlockedWater "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Blowdown_Lake.JPG")	pictureList.kif 1490-1490	Landlocked water is a subclass of body of water

appearance as argument number 2

(subclass SaltLake LandlockedWater)	Geography.kif 6643-6643	Salt lake is a subclass of landlocked water
(termFormat EnglishLanguage LandlockedWater "landlocked water")	domainEnglishFormat.kif 33243-33243	Salt lake is a subclass of landlocked water
(termFormat ChineseTraditionalLanguage LandlockedWater "內陸水域")	domainEnglishFormat.kif 33244-33244	Salt lake is a subclass of landlocked water
(termFormat ChineseLanguage LandlockedWater "内陆水域")	domainEnglishFormat.kif 33245-33245	Salt lake is a subclass of landlocked water

consequent

(<=>
    (attribute ?WATER OpenSea)
    (exists (?LAND ?DIST)
        (and
            (instance ?WATER SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER
                (MeasureFn ?DIST NauticalMile))
            (greaterThan ?DIST 5.0))))

Open sea is an attribute of X if and only if there exist Y and Z such that X is an instance of salt water area and X is not an instance of landlocked water and the distance between Y and X is Z nautical mile(s) and Z is greater than 5.0