SUMO   View all facts   Glossary   Help Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > UnaryConstantFunctionQuantity > TimeDependentQuantity > FrequencyMeasure > GigaHertz
Next FrequencyMeasureHertz    UpFrequencyMeasure, UnitOfMeasure    Previous FrequencyMeasureMegaHertz

 GigaHertz comparison table
 be first domain of be second domain of documentation have axiom be third domain of is a kind of is an instance of Subject 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 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 (=> (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))))) PhysicalQuantity 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

Next FrequencyMeasureHertz    UpFrequencyMeasure, UnitOfMeasure    Previous FrequencyMeasureMegaHertz