OpenSea - Sigma Knowledge base Browser

appearance as argument number 1

(documentation OpenSea EnglishLanguage "OpenSea is the Attribute of a WaterArea that is open ocean beyond five NauticalMiles of land, also known as 'blue water'.")	Geography.kif 4777-4779
(instance OpenSea Attribute)	Geography.kif 4775-4775

appearance as argument number 2

(termFormat ChineseLanguage OpenSea "公海")	domainEnglishFormat.kif 42224-42224
(termFormat ChineseTraditionalLanguage OpenSea "公海")	domainEnglishFormat.kif 42223-42223
(termFormat EnglishLanguage OpenSea "open sea")	domainEnglishFormat.kif 42222-42222

antecedent

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

Geography.kif 4781-4790