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

KB Term:  Term intersection
English Word: 

Sigma KEE - headingWRTMagneticNorth
headingWRTMagneticNorth

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


(instance headingWRTMagneticNorth BinaryPredicate) Geography.kif 5131-5131 headingWRT magnetic north is an instance of binary predicate
(instance headingWRTMagneticNorth AsymmetricRelation) Geography.kif 5132-5132 headingWRT magnetic north is an instance of asymmetric relation
(domain headingWRTMagneticNorth 1 Object) Geography.kif 5133-5133 The number 1 argument of headingWRT magnetic north is an instance of object
(domain headingWRTMagneticNorth 2 PlaneAngleMeasure) Geography.kif 5134-5134 The number 2 argument of headingWRT magnetic north is an instance of plane angle measure
(documentation headingWRTMagneticNorth EnglishLanguage "(headingWRTMagneticNorth ?OBJ ?DEGREE) means that the front_to_back axis of the Object ?OBJ points in the direction ?DEGREE, with respect to magnetic North.") Geography.kif 5136-5138 The number 2 argument of headingWRT magnetic north is an instance of plane angle measure
(relatedInternalConcept headingWRTMagneticNorth courseWRTMagneticNorth) Geography.kif 5212-5212 headingWRT magnetic north is internally related to courseWRT magnetic north

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


(format EnglishLanguage headingWRTMagneticNorth "%2 is %n a headingWRT magnetic north of %1") domainEnglishFormat.kif 1155-1155
(format ChineseTraditionalLanguage headingWRTMagneticNorth "%2 %n 是 %1 的 headingWRT 磁北極") domainEnglishFormat.kif 1156-1156
(format ChineseLanguage headingWRTMagneticNorth "%2 %n 是 %1 的 headingWRT 磁北极") domainEnglishFormat.kif 1157-1157
(termFormat EnglishLanguage headingWRTMagneticNorth "headingWRT magnetic north") domainEnglishFormat.kif 27710-27710
(termFormat ChineseTraditionalLanguage headingWRTMagneticNorth "headingWRT磁北") domainEnglishFormat.kif 27711-27711
(termFormat ChineseLanguage headingWRTMagneticNorth "headingWRT磁北") domainEnglishFormat.kif 27712-27712

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


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