Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Pi
|
|
|
| appearance as argument number 1 |
|
|
| (instance Pi PositiveRealNumber) | Merge.kif 5154-5154 | Pi is an instance of positive real number |
| (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 5156-5158 | Pi is an instance of positive real number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Pi "pi") | english_format.kif 1101-1101 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7505-7507 | equal X angular degree(s) and X and pi and 180.0 radian(s) |
|