| appearance as argument number 1 |
|
| (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 5238-5245 | |
| (domain MagneticDeclinationFn 1 Latitude) | Geography.kif 5246-5246 | The number 1 argument of MagneticDeclinationFn is an instance of Latitude |
| (domain MagneticDeclinationFn 2 Longitude) | Geography.kif 5247-5247 | The number 2 argument of MagneticDeclinationFn is an instance of Longitude |
| (instance MagneticDeclinationFn BinaryFunction) | Geography.kif 5237-5237 | MagneticDeclinationFn is an instance of binary function |
| (range MagneticDeclinationFn PlaneAngleMeasure) | Geography.kif 5248-5248 | The range of MagneticDeclinationFn is an instance of plane angle measure |
| (relatedInternalConcept MagneticDeclinationFn NorthPole) | Geography.kif 5253-5253 | MagneticDeclinationFn is internally related to NorthPole |
| (relatedInternalConcept MagneticDeclinationFn courseWRTCompassNorth) | Geography.kif 5250-5250 | MagneticDeclinationFn is internally related to courseWRTCompassNorth |
| (relatedInternalConcept MagneticDeclinationFn courseWRTMagneticNorth) | Geography.kif 5251-5251 | MagneticDeclinationFn is internally related to courseWRTMagneticNorth |
| (relatedInternalConcept MagneticDeclinationFn courseWRTTrueNorth) | Geography.kif 5252-5252 | MagneticDeclinationFn is internally related to courseWRTTrueNorth |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage MagneticDeclinationFn "位於地球经度%1 及 纬度%2 区的地磁偏角为 PlaneAngleMeasure. (+) 代表偏角向东, (-)代表偏角向西, 0 代表差异") | domainEnglishFormat.kif 1598-1599 | |
| (format ChineseTraditionalLanguage MagneticDeclinationFn "位於地球經度%1 及緯度%2 区的地磁偏角爲 PlaneAngleMeasure. (+) 代表偏角向東, (-)代表偏角向西, 0 代表差異") | domainEnglishFormat.kif 1596-1597 | |
| (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 | |
| (names "magnetic variation" MagneticDeclinationFn) | Geography.kif 5249-5249 | MagneticDeclinationFn has &ames$"name" "magnetic variation" |
| (termFormat ChineseLanguage MagneticDeclinationFn "地磁偏角") | domainEnglishFormat.kif 35637-35637 | MagneticDeclinationFn has &ames$"name" "magnetic variation" |
| (termFormat ChineseTraditionalLanguage MagneticDeclinationFn "地磁偏角") | domainEnglishFormat.kif 35636-35636 | MagneticDeclinationFn has &ames$"name" "magnetic variation" |
| (termFormat EnglishLanguage MagneticDeclinationFn "magnetic declination") | domainEnglishFormat.kif 35635-35635 | MagneticDeclinationFn has &ames$"name" "magnetic variation" |
| antecedent |
|
|
|
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