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
Subject be first domain of be second domain of documentation have axiom be third domain of is a kind of is an instance of
FrequencyMeasurerangeSubclassinverseA 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))
UnitOfMeasureSubtractionFnMeasureFnA 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
(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)))))
GigaHertzSubtractionFnMeasureFnMultiple of Hertz. Symbol: GHz. A FrequencyMeasure equal to one billion times per SeconDuration. 1 GigaHertz = 10^9 Hertz
(MeasureFn ?NUMBER GigaHertz)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E9) Hertz))
domainSubclass UnitOfMeasure

Next FrequencyMeasureHertz    UpFrequencyMeasure, UnitOfMeasure    Previous FrequencyMeasureMegaHertz