TreeView Knowledge Base Browser - courseWRTTrueNorth

appearance as argument number 1

(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 3564-3567
(domain courseWRTTrueNorth 1 Physical)	Geography.kif 3560-3560	domain courseWRTTrueNorth, 1 and Physical
(domain courseWRTTrueNorth 2 Physical)	Geography.kif 3561-3561	domain courseWRTTrueNorth, 2 and Physical
(domain courseWRTTrueNorth 3 PlaneAngleMeasure)	Geography.kif 3562-3562	domain courseWRTTrueNorth, 3 and PlaneAngleMeasure
(instance courseWRTTrueNorth TernaryPredicate)	Geography.kif 3559-3559	instance courseWRTTrueNorth and TernaryPredicate

appearance as argument number 2

(format ChineseLanguage courseWRTTrueNorth "%1 %n{不} 对于 %3 courseWRT 实际北")	domainEnglishFormat.kif 568-568
(format ChineseTraditionalLanguage courseWRTTrueNorth "%1 %n{不} 對於 %3 courseWRT 實際北")	domainEnglishFormat.kif 567-567
(format EnglishLanguage courseWRTTrueNorth "%1 %n{doesn't} courseWRT true north %2 for %3")	domainEnglishFormat.kif 566-566
(termFormat ChineseLanguage courseWRTTrueNorth "courseWRT 真北")	domainEnglishFormat.kif 17551-17551
(termFormat ChineseTraditionalLanguage courseWRTTrueNorth "courseWRT 真北")	domainEnglishFormat.kif 17550-17550
(termFormat EnglishLanguage courseWRTTrueNorth "courseWRT true north")	domainEnglishFormat.kif 17549-17549

antecedent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North))	Geography.kif 3569-3571	courseWRTTrueNorth Object, Object and MeasureFn 0 and AngularDegree orientation Object, Object and North
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast))	Geography.kif 3593-3595	courseWRTTrueNorth Object, Object and MeasureFn 135 and AngularDegree orientation Object, Object and Southeast
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South))	Geography.kif 3577-3579	courseWRTTrueNorth Object, Object and MeasureFn 180 and AngularDegree orientation Object, Object and South
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest))	Geography.kif 3597-3599	courseWRTTrueNorth Object, Object and MeasureFn 225 and AngularDegree orientation Object, Object and Southwest
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West))	Geography.kif 3581-3583	courseWRTTrueNorth Object, Object and MeasureFn 270 and AngularDegree orientation Object, Object and West
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest))	Geography.kif 3601-3603	courseWRTTrueNorth Object, Object and MeasureFn 315 and AngularDegree orientation Object, Object and Northwest
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North))	Geography.kif 3585-3587	courseWRTTrueNorth Object, Object and MeasureFn 360 and AngularDegree orientation Object, Object and North
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast))	Geography.kif 3589-3591	courseWRTTrueNorth Object, Object and MeasureFn 45 and AngularDegree orientation Object, Object and Northeast
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East))	Geography.kif 3573-3575	courseWRTTrueNorth Object, Object and MeasureFn 90 and AngularDegree orientation Object, Object and East

consequent

(=>
    (and
        (courseWRTMagneticNorth ?OBJ1 ?OBJ2 ?MAGDEGREE)
        (partlyLocated ?OBJ1 ?AREA)
        (partlyLocated ?OBJ2 ?AREA)
        (magneticVariation ?AREA ?DEGREE ?DIRECTION))
    (exists (?DIFFDEGREE ?TRUEDEGREE)
        (and
            (=>
                (and
                    (equal ?DIRECTION East)
                    (equal ?DIFFDEGREE
                        (AdditionFn ?MAGDEGREE ?DEGREE)))
                (courseWRTTrueNorth ?OBJ1 ?OBJ2 ?TRUEDEGREE))
            (=>
                (and
                    (equal ?DIRECTION West)
                    (equal ?DIFFDEGREE
                        (SubtractionFn ?MAGDEGREE ?DEGREE)))
                (courseWRTTrueNorth ?OBJ1 ?OBJ2 ?TRUEDEGREE)))))

Geography.kif 3632-3649

courseWRTMagneticNorth Physical, Physical and PlaneAngleMeasure partlyLocated Physical and GeographicArea partlyLocated Physical and GeographicArea magneticVariation GeographicArea, PlaneAngleMeasure and DirectionalAttribute
Quantity PlaneAngleMeasure
- equal DirectionalAttribute and East equal Quantity and AdditionFn PlaneAngleMeasure and PlaneAngleMeasure
- courseWRTTrueNorth Physical, Physical and PlaneAngleMeasure
- equal DirectionalAttribute and West equal Quantity and SubtractionFn PlaneAngleMeasure and PlaneAngleMeasure
- courseWRTTrueNorth Physical, Physical and PlaneAngleMeasure

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: