| 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 6814-6818 | |
| (documentation Radian JapaneseLanguage "SI平面角度測定。シンボル: rad。円の半径に等しい長さの 円弧でサブエンゲージされた円の角度である。もう 1 つの定義は、円周で半径に等しい円弧を切り取る円の ２つの半径間の平面角度である。Radian = m/ m = 1。") | japanese_format.kif 1218-1220 | |
| (instance Radian SystemeInternationalUnit) | Merge.kif 6812-6812 | Radian e' uma instancia de Sistema International de Unidades |
| (instance Radian UnitOfAngularMeasure) | Merge.kif 6811-6811 | Radian e' uma instancia de UnitOfAngularMeasure |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Radian "弧度") | domainEnglishFormat.kif 48436-48436 | |
| (termFormat ChineseTraditionalLanguage Radian "弧度") | domainEnglishFormat.kif 48435-48435 | |
| (termFormat EnglishLanguage Radian "radian") | domainEnglishFormat.kif 48434-48434 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7368-7370 | Numero Real AngularDegree(s) e' igual a Numero Real + Pi + 180.0 Radian(s) |
|
|
|