Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  NauticalMile

 Sigma KEE - NauticalMile
NauticalMile(nautical mile)
air_mile, international_nautical_mile, knot, mi, mile, naut_mi, nautical_mile, sea_mile

appearance as argument number 1
-------------------------


(instance NauticalMile UnitOfLength) Geography.kif 5390-5390 Nautical mile is an instance of unit of length
(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 5391-5394 Nautical mile is an instance of unit of length
(externalImage NauticalMile "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Nautic_mile_definition_v2.png") pictureList.kif 6720-6720 Nautical mile is an instance of unit of length

appearance as argument number 2
-------------------------


(names "nautical mile" NauticalMile) Geography.kif 5388-5388 Nautical mile has name "nautical mile"
(termFormat EnglishLanguage NauticalMile "nautical mile") domainEnglishFormat.kif 39949-39949 Nautical mile has name "nautical mile"
(termFormat ChineseTraditionalLanguage NauticalMile "海裡") domainEnglishFormat.kif 39950-39950 Nautical mile has name "nautical mile"
(termFormat ChineseLanguage NauticalMile "海里") domainEnglishFormat.kif 39951-39951 Nautical mile has name "nautical mile"

antecedent
-------------------------


(=>
    (and
        (instance ?ZONE MaritimeShelfArea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))		 Geography.kif 2525-2530 If X is an instance of maritime shelf area and the linear extent of X is Y nautical mile(s), then Y is less than or equal to 200.0
(=>
    (and
        (instance ?ZONE MaritimeExclusiveEconomicZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))		 Geography.kif 2566-2571 If X is an instance of maritime exclusive economic zone and the linear extent of X is Y nautical mile(s), then Y is less than or equal to 200.0
(=>
    (and
        (instance ?ZONE ExclusiveFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))		 Geography.kif 2598-2603 If X is an instance of exclusive fishing zone and the linear extent of X is Y nautical mile(s), then Y is less than or equal to 200.0
(=>
    (and
        (instance ?ZONE ExtendedFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))		 Geography.kif 2630-2635 If X is an instance of extended fishing zone and the linear extent of X is Y nautical mile(s), then Y is less than or equal to 200.0
(=>
    (and
        (instance ?ZONE TerritorialSea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 12.0))		 Geography.kif 2671-2676 If X is an instance of territorial sea and the linear extent of X is Y nautical mile(s), then Y is less than or equal to 12.0
(=>
    (equal ?AMOUNT
        (MeasureFn ?NUM NauticalMile))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))		 Geography.kif 5404-5410 If equal X and Y nautical mile(s), then equal X and Y and 1.852 1 thousand meters(s)
(=>
    (equal ?AMOUNT
        (MeasureFn ?NUM NauticalMile))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))		 Geography.kif 5412-5418 If equal X and Y nautical mile(s), then equal X and Y and 1.151 mile(s)
(=>
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?DISTANCE NauticalMile)
            (MeasureFn ?TIME HourDuration)))
    (equal ?SPEED
        (MeasureFn
            (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed)))		 Geography.kif 5464-5472 If equal X and Y nautical mile(s) per Z hour duration(s), then equal X and Y and Z knot unit of speed(s)

consequent
-------------------------


(=>
    (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 1911-1918 If equal X and north of or equal X and south of, then the length of the region X of 0.0 angular degree(s) is 1.0 nautical mile(s)
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1852.0) Meter)))		 Geography.kif 5420-5427 If equal X, 1.0, and X, then equal X nautical mile(s) and X and 1852.0 meter(s)
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))		 Geography.kif 5429-5436 If equal X, 1.0, and X, then equal X nautical mile(s) and X and 1.852 1 thousand meters(s)
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 6076.1) FootLength)))		 Geography.kif 5438-5445 If equal X, 1.0, and X, then equal X nautical mile(s) and X and 6076.1 foot length(s)
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))		 Geography.kif 5447-5454 If equal X, 1.0, and X, then equal X nautical mile(s) and X and 1.151 mile(s)
(=>
    (equal ?SPEED
        (MeasureFn ?NUM KnotUnitOfSpeed))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM NauticalMile)
            (MeasureFn 1.0 HourDuration))))		 Geography.kif 5474-5480 If equal X and Y knot unit of speed(s), then equal X and Y nautical mile(s) per 1.0 hour duration(s)
(<=>
    (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 6253-6262 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