SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > UnaryConstantFunctionQuantity > TimeDependentQuantity > FrequencyMeasure > KiloHertz |
KiloHertz | ||||
subject | fact |
KiloHertz | documentation Multiple of Hertz. Symbol: kHz. A FrequencyMeasure equal to one thousand times per SecondDuration. 1 KiloHertz = 10^3 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: MegaHertz Up: FrequencyMeasure, UnitOfMeasure Previous FrequencyMeasure: Hertz