SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > UnaryConstantFunctionQuantity > TimeDependentQuantity > FrequencyMeasure > GigaHertz |
GigaHertz | ||||
subject | fact |
GigaHertz | documentation Multiple of Hertz. Symbol: GHz. A FrequencyMeasure equal to one billion times per SeconDuration. 1 GigaHertz = 10^9 Hertz | |
has axiom (equal | ||
is an instance of FrequencyMeasure | ||
is an instance of UnitOfMeasure | ||
UnitOfMeasure | is second domain of MeasureFn | |
PhysicalQuantity | is partitioned into ConstantQuantity, FunctionQuantity | |
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: Hertz Up: FrequencyMeasure, UnitOfMeasure Previous FrequencyMeasure: MegaHertz