SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > FunctionQuantity > EnergyMeasure > ElectronVolt |
ElectronVolt 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 |
---|---|---|---|---|---|---|---|
EnergyMeasure | rangeSubclass | SubtractionFn | A FunctionQuantity is a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity mapping values of time (which are ConstantQuantities) to values of distance (also ConstantQuantities). Note that all instances of FunctionQuantity are Functions with a fixed arity. Note too that all elements of the range of a FunctionQuantity have the same physical dimension as the FunctionQuantity itself | (<=> | domainSubclass | FunctionQuantity | |
UnitOfMeasure | SubtractionFn | MeasureFn | 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 | (=> | PhysicalQuantity | ||
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 | domainSubclass | UnitOfMeasure |
Next EnergyMeasure: Joule Up: EnergyMeasure, UnitOfMeasure Previous EnergyMeasure: Calorie