courseWRTCompassNorth |
appearance as argument number 1 |
![]() |
(documentation courseWRTCompassNorth EnglishLanguage "(courseWRTCompassNorth ?OBJ1 ?OBJ2 ?HEADING) means that the course heading from ?OBJ1 to ?OBJ2 is ?HEADING in AngularDegrees, with the reference point of 000 degrees North as measured by compass on or at ?OBJ1.") | Geography.kif 3902-3906 | |
(domain courseWRTCompassNorth 1 Physical) | Geography.kif 3898-3898 | The number 1 argument of courseWRT compass north is an instance of physical |
(domain courseWRTCompassNorth 2 Physical) | Geography.kif 3899-3899 | The number 2 argument of courseWRT compass north is an instance of physical |
(domain courseWRTCompassNorth 3 PlaneAngleMeasure) | Geography.kif 3900-3900 | The number 3 argument of courseWRT compass north is an instance of plane angle measure |
(instance courseWRTCompassNorth TernaryPredicate) | Geography.kif 3897-3897 | courseWRT compass north is an instance of ternary predicate |
appearance as argument number 2 |
![]() |
![]() |
![]() |