|
|
  OpenSea
|
|
|
| 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 4606-4608 | |
| (instance OpenSea Attribute) | Geography.kif 4604-4604 | instance OpenSea and Attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage OpenSea "公海") | domainEnglishFormat.kif 42193-42193 | |
| (termFormat ChineseTraditionalLanguage OpenSea "公海") | domainEnglishFormat.kif 42192-42192 | |
| (termFormat EnglishLanguage OpenSea "open sea") | domainEnglishFormat.kif 42191-42191 |
| antecedent |
|
|
| (<=> (attribute ?WATER OpenSea) (and (instance ?WATER SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER (MeasureFn ?DIST NauticalMile)) (greaterThan ?DIST 5.0))) |
Geography.kif 4610-4618 | attribute Object and OpenSea instance Object and SaltWaterArea instance Object and LandlockedWater distance Physical, Object and MeasureFn RealNumber and NauticalMile greaterThan RealNumber and 5.0 |
|
|
|