Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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


s__documentation(s__NauticalMile,s__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 3734-3737
s__externalImage(s__NauticalMile,'"http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Nautic_mile_definition_v2.png"')

pictureList.kif 6722-6722
s__instance(s__NauticalMile,s__UnitOfLength)

s__instance(s__UnitOfLength,s__Class)

Geography.kif 3733-3733 Nautical mile is an instance of UnitOfLength

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


s__names('"nautical mile"',s__NauticalMile)

Geography.kif 3731-3731 Nautical mile has name "nautical mile"
s__termFormat(s__ChineseLanguage,s__NauticalMile,'"海里"')

domainEnglishFormat.kif 39930-39930
s__termFormat(s__ChineseTraditionalLanguage,s__NauticalMile,'"海裡"')

domainEnglishFormat.kif 39929-39929
s__termFormat(s__EnglishLanguage,s__NauticalMile,'"nautical mile"')

domainEnglishFormat.kif 39928-39928

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


( ! [V__WIDTH,V__ZONE] :
   ((s__instance(V__WIDTH,s__RealNumber) =>
       (((s__instance(V__ZONE,s__ExclusiveFishingZone) &
             s__linearExtent(V__ZONE,s__MeasureFn(V__WIDTH,s__NauticalMile)))
         =>
         (s__lessThanOrEqualTo(V__WIDTH,n__200)))))
)
)

Geography.kif 1140-1145
( ! [V__WIDTH,V__ZONE] :
   ((s__instance(V__WIDTH,s__RealNumber) =>
       (((s__instance(V__ZONE,s__ExtendedFishingZone) &
             s__linearExtent(V__ZONE,s__MeasureFn(V__WIDTH,s__NauticalMile)))
         =>
         (s__lessThanOrEqualTo(V__WIDTH,n__200)))))
)
)

Geography.kif 1172-1177
( ! [V__WIDTH,V__ZONE] :
   ((s__instance(V__WIDTH,s__RealNumber) =>
       (((s__instance(V__ZONE,s__MaritimeExclusiveEconomicZone) &
             s__linearExtent(V__ZONE,s__MeasureFn(V__WIDTH,s__NauticalMile)))
         =>
         (s__lessThanOrEqualTo(V__WIDTH,n__200)))))
)
)

Geography.kif 1108-1113
( ! [V__WIDTH,V__ZONE] :
   ((s__instance(V__WIDTH,s__RealNumber) =>
       (((s__instance(V__ZONE,s__MaritimeShelfArea) &
             s__linearExtent(V__ZONE,s__MeasureFn(V__WIDTH,s__NauticalMile)))
         =>
         (s__lessThanOrEqualTo(V__WIDTH,n__200)))))
)
)

Geography.kif 1067-1072
( ! [V__WIDTH,V__ZONE] :
   ((s__instance(V__WIDTH,s__RealNumber) =>
       (((s__instance(V__ZONE,s__TerritorialSea) &
             s__linearExtent(V__ZONE,s__MeasureFn(V__WIDTH,s__NauticalMile)))
         =>
         (s__lessThanOrEqualTo(V__WIDTH,n__12)))))
)
)

Geography.kif 1213-1218
( ! [V__AMOUNT,V__NUM] :
   (((s__instance(V__AMOUNT,s__PhysicalQuantity) &
         s__instance(V__NUM,s__RealNumber))
       =>
       (((V__AMOUNT = s__MeasureFn(V__NUM,s__NauticalMile))
           =>
           ((V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__NUM,n__1_151)
            ,s__Mile))))))
   )
)

Geography.kif 3746-3748
( ! [V__AMOUNT,V__NUM] :
   (((s__instance(V__AMOUNT,s__PhysicalQuantity) &
         s__instance(V__NUM,s__RealNumber))
       =>
       (((V__AMOUNT = s__MeasureFn(V__NUM,s__NauticalMile))
           =>
           ((V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__NUM,n__1_852)
            ,s__KiloFn(s__Meter)))))))
)
)

