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 4502-4504
(instance OpenSea Attribute)	Geography.kif 4500-4500

appearance as argument number 2

(termFormat ChineseLanguage OpenSea "公海")	domainEnglishFormat.kif 42199-42199
(termFormat ChineseTraditionalLanguage OpenSea "公海")	domainEnglishFormat.kif 42198-42198
(termFormat EnglishLanguage OpenSea "open sea")	domainEnglishFormat.kif 42197-42197

antecedent

(<=>
    (attribute ?WATER OpenSea)
    (and
        (instance ?WATER SaltWaterArea)
        (not
            (instance ?WATER LandlockedWater))
        (distance ?LAND ?WATER
            (MeasureFn ?DIST NaticalMile))
        (greaterThan ?DIST 5)))

Geography.kif 4506-4514