This document is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. The copyright holder grants you permission to redistribute this document freely as a verbatim copy. Furthermore, the copyright holder permits you to develop any derived work from this document provided that the following conditions are met. a) The derived work acknowledges the fact that it is derived from this document, and maintains a prominent reference in the work to the original source. b) The fact that the derived work is not the original OpenMath document is stated prominently in the derived work. Moreover if both this document and the derived work are Content Dictionaries then the derived work must include a different CDName element, chosen so that it cannot be confused with any works adopted by the OpenMath Society. In particular, if there is a Content Dictionary Group whose name is, for example, `math' containing Content Dictionaries named `math1', `math2' etc., then you should not name a derived Content Dictionary `mathN' where N is an integer. However you are free to name it `private_mathN' or some such. This is because the names `mathN' may be used by the OpenMath Society for future extensions. c) The derived work is distributed under terms that allow the compilation of derived works, but keep paragraphs a) and b) intact. The simplest way to do this is to distribute the derived work under the OpenMath license, but this is not a requirement. If you have questions about this license please contact the OpenMath society at http://www.openmath.org. physical_consts1 http://www.openmath.org/cd http://www.openmath.org/cd/physical_consts1.ocd 2006-03-30 experimental 2005-05-28 3 1 This CD defines symbols which represent some elementary physical constants. absolute_zero constant This symbol represents the absolute zero of temperature, synonymous with the object of that temperature having zero latent heat. zero_Celsius constant This symbol represents the zero of the Celsius temperature scale. zero_Fahrenheit constant This symbol represents the zero of the Fahrenheit temperature scale. light_year constant This symbol represents the distant for which a beam of light would take a year to traverse, in a vacuum. one light year is approximately 9221136415095314 metres 9221136415095314 speed_of_light constant This symbol represents the speed of light in a vacuum. It is approximately 299792458 metres per second. The speed of light is approximately 299792458 metres per second 299792458 Planck_constant constant This symbol represents the fundamental constant equal to the ratio of the energy of a quantum of energy to its frequency. It is approximately equal to 6.6260755*10^(-34) +/- 4.0*10^(-40) Joule seconds. The Planck constant is 6.6260755*10^(-34) +/- 4.0*10^(-40) Joule seconds this is equivalent to There exists P s.t. 6.626075... -4.0... < P and 6.626075... +4.0... > P and Planck constant = P*Joule*second 10-34 10-40 10-34 10-40 mole constant This symbol represents the number of atoms in one gramme of carbon(12). gravitational_constant constant This symbol represents the constant of proportionality in Newtons law of universal gravitation which states; Two bodies attract each other with equal and opposite forces; the magnitude of this force is proportional to the product of the two masses and is also proportional to the inverse square of the distance between the centers of mass of the two bodies. It is approximately equal to: 6.672*10^(-11) Newton square metres per kilogramme squared. The gravitational constant is approximately 6.672*10^(-11) Newton square metres per kilogramme squared 10-11 1000 2 Avogadros_constant constant This symbol represents the number of atoms in 12 grammes of pure carbon(12). It is approximately 6.0221367*10^(23) +/- 3.6*10^(17). Avogadros constant is 6.0221367*10^(23) +/- 3.6*10^(17). 1023 1017 1023 1017 Faradays_constant constant This symbol represents the electric charge carried by one mole of electrons. It is approximately 96485.309 +/- 0.029 Coulombs per mole. Faradays constant is 96485.309 +/- 0.029 Coulombs per mole. gas_constant constant This symbol represents the constant which is equal to the ratio of the pressure times the volume and the temperature of an ideal gas. It is approximately 8.31451 +/- 7.0*10^(-05) Joules per mole per Kelvin. The gas constant is 8.31451 +/- 7.0*10^(-05) Joules per mole per Kelvin. Loschmidt_constant constant This symbol represents the number of particles per unit volume of an ideal gas at standard temperature and pressure. It is approximately 2.686763 * 10^(25) +/- 2.3 * 10^(20) per metre cubed. The Loschmidt constant is 2.686763 * 10^(25) +/- 2.3 * 10^(20) per metre cubed. 1025 1020 1025 1020 3 magnetic_constant constant This symbol represents the ratio of the magnetic flux density in a substance to the external field strength for vacuum. It is equal to 4 pi x 10^(-7) H/m. The magnetic constant is equal to 4 pi x 10^(-7) H/m. 410-7 Boltzmann_constant constant A constant which describes the relationship between temperature and kinetic energy for molecules in an ideal gas. It is approximately 1.380658*10^(-23) +/- 1.2*10^(-28) Joules per Kelvin. The Boltzmann constant is equal to 1.380658*10^(-23) +/- 1.2*10^(-28) Joules per Kelvin. 10-23 10-28 10-23 10-28