UnitOfMeasure Comparison Table

Entity > Abstract > Quantity > PhysicalQuantity > UnitOfMeasure

Next PhysicalQuantity: ConstantQuantity Up: PhysicalQuantity Previous PhysicalQuantity: FunctionQuantity

UnitOfMeasure comparison table

Subject be first domain of be second domain of documentation have axiom be third domain of is a kind of is an instance of have relatedInternalConcept

Amu DensityFn MeasureFn Atomic mass unit. Symbol: u. It is the mass of the twelfth part of an atom of the Carbon 12 isotope
(equal
(MeasureFn ?NUMBER Amu)
(MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-27) Kilogram))
UnitOfMeasure

Angstrom MagnitudeFn MeasureFn The Angstrom is a LengthMeasure. 1 Angstrom = 10^(-10)
(equal
(MeasureFn ?NUMBER Angstrom)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E-10) Meter))
distance UnitOfMeasure

AngularDegree TangentFn MeasureFn A PlaneAngleMeasure
(equal
(MeasureFn ?NUMBER AngularDegree)
(MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180)) Radian))
UnitOfMeasure

AtomGram DensityFn MeasureFn 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
(=>
(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)))))
UnitOfMeasure

Bit MagnitudeFn MeasureFn One Bit of information. A one or a zero
(equal
(MeasureFn ?NUMBER Byte)
(MeasureFn (MultiplicationFn ?NUMBER 8) Bit))
UnitOfMeasure

BritishThermalUnit SubtractionFn MeasureFn An EnergyMeasure
(equal
(MeasureFn ?NUMBER BritishThermalUnit)
(MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule))
domainSubclass UnitOfMeasure

Byte MagnitudeFn MeasureFn One Byte of information. A Byte is eight Bits
(equal
(MeasureFn ?NUMBER KiloByte)
(MeasureFn (MultiplicationFn ?NUMBER 1024) Byte))
UnitOfMeasure

Calorie SubtractionFn MeasureFn A Calorie is an EnergyMeasure
(equal
(MeasureFn ?NUMBER Calorie)
(MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule))
domainSubclass UnitOfMeasure

Centimeter MagnitudeFn MeasureFn Submultiple of Meter. Symbol: cm. It is the 100th part of a Mete
(equal
(MeasureFn ?NUMBER Centimeter)
(MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter))
distance UnitOfMeasure

CentUnitedStates MagnitudeFn MeasureFn A CurrencyMeasure. 1 US cent = 10^-2 US dollars
(equal
(MeasureFn ?NUMBER CentUnitedStates)
(MeasureFn (MultiplicationFn ?NUMBER .01) DollarUnitedStates))
UnitOfMeasure

Cup MagnitudeFn DensityFn English unit of volume equal to 1/2 of a Pint
(equal
(MeasureFn ?NUMBER Ounce)
(MeasureFn (DivisionFn ?NUMBER 8) Cup))
VolumeMeasure

DayDuration SubtractionFn MeasureFn Time unit. 1 day = 24 hours
(equal
(MeasureFn ?NUMBER YearDuration)
(MeasureFn (MultiplicationFn ?NUMBER 365) DayDuration))
UnitOfMeasure

DollarUnitedStates MagnitudeFn MeasureFn A CurrencyMeasure
(equal
(MeasureFn ?NUMBER CentUnitedStates)
(MeasureFn (MultiplicationFn ?NUMBER .01) DollarUnitedStates))
UnitOfMeasure

ElectronVolt SubtractionFn MeasureFn 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
(equal
(MeasureFn ?NUMBER ElectronVolt)
(MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))
domainSubclass UnitOfMeasure

Foot MagnitudeFn MeasureFn English length unit of feet
(equal
(MeasureFn ?NUMBER Foot)
(MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter))
distance UnitOfMeasure

GigaHertz SubtractionFn MeasureFn Multiple of Hertz. Symbol: GHz. A FrequencyMeasure equal to one billion times per SeconDuration. 1 GigaHertz = 10^9 Hertz
(equal
(MeasureFn ?NUMBER GigaHertz)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E9) Hertz))
domainSubclass UnitOfMeasure

