Real-number THE-NUMBER-PI

• Defined in theory: Standard-units
• Source code: standard-units.lisp

Slots on this real-number:

Documentation:

THE-NUMBER-PI is an approximation of the real number that is the ratio of the perimeter of a circle to its diameter.

Instance-Of: Real-number

Other Related Axioms:

(= Angular-Degree (* Radian (/ The-Number-Pi 180)))

Notes:

• Should be defined as part of kif-numbers?
• Formerly-Called: pi
• Renamed from PI because PI is a common abbreviation. In a general ontology (one that will be included and extended, it's probably a good idea to avoid short, ambiguous names.