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


KB Term:  Term intersection
English Word: 

  headingWRTTrueNorth

 Sigma KEE - headingWRTTrueNorth
headingWRTTrueNorth

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


(instance headingWRTTrueNorth BinaryPredicate) Geography.kif 5122-5122 headingWRT true north is an instance of binary predicate
(instance headingWRTTrueNorth AsymmetricRelation) Geography.kif 5123-5123 headingWRT true north is an instance of asymmetric relation
(domain headingWRTTrueNorth 1 Object) Geography.kif 5124-5124 The number 1 argument of headingWRT true north is an instance of object
(domain headingWRTTrueNorth 2 PlaneAngleMeasure) Geography.kif 5125-5125 The number 2 argument of headingWRT true north is an instance of plane angle measure
(documentation headingWRTTrueNorth EnglishLanguage "(headingWRTTrueNorth ?OBJ ?DEGREE) means that the front_to_back axis of the Object ?OBJ points in the direction ?DEGREE, with respect to true North.") Geography.kif 5127-5129 The number 2 argument of headingWRT true north is an instance of plane angle measure
(relatedInternalConcept headingWRTTrueNorth courseWRTTrueNorth) Geography.kif 5213-5213 headingWRT true north is internally related to courseWRT true north

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


(relatedInternalConcept NorthPole headingWRTTrueNorth) Geography.kif 5262-5262 North Pole is internally related to headingWRT true north
(format EnglishLanguage headingWRTTrueNorth "%2 is %n a headingWRT true north of %1") domainEnglishFormat.kif 1159-1159 North Pole is internally related to headingWRT true north
(format ChineseTraditionalLanguage headingWRTTrueNorth "%2 %n 是 %1 的 headingWRT 實際北極") domainEnglishFormat.kif 1160-1160 North Pole is internally related to headingWRT true north
(format ChineseLanguage headingWRTTrueNorth "%2 %n 是 %1 的 headingWRT 实际北极") domainEnglishFormat.kif 1161-1161 North Pole is internally related to headingWRT true north
(termFormat EnglishLanguage headingWRTTrueNorth "headingWRT true north") domainEnglishFormat.kif 27716-27716 North Pole is internally related to headingWRT true north
(termFormat ChineseTraditionalLanguage headingWRTTrueNorth "headingWRT真北") domainEnglishFormat.kif 27717-27717 North Pole is internally related to headingWRT true north
(termFormat ChineseLanguage headingWRTTrueNorth "headingWRT真北") domainEnglishFormat.kif 27718-27718 North Pole is internally related to headingWRT true north

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners