Hertz Comparison Table

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

Hertz 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

FrequencyMeasure rangeSubclass inverse A UnaryConstantFunction of continuous time. All instances of this Class map a time quantity into another ConstantQuantity such as temperature. For example, 'the temperature at the top of the Empire State Building' is a TimeDependentQuantity since its value depends on the time
(=>
(instance ?FUNCTION TimeDependentQuantity)
(domain ?FUNCTION 1 TimeMeasure))
domainSubclass TimeDependentQuantity

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

Hertz SubtractionFn MeasureFn SI FrequencyMeasure. Symbol: Hz. It is the number of cycles per second. Hertz = s^(-1)
(equal
(MeasureFn ?NUMBER KiloHertz)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Hertz))
domainSubclass SystemeInternationalUnit

Subject	be first domain of	be second domain of	documentation	have axiom	be third domain of	is a kind of	is an instance of
FrequencyMeasure	rangeSubclass	inverse	A UnaryConstantFunction of continuous time. All instances of this Class map a time quantity into another ConstantQuantity such as temperature. For example, 'the temperature at the top of the Empire State Building' is a TimeDependentQuantity since its value depends on the time	(=> (instance ?FUNCTION TimeDependentQuantity) (domain ?FUNCTION 1 TimeMeasure))	domainSubclass	TimeDependentQuantity
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
Hertz	SubtractionFn	MeasureFn	SI FrequencyMeasure. Symbol: Hz. It is the number of cycles per second. Hertz = s^(-1)	(equal (MeasureFn ?NUMBER KiloHertz) (MeasureFn (MultiplicationFn ?NUMBER 1000) Hertz))	domainSubclass		SystemeInternationalUnit

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