| 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 6230-6230 | |
| (externalImage PlaneAngleMeasure "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Coordonnees_polaires_plan.png") | pictureList.kif 24-24 | |
| (subclass PlaneAngleMeasure AngleMeasure) | Merge.kif 6228-6228 | 平面角度测量 是 角度测量 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint SolidAngleMeasure PlaneAngleMeasure) | Merge.kif 6233-6233 | 立体角度测量 和 % 2 是 disjoint |
| (termFormat ChineseLanguage PlaneAngleMeasure "平面角度测量") | chinese_format.kif 1310-1310 | |
| (termFormat EnglishLanguage PlaneAngleMeasure "plane angle measure") | english_format.kif 1837-1837 |
| appearance as argument number 3 |
|
|
| (domain CosineFn 1 PlaneAngleMeasure) | Merge.kif 4705-4705 | 馀弦函数 的 1 数量 是 平面角度测量 的 instance |
| (domain courseWRTCompassNorth 3 PlaneAngleMeasure) | Geography.kif 3741-3741 | courseWRT罗盘北 的 3 数量 是 平面角度测量 的 instance |
| (domain courseWRTMagneticNorth 3 PlaneAngleMeasure) | Geography.kif 3709-3709 | courseWRT北磁 的 3 数量 是 平面角度测量 的 instance |
| (domain courseWRTTrueNorth 3 PlaneAngleMeasure) | Geography.kif 3646-3646 | courseWRT 真北 的 3 数量 是 平面角度测量 的 instance |
| (domain headingWRTCompassNorth 2 PlaneAngleMeasure) | Geography.kif 3637-3637 | headingWRT罗盘北 的 2 数量 是 平面角度测量 的 instance |
| (domain headingWRTMagneticNorth 2 PlaneAngleMeasure) | Geography.kif 3628-3628 | headingWRT磁北 的 2 数量 是 平面角度测量 的 instance |
| (domain headingWRTTrueNorth 2 PlaneAngleMeasure) | Geography.kif 3619-3619 | headingWRT真北 的 2 数量 是 平面角度测量 的 instance |
| (domain magneticVariation 2 PlaneAngleMeasure) | Geography.kif 3691-3691 | 磁变化 的 2 数量 是 平面角度测量 的 instance |
| (domain relativeBearing 3 PlaneAngleMeasure) | Geography.kif 3752-3752 | 相对轴承 的 3 数量 是 平面角度测量 的 instance |
| consequent |
|
|
| (=> (equal ?QUANT (MeasureFn ?N AngularDegree)) (instance ?QUANT PlaneAngleMeasure)) |
Merge.kif 7267-7269 |
|
|
|