Geography.kif 3742-3744
( ! [V__SPEED,V__TIME,V__DISTANCE] :
   (((s__instance(V__SPEED,s__FunctionQuantity) &
         s__instance(V__TIME,s__RealNumber) &
         s__instance(V__DISTANCE,s__RealNumber))
       =>
       (((V__SPEED = s__SpeedFn(s__MeasureFn(V__DISTANCE,s__NauticalMile),s__MeasureFn(V__TIME,s__HourDuration)))
         =>
         ((V__SPEED = s__MeasureFn(s__DivisionFn(V__DISTANCE,V__TIME)
          ,s__KnotUnitOfSpeed))))))
)
)

Geography.kif 3774-3776

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


( ! [V__LAND,V__WATER,V__DIST] :
   (((s__instance(V__LAND,s__Physical) &
         s__instance(V__WATER,s__Object) &
         s__instance(V__DIST,s__RealNumber))
       =>
       (((s__attribute(V__WATER,s__OpenSea) =>
             (s__instance(V__WATER,s__SaltWaterArea) &
               ~(s__instance(V__WATER,s__LandlockedWater))
               &
               s__distance(V__LAND,V__WATER,s__MeasureFn(V__DIST,s__NauticalMile))
             &
             s__greaterThan(V__DIST,n__5)))
       &
       ((s__instance(V__WATER,s__SaltWaterArea) &
           ~(s__instance(V__WATER,s__LandlockedWater))
           &
           s__distance(V__LAND,V__WATER,s__MeasureFn(V__DIST,s__NauticalMile))
         &
         s__greaterThan(V__DIST,n__5))
     =>
     s__attribute(V__WATER,s__OpenSea)))))
)
)

Geography.kif 4506-4514 Open sea is an attribute of an object if and only if the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between a physical and the object is a real number nautical mile(s) and the real number is greater than 5
( ! [V__NUM] :
   ((s__instance(V__NUM,s__RealNumber) =>
       (((V__NUM = s__MultiplicationFn(n__1,V__NUM))
         =>
         ((s__MeasureFn(V__NUM,s__NauticalMile) = s__MeasureFn(s__MultiplicationFn(V__NUM,n__1_151)
          ,s__Mile))))))
)
)

Geography.kif 3762-3764
( ! [V__NUM] :
   ((s__instance(V__NUM,s__RealNumber) =>
       (((V__NUM = s__MultiplicationFn(n__1,V__NUM))
         =>
         ((s__MeasureFn(V__NUM,s__NauticalMile) = s__MeasureFn(s__MultiplicationFn(V__NUM,n__1_852)
          ,s__KiloFn(s__Meter)))))))
)
)

Geography.kif 3754-3756
( ! [V__NUM] :
   ((s__instance(V__NUM,s__RealNumber) =>
       (((V__NUM = s__MultiplicationFn(n__1,V__NUM))
         =>
         ((s__MeasureFn(V__NUM,s__NauticalMile) = s__MeasureFn(s__MultiplicationFn(V__NUM,n__1852)
          ,s__Meter))))))
)
)

Geography.kif 3750-3752
( ! [V__NUM] :
   ((s__instance(V__NUM,s__RealNumber) =>
       (((V__NUM = s__MultiplicationFn(n__1,V__NUM))
         =>
         ((s__MeasureFn(V__NUM,s__NauticalMile) = s__MeasureFn(s__MultiplicationFn(V__NUM,n__6076_1)
          ,s__FootLength))))))
)
)

Geography.kif 3758-3760
( ! [V__SPEED,V__NUM] :
   (((s__instance(V__SPEED,s__FunctionQuantity) &
         s__instance(V__NUM,s__RealNumber))
       =>
       (((V__SPEED = s__MeasureFn(V__NUM,s__KnotUnitOfSpeed))
           =>
           ((V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__NauticalMile),s__MeasureFn(n__1,s__HourDuration)))))))
   )
)

Geography.kif 3778-3780
( ! [V__DIRECTION] :
   ((s__instance(V__DIRECTION,s__DirectionalAttribute) =>
       ((((V__DIRECTION = s__North) |
               (V__DIRECTION = s__South))
               =>
               (s__length(s__LatitudeFn__4Fn(V__DIRECTION,s__MeasureFn(n__0,s__AngularDegree),s__MeasureFn(n__1,s__ArcMinute),s__MeasureFn(n__0,s__ArcSecond))
              ,s__MeasureFn(n__1,s__NauticalMile))))))
     )
   )

Geography.kif 433-440