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 17560-17560 | |
(termFormat ChineseTraditionalLanguage courseWRTTrueNorth "courseWRT 真北") | domainEnglishFormat.kif 17559-17559 | |
(termFormat EnglishLanguage courseWRTTrueNorth "courseWRT true north") | domainEnglishFormat.kif 17558-17558 |
antecedent |
![]() |
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 |
|
![]() |
![]() |