NauticalMile![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation NauticalMile EnglishLanguage "NauticalMile represents the international unit used for measuring distance in sea and air navigation. The unit is based on the length of a minute of arc of a great circle of PlanetEarth.") | Geography.kif 3937-3940 | |
(externalImage NauticalMile "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Nautic_mile_definition_v2.png") | pictureList.kif 6720-6720 | |
(instance NauticalMile UnitOfLength) | Geography.kif 3936-3936 |
appearance as argument number 2 |
![]() |
(names "nautical mile" NauticalMile) | Geography.kif 3934-3934 | |
(termFormat ChineseLanguage NauticalMile "海里") | domainEnglishFormat.kif 39958-39958 | |
(termFormat ChineseTraditionalLanguage NauticalMile "海裡") | domainEnglishFormat.kif 39957-39957 | |
(termFormat EnglishLanguage NauticalMile "nautical mile") | domainEnglishFormat.kif 39956-39956 |
antecedent |
![]() |
(=> (and (instance ?ZONE ExclusiveFishingZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0)) |
Geography.kif 1135-1140 | |
(=> (and (instance ?ZONE ExtendedFishingZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0)) |
Geography.kif 1167-1172 | |
(=> (and (instance ?ZONE MaritimeExclusiveEconomicZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0)) |
Geography.kif 1103-1108 | |
(=> (and (instance ?ZONE MaritimeShelfArea) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0)) |
Geography.kif 1062-1067 | |
(=> (and (instance ?ZONE TerritorialSea) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 12.0)) |
Geography.kif 1208-1213 | |
(=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.151) Mile))) |
Geography.kif 3958-3964 | |
(=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter)))) |
Geography.kif 3950-3956 | |
(=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed))) |
Geography.kif 4010-4018 |
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)))) |
Geography.kif 4781-4790 | |
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.151) Mile))) |
Geography.kif 3993-4000 | |
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter)))) |
Geography.kif 3975-3982 | |
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1852.0) Meter))) |
Geography.kif 3966-3973 | |
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 6076.1) FootLength))) |
Geography.kif 3984-3991 | |
(=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1.0 HourDuration)))) |
Geography.kif 4020-4026 | |
(=> (or (equal ?DIRECTION North) (equal ?DIRECTION South)) (length (LatitudeFn ?DIRECTION (MeasureFn 0.0 AngularDegree) (MeasureFn 1.0 ArcMinute) (MeasureFn 0.0 ArcSecond)) (MeasureFn 1.0 NauticalMile))) |
Geography.kif 433-440 |
statement |
![]() |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 1852.0 Meter)) |
Geography.kif 3946-3948 | |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 6076.1 FootLength)) |
Geography.kif 3942-3944 |
![]() |
![]() |