| Radian | |
| appearance as argument number 1 |
|
|
| (documentation Radian ChineseLanguage "这是国际单位制量度平面角度的单位，符号：rad。它是在圆上所切出 的圆弧长度等於半徑時的圓心角；另一个定义是：圆周的两个半径之间的平面角，在圆周上切除长度等于半径的弧。 Radian = m/ m = 1。") | chinese_format.kif 2518-2520 | |
| (documentation Radian EnglishLanguage "SI plane angle measure. Symbol: rad. It is the angle of a circle subtended by an arc equal in length to the circle's radius. Another definition is: the plane angle between two radii of a circle which cut off on the circumference an arc equal in length to the radius. Radian = m/ m = 1.") | Merge.kif 6717-6721 | |
| (instance Radian SystemeInternationalUnit) | Merge.kif 6715-6715 | |
| (instance Radian UnitOfAngularMeasure) | Merge.kif 6714-6714 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Radian "弧度") | domainEnglishFormat.kif 48417-48417 | |
| (termFormat ChineseTraditionalLanguage Radian "弧度") | domainEnglishFormat.kif 48416-48416 | |
| (termFormat EnglishLanguage Radian "radian") | domainEnglishFormat.kif 48415-48415 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7271-7273 |
|
|
|