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

KB Term:  Term intersection
English Word: 

Sigma KEE - MagneticDeclinationFn
MagneticDeclinationFn

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


(instance MagneticDeclinationFn BinaryFunction) Geography.kif 5195-5195 Magnetic declination is an instance of binary function
(documentation MagneticDeclinationFn EnglishLanguage "MagneticDeclinationFn takes in the latitude and longitude in AngleMeasure and returns the magnetic declination as an angle measure for that location. Magnetic declination is the angle between magnetic north and true north at a particular location on the Earth's surface, expressed in degrees and minutes east or west to indicate the direction of magnetic north from headingWRTTrueNorth. The angle can change over time due to polar wandering. By convention, declination is positive when magnetic north is east of the true north, and negative when it is to the west.[Wikipedia]") Geography.kif 5196-5203 Magnetic declination is an instance of binary function
(domain MagneticDeclinationFn 1 Latitude) Geography.kif 5204-5204 The number 1 argument of magnetic declination is an instance of latitude
(domain MagneticDeclinationFn 2 Longitude) Geography.kif 5205-5205 The number 2 argument of magnetic declination is an instance of longitude
(range MagneticDeclinationFn PlaneAngleMeasure) Geography.kif 5206-5206 The range of magnetic declination is an instance of plane angle measure
(relatedInternalConcept MagneticDeclinationFn courseWRTCompassNorth) Geography.kif 5208-5208 Magnetic declination is internally related to courseWRT compass north
(relatedInternalConcept MagneticDeclinationFn courseWRTMagneticNorth) Geography.kif 5209-5209 Magnetic declination is internally related to courseWRT magnetic north
(relatedInternalConcept MagneticDeclinationFn courseWRTTrueNorth) Geography.kif 5210-5210 Magnetic declination is internally related to courseWRT true north
(relatedInternalConcept MagneticDeclinationFn NorthPole) Geography.kif 5211-5211 Magnetic declination is internally related to North Pole

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


(names "magnetic variation" MagneticDeclinationFn) Geography.kif 5207-5207 Magnetic declination has name "magnetic variation"
(format EnglishLanguage MagneticDeclinationFn "Location on Earth at Latitude %1 and Longitude %2 has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line.") domainEnglishFormat.kif 1593-1595 Magnetic declination has name "magnetic variation"
(format ChineseTraditionalLanguage MagneticDeclinationFn "位於地球經度%1 及緯度%2 区的地磁偏角爲 PlaneAngleMeasure. (+) 代表偏角向東, (-)代表偏角向西, 0 代表差異") domainEnglishFormat.kif 1596-1597 Magnetic declination has name "magnetic variation"
(format ChineseLanguage MagneticDeclinationFn "位於地球经度%1 及 纬度%2 区的地磁偏角为 PlaneAngleMeasure. (+) 代表偏角向东, (-)代表偏角向西, 0 代表差异") domainEnglishFormat.kif 1598-1599 Magnetic declination has name "magnetic variation"
(termFormat EnglishLanguage MagneticDeclinationFn "magnetic declination") domainEnglishFormat.kif 35629-35629 Magnetic declination has name "magnetic variation"
(termFormat ChineseTraditionalLanguage MagneticDeclinationFn "地磁偏角") domainEnglishFormat.kif 35630-35630 Magnetic declination has name "magnetic variation"
(termFormat ChineseLanguage MagneticDeclinationFn "地磁偏角") domainEnglishFormat.kif 35631-35631 Magnetic declination has name "magnetic variation"

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (objectGeographicCoordinates ?AREA ?LAT ?LONG)
        (equal
            (MeasureFn ?DEG AngularDegree)
            (MagneticDeclinationFn ?LAT ?LONG)))
    (exists (?MN)
        (and
            (headingWRTMagneticNorth ?AREA
                (MeasureFn ?MN AngularDegree))
            (headingWRTTrueNorth ?AREA
                (MeasureFn
                    (AdditionFn ?MN ?DEG) AngularDegree)))))		 Geography.kif 5220-5232 If X is an instance of geographic area, X is object geographic coordinates Y for Z, and equal W angular degree(s) and Location on Earth at Latitude Y and Longitude Z has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists V such that V angular degree(s) is a headingWRT magnetic north of X and (V and W) angular degree(s) is a headingWRT true north of X
(=>
    (and
        (instance ?AREA GeographicArea)
        (objectGeographicCoordinates ?AREA ?LAT ?LONG)
        (equal
            (MeasureFn ?DEG AngularDegree)
            (MagneticDeclinationFn ?LAT ?LONG)))
    (exists (?TN)
        (and
            (headingWRTTrueNorth ?AREA
                (MeasureFn ?TN AngularDegree))
            (headingWRTMagneticNorth ?AREA
                (MeasureFn
                    (SubtractionFn ?TN ?DEG) AngularDegree)))))		 Geography.kif 5236-5248 If X is an instance of geographic area, X is object geographic coordinates Y for Z, and equal W angular degree(s) and Location on Earth at Latitude Y and Longitude Z has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists V such that V angular degree(s) is a headingWRT true north of X and (V and W) angular degree(s) is a headingWRT magnetic north of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners