| PlaneAngleMeasure(平面角度測定)
| |
| appearance as argument number 1 |
|
|
| (documentation PlaneAngleMeasure ChineseLanguage "这是平面一个角度的值。") | chinese_format.kif 2427-2427 | |
| (documentation PlaneAngleMeasure EnglishLanguage "The value of an angle in a plane.") | Merge.kif 6351-6351 | |
| (documentation PlaneAngleMeasure JapaneseLanguage "平面内の角度の値。") | japanese_format.kif 1117-1117 | |
| (externalImage PlaneAngleMeasure "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Coordonnees_polaires_plan.png") | pictureList.kif 24-24 | |
| (subclass PlaneAngleMeasure AngleMeasure) | Merge.kif 6349-6349 | 平面角度測定 は 角度測定 の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain CosineFn 1 PlaneAngleMeasure) | Merge.kif 4829-4829 | CosineFn の数値 1 引数は 平面角度測定 の instance では |
| (domain courseWRTCompassNorth 3 PlaneAngleMeasure) | Geography.kif 4070-4070 | courseWRTCompassNorth の数値 3 引数は 平面角度測定 の instance では |
| (domain courseWRTMagneticNorth 3 PlaneAngleMeasure) | Geography.kif 4038-4038 | courseWRTMagneticNorth の数値 3 引数は 平面角度測定 の instance では |
| (domain courseWRTTrueNorth 3 PlaneAngleMeasure) | Geography.kif 3882-3882 | courseWRTTrueNorth の数値 3 引数は 平面角度測定 の instance では |
| (domain headingWRTCompassNorth 2 PlaneAngleMeasure) | Geography.kif 3873-3873 | headingWRTCompassNorth の数値 2 引数は 平面角度測定 の instance では |
| (domain headingWRTMagneticNorth 2 PlaneAngleMeasure) | Geography.kif 3864-3864 | headingWRTMagneticNorth の数値 2 引数は 平面角度測定 の instance では |
| (domain headingWRTTrueNorth 2 PlaneAngleMeasure) | Geography.kif 3855-3855 | headingWRTTrueNorth の数値 2 引数は 平面角度測定 の instance では |
| (domain relativeBearing 3 PlaneAngleMeasure) | Geography.kif 4081-4081 | relativeBearing の数値 3 引数は 平面角度測定 の instance では |
| consequent |
|
|
| (=> (equal ?QUANT (MeasureFn ?N AngularDegree)) (instance ?QUANT PlaneAngleMeasure)) |
Merge.kif 7407-7409 |
|
|
|