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


(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 Nautical mile is an instance of unit of length

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


(names "nautical mile" NauticalMile) Geography.kif 3934-3934 Nautical mile has name "nautical mile"
(termFormat ChineseLanguage NauticalMile "海里") domainEnglishFormat.kif 39975-39975 Nautical mile has name "nautical mile"
(termFormat ChineseTraditionalLanguage NauticalMile "海裡") domainEnglishFormat.kif 39974-39974 Nautical mile has name "nautical mile"
(termFormat EnglishLanguage NauticalMile "nautical mile") domainEnglishFormat.kif 39973-39973 Nautical mile has name "nautical mile"

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 4780-4789 Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0
(=>
    (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 1.0 Nautical mile(s) is equal to 1852.0 meter(s)
(equal
    (MeasureFn 1.0 NauticalMile)
    (MeasureFn 6076.1 FootLength))		 Geography.kif 3942-3944 1.0 Nautical mile(s) is equal to 6076.1 foot length(s)


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners