| Pi(pi) | | 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 5045-5047 | |
| (documentation Pi JapaneseLanguage "Pi は、円の周囲の直径に対する比率である RealNumber である。これは、3.141592653589793 とほぼ同じである。") | japanese_format.kif 919-920 | |
| (instance Pi PositiveRealNumber) | Merge.kif 5043-5043 | Pi is an instance of positive real number |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Pi "圆周率") | chinese_format.kif 945-945 | |
| (termFormat EnglishLanguage Pi "pi") | english_format.kif 1097-1097 | |
| (termFormat FrenchLanguage Pi "pi") | french_format.kif 621-621 | |
| (termFormat Hindi Pi "paaii") | terms-hindi.txt 152-152 | |
| (termFormat ItalianLanguage Pi "PiGreco") | terms-it.txt 155-155 | |
| (termFormat JapaneseLanguage Pi "パイ") | japanese_format.kif 2306-2306 | |
| (termFormat PortugueseLanguage Pi "Pi") | portuguese_format.kif 573-573 | |
| (termFormat cz Pi "pi") | terms-cz.txt 189-189 | |
| (termFormat ro Pi "pi") | relations-ro.kif 642-642 | |
| (termFormat tg Pi "") | terms-tg.txt 156-156 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7368-7370 | A real number angular degree(s) is equal to the real number and pi and 180.0 radian(s) |
|
|
|