This theory defines a set of basic units of measure, a set of fundamental dimensions and a few others. Each unit-of-measure is defined with its relationship to SI units for the fundamental dimensions. It is intended that this theory represent enough information to convert among any pair of units of the same dimension that are either defined as basic units here or built up from the basic units using the composition operators * and EXPT.
Physical-Quantities Frame-Ontology Kif-Relations Kif-Sets Kif-Lists Kif-Numbers Abstract-Algebra Frame-Ontology ...
Simple-Bikes Cml Thermodynamics Dme Thermodynamics Vt-Design Simple-Bikes Vt-Domain Vt-Example Unary-Scalar-Functions Cml ...
The following constants were used from included theories:
All constants that were mentioned were defined.
The fundamental dimension of length, as defined by the SI standard.
The fundamental dimension of mass, as defined by the SI standard.
The fundamental dimension of physical, continuous time, as defined by the SI standard.
The fundamental dimension of electrical current, as defined by the SI standard.
The fundamental dimension of temperature, as defined by the SI standard.
The fundamental dimension of amount of substance, as defined by the SI standard.
The fundamental dimension of luminous-intensity, as defined by the SI standard.
The physical dimension of force is defined as mass times length over time squared. In some systems FORCE-DIMENSION is fundamental and MASS-DIMENSION is a derived dimension. This theory goes with the SI standard, but we include the definition of force as a non-fundamental built-in dimension.
(= Force-Dimension (* Mass-Dimension (* Length-Dimension (Expt Time-Dimension -2))) )
The physical dimension of energy is defined as mass times length squared over time squared.
(= Energy-Dimension (* Mass-Dimension (* (Expt Length-Dimension 2) (Expt Time-Dimension -2)) ))
The fundamental dimension of currency or money. CURRENCY-DIMENSION is to currencies as US-dollar's and ECU's as the LENGTH-DIMENSION is to units of length such as meters.
The class of Systeme International units.
(= (Base-Units Si-Unit) (Setof Meter Kilogram Second-Of-Time Ampere Degree-Kelvin Mole Candela Identity-Unit))
The SI standard unit of time. It is not called 'second' to distinguish it from the function second (from the KIF-lists ontology) that denotes the second element of a sequence.
(= (Quantity.Dimension Second-Of-Time) Time-Dimension)
(= Minute (* Second-Of-Time 60))
(= Hour (* Minute 60))
SI length unit. No conversion function is given because this is a standard.
(= (Quantity.Dimension Meter) Length-Dimension)
(= Kilometer (* Meter 1000))
English length unit.
(= Inch (/ Meter 39.37))
English length unit of feet.
(= Foot (* Inch 12))
English length unit.
(= Mile (* Foot 5280))
ang.strom 'a<nj>-str<e>m also '<o.><nj>- n (1897) [Anders J. <A^o>ngstr<o:>m]
:a unit of length equal to one ten-billionth of a meters -- used esp.
for wavelengths of light.
(= Angstrom (/ Meter (Expt 10 10)))
SI mass unit of kilogram.
(= (Quantity.Dimension Kilogram) Mass-Dimension)
English pound of mass.
(= Pound-Mass (/ Kilogram 2.2046))
English mass unit.
(= Slug (/ Pound-Mass 1000))
SI force unit.
(= Newton (* (* Kilogram Meter) (Expt Second-Of-Time -2)))
SI electrical current unit.
(= (Quantity.Dimension Ampere) Electrical-Current-Dimension)
English pound of force.
(= Pound-Force (/ Newton 4.448))
SI energy unit.
(= Joule (* Newton Meter))
British thermal unit, a unit of energy.
(= Btu (* 1055.0 Joule))
SI pressure unit.
(= Pascal (* Newton (Expt Meter -2)))
A unit of thermodynamic temperature. The degree-Kelvin differs from the Celcius scale ...
(= (Quantity.Dimension Degree-Kelvin) Thermodynamic-Temperature-Dimension)
Being, according to, or relating to an absolute-temperature scale on which the unit of measurement equals a Fahrenheit degree and on which the freezing point of water is 491.67<^o> and the boiling point 671.67<^o>. [Webster]
(= Degree-Rankine (* Degree-Kelvin (/ 5 9)))
Angular measurement unit.
(= Radian Identity-Unit)
Angular measurement unit.
(= Degree (* Radian (/ Pi 180)))
An example currency unit.
(= (Quantity.Dimension Us-Dollar) Currency-Dimension)
Currency measurement unit.
(= Us-Cent (/ Us-Dollar 100))
SI unit for amount of substance. A mole of a substance is the amount of that substance that contains 6.02252 x 10^23 elementary entities. Those entities may be atoms, molecules, ions, electrons, other particles, or specified groups of such particles. One mole of carbon atoms (the C^12 isotope) is exactly 12 grams [Halliday and Resnick]. In this ontology we say that the specified unit is the molecule, so that the MOLE stands by itself as a unit.
(= (Quantity.Dimension Mole) Amount-Of-Substance-Dimension)
The CANDELA is the SI unit for luminous intensity.
(= (Quantity.Dimension Candela) Luminous-Intensity-Dimension)