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

KB Term:  Term intersection
English Word: 

Sigma KEE - courseWRTTrueNorth
courseWRTTrueNorth

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


(instance courseWRTTrueNorth TernaryPredicate) Geography.kif 5149-5149 courseWRT true north is an instance of ternary predicate
(domain courseWRTTrueNorth 1 Physical) Geography.kif 5150-5150 The number 1 argument of courseWRT true north is an instance of physical
(domain courseWRTTrueNorth 2 Physical) Geography.kif 5151-5151 The number 2 argument of courseWRT true north is an instance of physical
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) Geography.kif 5152-5152 The number 3 argument of courseWRT true north is an instance of plane angle measure
(documentation courseWRTTrueNorth EnglishLanguage "(courseWRTTrueNorth ?OBJ1 ?OBJ2 ?HEADING) means that the course heading or track from ?OBJ1 to ?OBJ2 is ?HEADING, in AngularDegrees, with the reference point of 000 degrees being true North.") Geography.kif 5154-5157 The number 3 argument of courseWRT true north is an instance of plane angle measure

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


(relatedInternalConcept MagneticDeclinationFn courseWRTTrueNorth) Geography.kif 5210-5210 Magnetic declination is internally related to courseWRT true north
(relatedInternalConcept headingWRTTrueNorth courseWRTTrueNorth) Geography.kif 5213-5213 headingWRT true north is internally related to courseWRT true north
(names "geographic north" courseWRTTrueNorth) Geography.kif 5289-5289 courseWRT true north has name "geographic north"
(names "geodetic north" courseWRTTrueNorth) Geography.kif 5290-5290 courseWRT true north has name "geodetic north"
(names "true north" courseWRTTrueNorth) Geography.kif 5291-5291 courseWRT true north has name "true north"
(format EnglishLanguage courseWRTTrueNorth "%1 %n{doesn't} courseWRT true north %2 for %3") domainEnglishFormat.kif 566-566 courseWRT true north has name "true north"
(format ChineseTraditionalLanguage courseWRTTrueNorth "%1 %n{不} 對於 %3 courseWRT 實際北") domainEnglishFormat.kif 567-567 courseWRT true north has name "true north"
(format ChineseLanguage courseWRTTrueNorth "%1 %n{不} 对于 %3 courseWRT 实际北") domainEnglishFormat.kif 568-568 courseWRT true north has name "true north"
(termFormat EnglishLanguage courseWRTTrueNorth "courseWRT true north") domainEnglishFormat.kif 17628-17628 courseWRT true north has name "true north"
(termFormat ChineseTraditionalLanguage courseWRTTrueNorth "courseWRT 真北") domainEnglishFormat.kif 17629-17629 courseWRT true north has name "true north"
(termFormat ChineseLanguage courseWRTTrueNorth "courseWRT 真北") domainEnglishFormat.kif 17630-17630 courseWRT true north has name "true north"

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 5159-5161 X courseWRT true north Y for 0.0 angular degree(s) if and only if X is north of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 5163-5165 X courseWRT true north Y for 90.0 angular degree(s) if and only if X is east of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))		 Geography.kif 5167-5169 X courseWRT true north Y for 180.0 angular degree(s) if and only if X is south of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 5171-5173 X courseWRT true north Y for 270.0 angular degree(s) if and only if X is west of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 5175-5177 X courseWRT true north Y for 360.0 angular degree(s) if and only if X is north of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))		 Geography.kif 5179-5181 X courseWRT true north Y for 45.0 angular degree(s) if and only if X is northeast of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))		 Geography.kif 5183-5185 X courseWRT true north Y for 135.0 angular degree(s) if and only if X is southeast of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))		 Geography.kif 5187-5189 X courseWRT true north Y for 225.0 angular degree(s) if and only if X is southwest of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))		 Geography.kif 5191-5193 X courseWRT true north Y for 315.0 angular degree(s) if and only if X is northwest of to Y


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