Gram DensityFn MeasureFn Submultiple of Kilogram. Symbol: g. 1 Kilogram = 1000 Grams
(equal
(MeasureFn ?NUMBER Kilogram)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))
UnitOfMeasure

HourDuration SubtractionFn MeasureFn Time unit. 1 hour = 60 minutes
(equal
(MeasureFn ?NUMBER HourDuration)
(MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))
UnitOfMeasure

Inch MagnitudeFn MeasureFn English length unit of inches
(equal
(MeasureFn ?NUMBER Inch)
(MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter))
distance UnitOfMeasure

KiloByte MagnitudeFn MeasureFn 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
(equal
(MeasureFn ?NUMBER MegaByte)
(MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte))
UnitOfMeasure

KiloHertz SubtractionFn MeasureFn Multiple of Hertz. Symbol: kHz. A FrequencyMeasure equal to one thousand times per SecondDuration. 1 KiloHertz = 10^3 Hertz
(equal
(MeasureFn ?NUMBER KiloHertz)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Hertz))
domainSubclass UnitOfMeasure

Kilometer MagnitudeFn MeasureFn Multiple of Meter. Symbol: km. 1 Kilometer = 1000 Meters
(equal
(MeasureFn ?NUMBER Kilometer)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Meter))
distance UnitOfMeasure

Liter MagnitudeFn DensityFn Unit of volume in the metric system. It is currently defined to be equal to one cubic decimeter (0.001 cubic meter). Symbol: l
(equal
(MeasureFn ?NUMBER UnitedStatesGallon)
(MeasureFn (MultiplicationFn ?NUMBER 3.785411784) Liter))
VolumeMeasure

MegaByte MagnitudeFn MeasureFn 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
(equal
(MeasureFn ?NUMBER MegaByte)
(MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte))
UnitOfMeasure

MegaHertz SubtractionFn MeasureFn Multiple of Hertz. Symbol: MHz. A FrequencyMeasure equal to one million times per SecondDuration. 1 Megahertz = 10^6 Hertz
(equal
(MeasureFn ?NUMBER MegaHertz)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E6) Hertz))
domainSubclass UnitOfMeasure

MegaOhm SubtractionFn MeasureFn Multiple of Ohm. Electric resistance unit equal to one million Ohm. 1 MegaOhm = 10^(6) Ohms
(equal
(MeasureFn ?NUMBER MegaOhm)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E6) Ohm))
domainSubclass UnitOfMeasure

MegaPascal SubtractionFn MeasureFn Multiple of Pascal. Symbol: MPa. A unit of pressure equal to one million Pascal. 1 MegaPascal = 10^6 Pa
(equal
(MeasureFn ?NUMBER MegaPascal)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E6) Pascal))
domainSubclass UnitOfMeasure

MicroOhm SubtractionFn MeasureFn Submultiple of Ohm. Electric resistance unit equal to the millionth part of an Ohm. 1 MicroOhm = 10^(-6) Ohms
(equal
(MeasureFn ?NUMBER MicroOhm)
(MeasureFn (MultiplicationFn ?NUMBER 0.000001) Ohm))
domainSubclass UnitOfMeasure

MicroVolt SubtractionFn MeasureFn Submultiple of Volt. Symbol: mV. A UnitOfMeasure for measuring electrical potential equal to one millionth of a volt. 1 MicroVolt = 10^(-6) Volt
(equal
(MeasureFn ?NUMBER MicroVolt)
(MeasureFn (MultiplicationFn ?NUMBER 0.000001) Volt))
domainSubclass UnitOfMeasure

Mile MagnitudeFn MeasureFn English length unit of miles
(equal
(MeasureFn ?NUMBER Mile)
(MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter))
distance UnitOfMeasure

MilliAmpere SubtractionFn MeasureFn Submultiple of Ampere. Symbol: mA. A unit of electrical current equal to one thousandth of an Ampere
(equal
(MeasureFn ?NUMBER MilliAmpere)
(MeasureFn (MultiplicationFn ?NUMBER .001) Ampere))
domainSubclass UnitOfMeasure

