SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > UnaryConstantFunctionQuantity > TimeDependentQuantity > FrequencyMeasure > Hertz

Hertz
subject			fact

Hertz	documentation SI FrequencyMeasure. Symbol: Hz. It is the number of cycles per second. Hertz = s^(-1)
	has axiom (equal (MeasureFn ?NUMBER GigaHertz) (MeasureFn (MultiplicationFn ?NUMBER 1.0E9) Hertz))
	has axiom (equal (MeasureFn ?NUMBER MegaHertz) (MeasureFn (MultiplicationFn ?NUMBER 1.0E6) Hertz))
	has axiom (equal (MeasureFn ?NUMBER KiloHertz) (MeasureFn (MultiplicationFn ?NUMBER 1000) Hertz))
	is an instance of FrequencyMeasure
	is an instance of SystemeInternationalUnit
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
	is third domain of domainSubclass

Next FrequencyMeasure: KiloHertz    Up: FrequencyMeasure, SystemeInternationalUnit    Previous FrequencyMeasure: GigaHertz