SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > UnitOfMeasure

UnitOfMeasure
subject			fact

UnitOfMeasure	documentation A standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrisic property of a UnitOfMeasure that makes it primitive or fundamental; rather, a system-of-units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each
	has axiom (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (subclass ?UNIT ?QUANTTYPE) (not (equal ?QUANTTYPE UnitOfMeasure))) (subclass ?QUANT ?QUANTTYPE))
	has axiom (=> (and (instance ?FUNCTION RelationExtendedToQuantities) (instance ?FUNCTION BinaryFunction) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (equal (AssignmentFn ?FUNCTION ?NUMBER1 ?NUMBER2) ?VALUE)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (equal (AssignmentFn ?FUNCTION (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)) (MeasureFn ?VALUE ?UNIT)))))
	has axiom (=> (and (instance ?REL RelationExtendedToQuantities) (instance ?REL BinaryRelation) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (holds ?REL ?NUMBER1 ?NUMBER2)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))
	is second domain of MeasureFn
	is a kind of PhysicalQuantity
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Quantity	is first domain of AdditionFn
	is first domain of DivisionFn
	is first domain of ExponentiationFn
	is first domain of greaterThan
	is first domain of greaterThanOrEqualTo
	is first domain of lessThan
	is first domain of lessThanOrEqualTo
	is first domain of MaxFn
	is first domain of MinFn
	is first domain of MultiplicationFn
	is first domain of ReciprocalFn
	is first domain of RemainderFn
	is first domain of RoundFn
	is first domain of SubtractionFn
Abstract	is disjoint from Physical

Kinds of UnitOfMeasure :

