ElectronVolt concept from the SUMO knowledge base

Next EnergyMeasure: Joule Up: EnergyMeasure, UnitOfMeasure Previous EnergyMeasure: Calorie

Next EnergyMeasure: Joule Up: EnergyMeasure, UnitOfMeasure Previous EnergyMeasure: Calorie

ElectronVolt	*documentation* 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
	has axiom (equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))
	*is an instance* of** EnergyMeasure
	*is an instance* of** UnitOfMeasure
UnitOfMeasure	*is second domain* of** MeasureFn
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Function	*is first domain* of** AssignmentFn
	*is first domain* of** closedOn
	*is first domain* of** range
	*is first domain* of** rangeSubclass
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
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass