![]() |
![]() ![]() ![]()
|
![]() |
|
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 | Plane angle measure is a subclass of angle measure |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
consequent |
![]() |
(=> (equal ?QUANT (MeasureFn ?N AngularDegree)) (instance ?QUANT PlaneAngleMeasure)) |
Merge.kif 7407-7409 |
|
![]() |
![]() |