• Amu (4 facts) - Atomic mass unit. Symbol: u. It is the mass of the twelfth part of an atom of the Carbon 12 isotope
• Angstrom (4 facts) - The Angstrom is a LengthMeasure. 1 Angstrom = 10^(-10)
• AngularDegree (4 facts) - A PlaneAngleMeasure
• AtomGram (3 facts) - MassMeasure that is also known as the gram-atom. Defined as the mass in grams of 1 Mole of pure substance. For example, 1 AtomGram of Carbon 12 will be 12 Grams of pure Carbon 12. 2 AtomGrams of the same substance will be 24 Grams of it. This is an unusual unit in that it is essentially 1 Mole of 'stuff' measured in grams, so that the actual value (i.e. mass) depends on the type of substance
• Bit (4 facts) - One Bit of information. A one or a zero
• BritishThermalUnit (4 facts) - An EnergyMeasure
• Byte (5 facts) - One Byte of information. A Byte is eight Bits
• Calorie (4 facts) - A Calorie is an EnergyMeasure
• Centimeter (4 facts) - Submultiple of Meter. Symbol: cm. It is the 100th part of a Mete
• CentUnitedStates (4 facts) - A CurrencyMeasure. 1 US cent = 10^-2 US dollars
• Cup (5 facts) - English unit of volume equal to 1/2 of a Pint
• DayDuration (6 facts) - Time unit. 1 day = 24 hours
• DollarUnitedStates (4 facts) - A CurrencyMeasure
• ElectronVolt (4 facts) - The ElectronVolt is an EnergyMeasure. Symbol: eV. It is the kinetic energy acquired by an electron in passing through a potential difference of 1 Volt in a vacuum
• Foot (4 facts) - English length unit of feet
• GigaHertz (4 facts) - Multiple of Hertz. Symbol: GHz. A FrequencyMeasure equal to one billion times per SeconDuration. 1 GigaHertz = 10^9 Hertz
• Gram (5 facts) - Submultiple of Kilogram. Symbol: g. 1 Kilogram = 1000 Grams
• HourDuration (6 facts) - Time unit. 1 hour = 60 minutes
• Inch (4 facts) - English length unit of inches
• KiloByte (5 facts) - One KiloByte (K) of information. One KiloByte is 1024 Bytes. Note that this sense of 'kilo' is different from the one accepted in the SI system
• KiloHertz (4 facts) - Multiple of Hertz. Symbol: kHz. A FrequencyMeasure equal to one thousand times per SecondDuration. 1 KiloHertz = 10^3 Hertz
• Kilometer (4 facts) - Multiple of Meter. Symbol: km. 1 Kilometer = 1000 Meters
• Liter (5 facts) - Unit of volume in the metric system. It is currently defined to be equal to one cubic decimeter (0.001 cubic meter). Symbol: l
• MegaByte (4 facts) - One MegaByte (MB) of information. One MegaByte is 1024 KiloBytes. Note that this sense of 'mega' is different from the one accepted in the SI system
• MegaHertz (4 facts) - Multiple of Hertz. Symbol: MHz. A FrequencyMeasure equal to one million times per SecondDuration. 1 Megahertz = 10^6 Hertz
• MegaOhm (4 facts) - Multiple of Ohm. Electric resistance unit equal to one million Ohm. 1 MegaOhm = 10^(6) Ohms
• MegaPascal (4 facts) - Multiple of Pascal. Symbol: MPa. A unit of pressure equal to one million Pascal. 1 MegaPascal = 10^6 Pa
• MicroOhm (4 facts) - Submultiple of Ohm. Electric resistance unit equal to the millionth part of an Ohm. 1 MicroOhm = 10^(-6) Ohms
• MicroVolt (4 facts) - Submultiple of Volt. Symbol: mV. A UnitOfMeasure for measuring electrical potential equal to one millionth of a volt. 1 MicroVolt = 10^(-6) Volt
• Mile (4 facts) - English length unit of miles
• MilliAmpere (4 facts) - Submultiple of Ampere. Symbol: mA. A unit of electrical current equal to one thousandth of an Ampere
• MilliVolt (4 facts) - Submultiple of Volt. Symbol: mV. A unit of electrical potential equal to one thousandth of a Volt. 1 MilliVolt = 10^(-3) Volt
• MinuteDuration (6 facts) - Time unit. 1 minute = 60 seconds.
• MonthDuration (4 facts) - Time unit. 1/12th of a year
• NanoSecond (4 facts) - Submultiple of SecondDuration. Symbol: ns. A UnitOfMeasure equal to one billionth of a SecondDuration
• Ounce (4 facts) - English unit of volume equal to 1/8 of a Cup
• PicoAmpere (4 facts) - Submultiple of Ampere. Symbol: pA. A unit of electrical current equal to one trillionth of an Ampere
• PicoSecond (4 facts) - Submultiple of SecondDuration. Symbol: ps. A UnitOfMeasure equal to one trillionth of a SecondDuration
• Pint (5 facts) - English unit of volume equal to 1/2 of a Quart
• PoundForce (4 facts) - English pound of force. The conversion factor depends on the local value of the acceleration of free fall. A mean value is used in the conversion axiom associated with this constant
• PoundMass (3 facts) - English mass unit of pounds
• Quart (5 facts) - English unit of volume equal to 1/4 of a UnitedStatesGallon
• Rankine (4 facts) - A ThermodynamicTemperatureMeasure. Note that 0 degrees Rankine is the same as the absolute zero (i.e. 0 degrees Kelvin)
• Slug (4 facts) - English mass unit of slugs
• SystemeInternationalUnit (28 kinds, 124 facts) - The Class of Systeme International (SI) units
• UnitedKingdomGallon (4 facts) - Unit of volume commonly used in the United Kingdom
• UnitedStatesGallon (6 facts) - Unit of volume commonly used in the United States
• Watt (5 facts) - SI PowerMeasure. Aymbol: W. A UnitOfMeasure that measures power, i.e. energy produced or expended divided by TimeDuration. It is the power which gives rise to the production of energy (or work) at the rate of one Joule per SecondDuration. Watt = J/s = m^2*kg*s^(-3)
• YearDuration (5 facts) - Time unit. one calendar year. 1 year = 365 days = 31536000 seconds

Next PhysicalQuantity: ConstantQuantity    Up: PhysicalQuantity    Previous PhysicalQuantity: FunctionQuantity