MilliVolt SubtractionFn MeasureFn Submultiple of Volt. Symbol: mV. A unit of electrical potential equal to one thousandth of a Volt. 1 MilliVolt = 10^(-3) Volt
(equal
(MeasureFn ?NUMBER MilliVolt)
(MeasureFn (MultiplicationFn ?NUMBER .001) Volt))
domainSubclass UnitOfMeasure

MinuteDuration SubtractionFn MeasureFn Time unit. 1 minute = 60 seconds.
(equal
(MeasureFn ?NUMBER HourDuration)
(MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))
UnitOfMeasure

MonthDuration SubtractionFn MeasureFn Time unit. 1/12th of a year
(=>
(instance ?MONTH Month)
(duration ?MONTH MonthDuration))
UnitOfMeasure

NanoSecond SubtractionFn MeasureFn Submultiple of SecondDuration. Symbol: ns. A UnitOfMeasure equal to one billionth of a SecondDuration
(equal
(MeasureFn ?NUMBER NanoSecond)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E-9) Second))
UnitOfMeasure

Ounce MagnitudeFn DensityFn English unit of volume equal to 1/8 of a Cup
(equal
(MeasureFn ?NUMBER Ounce)
(MeasureFn (DivisionFn ?NUMBER 8) Cup))
VolumeMeasure

PicoAmpere SubtractionFn MeasureFn Submultiple of Ampere. Symbol: pA. A unit of electrical current equal to one trillionth of an Ampere
(equal
(MeasureFn ?NUMBER PicoAmpere)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E-12) Ampere))
domainSubclass UnitOfMeasure

PicoSecond SubtractionFn MeasureFn Submultiple of SecondDuration. Symbol: ps. A UnitOfMeasure equal to one trillionth of a SecondDuration
(equal
(MeasureFn ?NUMBER PicoSecond)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E-12) SecondDuration))
UnitOfMeasure

Pint MagnitudeFn DensityFn English unit of volume equal to 1/2 of a Quart
(equal
(MeasureFn ?NUMBER Pint)
(MeasureFn (DivisionFn ?NUMBER 2) Quart))
VolumeMeasure

PoundForce SubtractionFn MeasureFn 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
(equal
(MeasureFn ?NUMBER PoundForce)
(MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton))
domainSubclass UnitOfMeasure

PoundMass DensityFn MeasureFn English mass unit of pounds
(=>
(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)))))
UnitOfMeasure

Quart MagnitudeFn DensityFn English unit of volume equal to 1/4 of a UnitedStatesGallon
(equal
(MeasureFn ?NUMBER Quart)
(MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon))
VolumeMeasure

Rankine MagnitudeFn MeasureFn A ThermodynamicTemperatureMeasure. Note that 0 degrees Rankine is the same as the absolute zero (i.e. 0 degrees Kelvin)
(equal
(MeasureFn ?NUMBER Rankine)
(MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))
UnitOfMeasure

Slug DensityFn MeasureFn English mass unit of slugs
(equal
(MeasureFn ?NUMBER Slug)
(MeasureFn (MultiplicationFn ?NUMBER 14.59390) Kilogram))
UnitOfMeasure

SystemeInternationalUnit SubtractionFn MeasureFn The Class of Systeme International (SI) units
(=>
(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)))))
UnitOfMeasure

UnitedKingdomGallon MagnitudeFn DensityFn Unit of volume commonly used in the United Kingdom
(equal
(MeasureFn ?NUMBER UnitedKingdomGallon)
(MeasureFn (MultiplicationFn ?NUMBER 4.54609) Liter))
VolumeMeasure

UnitedStatesGallon MagnitudeFn DensityFn Unit of volume commonly used in the United States
(equal
(MeasureFn ?NUMBER UnitedStatesGallon)
(MeasureFn (MultiplicationFn ?NUMBER 3.785411784) Liter))
VolumeMeasure UnitedKingdomGallon

