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 3778-3781 | |
(externalImage NauticalMile "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Nautic_mile_definition_v2.png") | pictureList.kif 6722-6722 | |
(instance NauticalMile UnitOfLength) | Geography.kif 3777-3777 |
appearance as argument number 2 |
![]() |
(names "nautical mile" NauticalMile) | Geography.kif 3775-3775 | |
(termFormat ChineseLanguage NauticalMile "海里") | domainEnglishFormat.kif 39930-39930 | |
(termFormat ChineseTraditionalLanguage NauticalMile "海裡") | domainEnglishFormat.kif 39929-39929 | |
(termFormat EnglishLanguage NauticalMile "nautical mile") | domainEnglishFormat.kif 39928-39928 |
antecedent |
![]() |
(=> (and (instance ?ZONE ExclusiveFishingZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0)) |
Geography.kif 1148-1153 | |
(=> (and (instance ?ZONE ExtendedFishingZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0)) |
Geography.kif 1180-1185 | |
(=> (and (instance ?ZONE MaritimeExclusiveEconomicZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0)) |
Geography.kif 1116-1121 | |
(=> (and (instance ?ZONE MaritimeShelfArea) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0)) |
Geography.kif 1075-1080 | |
(=> (and (instance ?ZONE TerritorialSea) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 12.0)) |
Geography.kif 1221-1226 | |
(=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.151) Mile))) |
Geography.kif 3799-3805 | |
(=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter)))) |
Geography.kif 3791-3797 | |
(=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed))) |
Geography.kif 3851-3859 |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 1852.0 Meter)) |
Geography.kif 3787-3789 | |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 6076.1 FootLength)) |
Geography.kif 3783-3785 |
![]() |
![]() |