OpenSea - Sigma Knowledge base Browser

appearance as argument number 1

(instance OpenSea Attribute)	Geography.kif 6247-6247	Open sea is an instance of attribute
(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 6249-6251	Open sea is an instance of attribute

appearance as argument number 2

(termFormat EnglishLanguage OpenSea "open sea")	domainEnglishFormat.kif 42215-42215
(termFormat ChineseTraditionalLanguage OpenSea "公海")	domainEnglishFormat.kif 42216-42216
(termFormat ChineseLanguage OpenSea "公海")	domainEnglishFormat.kif 42217-42217

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))))

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