Watt SubtractionFn MeasureFn 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)
(equal
(MeasureFn ?NUMBER KiloWatt)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Watt))
domainSubclass UnitOfMeasure

YearDuration SubtractionFn MeasureFn Time unit. one calendar year. 1 year = 365 days = 31536000 seconds
(equal
(MeasureFn ?NUMBER YearDuration)
(MeasureFn (MultiplicationFn ?NUMBER 365) DayDuration))
UnitOfMeasure

Subject	be first domain of	be second domain of	documentation	have axiom	be third domain of	is a kind of	is an instance of	have relatedInternalConcept
Amu	DensityFn	MeasureFn	Atomic mass unit. Symbol: u. It is the mass of the twelfth part of an atom of the Carbon 12 isotope	(equal (MeasureFn ?NUMBER Amu) (MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-27) Kilogram))			UnitOfMeasure
Angstrom	MagnitudeFn	MeasureFn	The Angstrom is a LengthMeasure. 1 Angstrom = 10^(-10)	(equal (MeasureFn ?NUMBER Angstrom) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-10) Meter))	distance		UnitOfMeasure
AngularDegree	TangentFn	MeasureFn	A PlaneAngleMeasure	(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180)) Radian))			UnitOfMeasure
AtomGram	DensityFn	MeasureFn	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	(=> (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)))))			UnitOfMeasure
Bit	MagnitudeFn	MeasureFn	One Bit of information. A one or a zero	(equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit))			UnitOfMeasure
BritishThermalUnit	SubtractionFn	MeasureFn	An EnergyMeasure	(equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule))	domainSubclass		UnitOfMeasure
Byte	MagnitudeFn	MeasureFn	One Byte of information. A Byte is eight Bits	(equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte))			UnitOfMeasure
Calorie	SubtractionFn	MeasureFn	A Calorie is an EnergyMeasure	(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule))	domainSubclass		UnitOfMeasure
Centimeter	MagnitudeFn	MeasureFn	Submultiple of Meter. Symbol: cm. It is the 100th part of a Mete	(equal (MeasureFn ?NUMBER Centimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter))	distance		UnitOfMeasure
CentUnitedStates	MagnitudeFn	MeasureFn	A CurrencyMeasure. 1 US cent = 10^-2 US dollars	(equal (MeasureFn ?NUMBER CentUnitedStates) (MeasureFn (MultiplicationFn ?NUMBER .01) DollarUnitedStates))			UnitOfMeasure
Cup	MagnitudeFn	DensityFn	English unit of volume equal to 1/2 of a Pint	(equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup))			VolumeMeasure
DayDuration	SubtractionFn	MeasureFn	Time unit. 1 day = 24 hours	(equal (MeasureFn ?NUMBER YearDuration) (MeasureFn (MultiplicationFn ?NUMBER 365) DayDuration))			UnitOfMeasure
DollarUnitedStates	MagnitudeFn	MeasureFn	A CurrencyMeasure	(equal (MeasureFn ?NUMBER CentUnitedStates) (MeasureFn (MultiplicationFn ?NUMBER .01) DollarUnitedStates))			UnitOfMeasure
ElectronVolt	SubtractionFn	MeasureFn	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	(equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))	domainSubclass		UnitOfMeasure
Foot	MagnitudeFn	MeasureFn	English length unit of feet	(equal (MeasureFn ?NUMBER Foot) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter))	distance		UnitOfMeasure
GigaHertz	SubtractionFn	MeasureFn	Multiple of Hertz. Symbol: GHz. A FrequencyMeasure equal to one billion times per SeconDuration. 1 GigaHertz = 10^9 Hertz	(equal (MeasureFn ?NUMBER GigaHertz) (MeasureFn (MultiplicationFn ?NUMBER 1.0E9) Hertz))	domainSubclass		UnitOfMeasure
Gram	DensityFn	MeasureFn	Submultiple of Kilogram. Symbol: g. 1 Kilogram = 1000 Grams	(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))			UnitOfMeasure
HourDuration	SubtractionFn	MeasureFn	Time unit. 1 hour = 60 minutes	(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))			UnitOfMeasure
Inch	MagnitudeFn	MeasureFn	English length unit of inches	(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter))	distance		UnitOfMeasure
KiloByte	MagnitudeFn	MeasureFn	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	(equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte))			UnitOfMeasure
KiloHertz	SubtractionFn	MeasureFn	Multiple of Hertz. Symbol: kHz. A FrequencyMeasure equal to one thousand times per SecondDuration. 1 KiloHertz = 10^3 Hertz	(equal (MeasureFn ?NUMBER KiloHertz) (MeasureFn (MultiplicationFn ?NUMBER 1000) Hertz))	domainSubclass		UnitOfMeasure
Kilometer	MagnitudeFn	MeasureFn	Multiple of Meter. Symbol: km. 1 Kilometer = 1000 Meters	(equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter))	distance		UnitOfMeasure
Liter	MagnitudeFn	DensityFn	Unit of volume in the metric system. It is currently defined to be equal to one cubic decimeter (0.001 cubic meter). Symbol: l	(equal (MeasureFn ?NUMBER UnitedStatesGallon) (MeasureFn (MultiplicationFn ?NUMBER 3.785411784) Liter))			VolumeMeasure
MegaByte	MagnitudeFn	MeasureFn	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	(equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte))			UnitOfMeasure
MegaHertz	SubtractionFn	MeasureFn	Multiple of Hertz. Symbol: MHz. A FrequencyMeasure equal to one million times per SecondDuration. 1 Megahertz = 10^6 Hertz	(equal (MeasureFn ?NUMBER MegaHertz) (MeasureFn (MultiplicationFn ?NUMBER 1.0E6) Hertz))	domainSubclass		UnitOfMeasure
MegaOhm	SubtractionFn	MeasureFn	Multiple of Ohm. Electric resistance unit equal to one million Ohm. 1 MegaOhm = 10^(6) Ohms	(equal (MeasureFn ?NUMBER MegaOhm) (MeasureFn (MultiplicationFn ?NUMBER 1.0E6) Ohm))	domainSubclass		UnitOfMeasure
MegaPascal	SubtractionFn	MeasureFn	Multiple of Pascal. Symbol: MPa. A unit of pressure equal to one million Pascal. 1 MegaPascal = 10^6 Pa	(equal (MeasureFn ?NUMBER MegaPascal) (MeasureFn (MultiplicationFn ?NUMBER 1.0E6) Pascal))	domainSubclass		UnitOfMeasure
MicroOhm	SubtractionFn	MeasureFn	Submultiple of Ohm. Electric resistance unit equal to the millionth part of an Ohm. 1 MicroOhm = 10^(-6) Ohms	(equal (MeasureFn ?NUMBER MicroOhm) (MeasureFn (MultiplicationFn ?NUMBER 0.000001) Ohm))	domainSubclass		UnitOfMeasure
MicroVolt	SubtractionFn	MeasureFn	Submultiple of Volt. Symbol: mV. A UnitOfMeasure for measuring electrical potential equal to one millionth of a volt. 1 MicroVolt = 10^(-6) Volt	(equal (MeasureFn ?NUMBER MicroVolt) (MeasureFn (MultiplicationFn ?NUMBER 0.000001) Volt))	domainSubclass		UnitOfMeasure
Mile	MagnitudeFn	MeasureFn	English length unit of miles	(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter))	distance		UnitOfMeasure
MilliAmpere	SubtractionFn	MeasureFn	Submultiple of Ampere. Symbol: mA. A unit of electrical current equal to one thousandth of an Ampere	(equal (MeasureFn ?NUMBER MilliAmpere) (MeasureFn (MultiplicationFn ?NUMBER .001) Ampere))	domainSubclass		UnitOfMeasure
MilliVolt	SubtractionFn	MeasureFn	Submultiple of Volt. Symbol: mV. A unit of electrical potential equal to one thousandth of a Volt. 1 MilliVolt = 10^(-3) Volt	(equal (MeasureFn ?NUMBER MilliVolt) (MeasureFn (MultiplicationFn ?NUMBER .001) Volt))	domainSubclass		UnitOfMeasure
MinuteDuration	SubtractionFn	MeasureFn	Time unit. 1 minute = 60 seconds.	(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))			UnitOfMeasure
MonthDuration	SubtractionFn	MeasureFn	Time unit. 1/12th of a year	(=> (instance ?MONTH Month) (duration ?MONTH MonthDuration))			UnitOfMeasure
NanoSecond	SubtractionFn	MeasureFn	Submultiple of SecondDuration. Symbol: ns. A UnitOfMeasure equal to one billionth of a SecondDuration	(equal (MeasureFn ?NUMBER NanoSecond) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-9) Second))			UnitOfMeasure
Ounce	MagnitudeFn	DensityFn	English unit of volume equal to 1/8 of a Cup	(equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup))			VolumeMeasure
PicoAmpere	SubtractionFn	MeasureFn	Submultiple of Ampere. Symbol: pA. A unit of electrical current equal to one trillionth of an Ampere	(equal (MeasureFn ?NUMBER PicoAmpere) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-12) Ampere))	domainSubclass		UnitOfMeasure
PicoSecond	SubtractionFn	MeasureFn	Submultiple of SecondDuration. Symbol: ps. A UnitOfMeasure equal to one trillionth of a SecondDuration	(equal (MeasureFn ?NUMBER PicoSecond) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-12) SecondDuration))			UnitOfMeasure
Pint	MagnitudeFn	DensityFn	English unit of volume equal to 1/2 of a Quart	(equal (MeasureFn ?NUMBER Pint) (MeasureFn (DivisionFn ?NUMBER 2) Quart))			VolumeMeasure
PoundForce	SubtractionFn	MeasureFn	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	(equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton))	domainSubclass		UnitOfMeasure
PoundMass	DensityFn	MeasureFn	English mass unit of pounds	(=> (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)))))			UnitOfMeasure
Quart	MagnitudeFn	DensityFn	English unit of volume equal to 1/4 of a UnitedStatesGallon	(equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon))			VolumeMeasure
Rankine	MagnitudeFn	MeasureFn	A ThermodynamicTemperatureMeasure. Note that 0 degrees Rankine is the same as the absolute zero (i.e. 0 degrees Kelvin)	(equal (MeasureFn ?NUMBER Rankine) (MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))			UnitOfMeasure
Slug	DensityFn	MeasureFn	English mass unit of slugs	(equal (MeasureFn ?NUMBER Slug) (MeasureFn (MultiplicationFn ?NUMBER 14.59390) Kilogram))			UnitOfMeasure
SystemeInternationalUnit	SubtractionFn	MeasureFn	The Class of Systeme International (SI) units	(=> (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)))))		UnitOfMeasure
UnitedKingdomGallon	MagnitudeFn	DensityFn	Unit of volume commonly used in the United Kingdom	(equal (MeasureFn ?NUMBER UnitedKingdomGallon) (MeasureFn (MultiplicationFn ?NUMBER 4.54609) Liter))			VolumeMeasure
UnitedStatesGallon	MagnitudeFn	DensityFn	Unit of volume commonly used in the United States	(equal (MeasureFn ?NUMBER UnitedStatesGallon) (MeasureFn (MultiplicationFn ?NUMBER 3.785411784) Liter))			VolumeMeasure	UnitedKingdomGallon
Watt	SubtractionFn	MeasureFn	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^2kgs^(-3)	(equal (MeasureFn ?NUMBER KiloWatt) (MeasureFn (MultiplicationFn ?NUMBER 1000) Watt))	domainSubclass		UnitOfMeasure
YearDuration	SubtractionFn	MeasureFn	Time unit. one calendar year. 1 year = 365 days = 31536000 seconds	(equal (MeasureFn ?NUMBER YearDuration) (MeasureFn (MultiplicationFn ?NUMBER 365) DayDuration))			UnitOfMeasure

Next PhysicalQuantity: ConstantQuantity Up: PhysicalQuantity Previous PhysicalQuantity: FunctionQuantity