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 e' uma instancia de Numero Real positivo |
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 | Numero Real AngularDegree(s) e' igual a Numero Real + Pi + 180.0 Radian(s) |