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 3714-3717 | |
(domain courseWRTTrueNorth 1 Physical) | Geography.kif 3710-3710 | The number 1 argument of courseWRT true north is an instance of physical |
(domain courseWRTTrueNorth 2 Physical) | Geography.kif 3711-3711 | The number 2 argument of courseWRT true north is an instance of physical |
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) | Geography.kif 3712-3712 | The number 3 argument of courseWRT true north is an instance of plane angle measure |
(instance courseWRTTrueNorth TernaryPredicate) | Geography.kif 3709-3709 | courseWRT true north is an instance of ternary predicate |
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 | |
(names "geodetic north" courseWRTTrueNorth) | Geography.kif 3839-3839 | courseWRT true north has &ames$"name" "geodetic north" |
(names "geographic north" courseWRTTrueNorth) | Geography.kif 3838-3838 | courseWRT true north has &ames$"name" "geographic north" |
(names "true north" courseWRTTrueNorth) | Geography.kif 3840-3840 | courseWRT true north has &ames$"name" "true north" |
(relatedInternalConcept MagneticDeclinationFn courseWRTTrueNorth) | Geography.kif 3770-3770 | Magnetic declination is internally related to courseWRT true north |
(relatedInternalConcept headingWRTTrueNorth courseWRTTrueNorth) | Geography.kif 3773-3773 | headingWRT true north is internally related to courseWRT true north |
(termFormat ChineseLanguage courseWRTTrueNorth "courseWRT 真北") | domainEnglishFormat.kif 17637-17637 | headingWRT true north is internally related to courseWRT true north |
(termFormat ChineseTraditionalLanguage courseWRTTrueNorth "courseWRT 真北") | domainEnglishFormat.kif 17636-17636 | headingWRT true north is internally related to courseWRT true north |
(termFormat EnglishLanguage courseWRTTrueNorth "courseWRT true north") | domainEnglishFormat.kif 17635-17635 | headingWRT true north is internally related to courseWRT true north |
antecedent |
![]() |
![]() |
![]() |