| Pi(圆周率) | |
| appearance as argument number 1 |
|
|
| (documentation Pi ChineseLanguage "Pi 是一个 RealNumber，它是圆圈的圆周和直径的比率，大约等于 3.141592653589793。") | chinese_format.kif 2255-2256 | |
| (documentation Pi EnglishLanguage "Pi is the RealNumber that is the ratio of the perimeter of a circle to its diameter. It is approximately equal to 3.141592653589793.") | Merge.kif 4948-4950 | |
| (instance Pi PositiveRealNumber) | Merge.kif 4946-4946 | 圆周率 是 正实数 的 instance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Pi "圆周率") | chinese_format.kif 945-945 | |
| (termFormat EnglishLanguage Pi "pi") | english_format.kif 1097-1097 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7271-7273 | 实数 圆周角度 equal 那个 实数 和 圆周率 和 180.0 弧度 |
|
|
|