 SUMO   View all facts   Glossary   Help Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > UnaryConstantFunctionQuantity > TimeDependentQuantity > FrequencyMeasure
Next TimeDependentQuantityActivityMeasure    UpTimeDependentQuantity    Previous TimeDependentQuantityElectricChargeMeasure  FrequencyMeasure subject fact
 FrequencyMeasure is a kind of TimeDependentQuantity TimeDependentQuantity documentation 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 has axiom `(=> (instance ?FUNCTION TimeDependentQuantity) (domain ?FUNCTION 1 TimeMeasure))` Function is first domain of AssignmentFn is first domain of closedOn is first domain of range is first domain of rangeSubclass Relation is second domain of subrelation PhysicalQuantity is partitioned into ConstantQuantity, FunctionQuantity BinaryRelation is second domain of inverse Class is third domain of domain is third domain of domainSubclass Abstract is disjoint from Physical Kinds of FrequencyMeasure :

• GigaHertz (4 facts) - Multiple of Hertz. Symbol: GHz. A FrequencyMeasure equal to one billion times per SeconDuration. 1 GigaHertz = 10^9 Hertz
• Hertz (6 facts) - SI FrequencyMeasure. Symbol: Hz. It is the number of cycles per second. Hertz = s^(-1)
• KiloHertz (4 facts) - Multiple of Hertz. Symbol: kHz. A FrequencyMeasure equal to one thousand times per SecondDuration. 1 KiloHertz = 10^3 Hertz
• MegaHertz (4 facts) - Multiple of Hertz. Symbol: MHz. A FrequencyMeasure equal to one million times per SecondDuration. 1 Megahertz = 10^6 Hertz