| 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 6823-6827 | |
| (documentation Radian JapaneseLanguage "SI平面角度測定。シンボル: rad。円の半径に等しい長さの 円弧でサブエンゲージされた円の角度である。もう 1 つの定義は、円周で半径に等しい円弧を切り取る円の ２つの半径間の平面角度である。Radian = m/ m = 1。") | japanese_format.kif 1218-1220 | |
| (instance Radian SystemeInternationalUnit) | Merge.kif 6821-6821 | Radian は システム国際ユニット の instance では |
| (instance Radian UnitOfAngularMeasure) | Merge.kif 6820-6820 | Radian は UnitOfAngularMeasure の instance では |
| 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 |
| consequent |
|
|
| (=> (and (equal ?S CircleSector) (equal ?A CentralAngle) (angleOfFigure ?A ?S) (equal ?L ClosedLineSegment) (sideOfFigure ?L ?A) (sideOfIntersection ?A ?S ?L) (lineMeasure ?L ?R)) (exists (?AC) (and (equal ?AC CircularArc) (sideOfFigure ?AC ?S) (arcLength ?AC ?R) (angularMeasure ?A (MeasureFn 1 Radian))))) |
Mid-level-ontology.kif 5753-5767 |
|
| statement |
|
|
| (equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7396-7398 | 実数 の AngularDegree(s) は 実数 + パイ + 180.0 の Radian(s) と equal では |
| (equal (MeasureFn ?X Milliradian) (MeasureFn ?X (MilliFn Radian))) |
MilitaryDevices.kif 329-332 | 実数 の Milliradian(s) は 実数 の 1 の thousandth Radian(s) と equal では |
|
|
|