courseWRTMagneticNorth |
appearance as argument number 1 |
![]() |
(documentation courseWRTMagneticNorth EnglishLanguage "(courseWRTMagneticNorth ?OBJ1 ?OBJ2 ?HEADING) means that the course heading from ?OBJ1 to ?OBJ2 is ?HEADING in AngularDegrees, with the reference point of 000 degrees being the magnetic North pole.") | Geography.kif 3870-3873 | |
(domain courseWRTMagneticNorth 1 Physical) | Geography.kif 3866-3866 | The number 1 argument of courseWRT magnetic north is an instance of physical |
(domain courseWRTMagneticNorth 2 Physical) | Geography.kif 3867-3867 | The number 2 argument of courseWRT magnetic north is an instance of physical |
(domain courseWRTMagneticNorth 3 PlaneAngleMeasure) | Geography.kif 3868-3868 | The number 3 argument of courseWRT magnetic north is an instance of plane angle measure |
(instance courseWRTMagneticNorth TernaryPredicate) | Geography.kif 3865-3865 | courseWRT magnetic north is an instance of ternary predicate |
appearance as argument number 2 |
![]() |
![]() |
![]() |