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 4040-4043 | |
(domain courseWRTMagneticNorth 1 Physical) | Geography.kif 4036-4036 | courseWRTMagneticNorth の数値 1 引数は 物理 の instance では |
(domain courseWRTMagneticNorth 2 Physical) | Geography.kif 4037-4037 | courseWRTMagneticNorth の数値 2 引数は 物理 の instance では |
(domain courseWRTMagneticNorth 3 PlaneAngleMeasure) | Geography.kif 4038-4038 | courseWRTMagneticNorth の数値 3 引数は 平面角度測定 の instance では |
(instance courseWRTMagneticNorth TernaryPredicate) | Geography.kif 4035-4035 | courseWRTMagneticNorth は 3進述語 の instance では |
appearance as argument number 2 |
![]() |
![]() |
![]() |