*Hertz* | *documentation* SI FrequencyMeasure. Symbol: Hz. It is the number of cycles per second. *Hertz* = s^(-1) | |

**has axiom** (*equal* (*MeasureFn* ?NUMBER *GigaHertz*) (*MeasureFn* (*MultiplicationFn* ?NUMBER 1.0E9) *Hertz*))
| |

**has axiom** (*equal* (*MeasureFn* ?NUMBER *MegaHertz*) (*MeasureFn* (*MultiplicationFn* ?NUMBER 1.0E6) *Hertz*))
| |

**has axiom** (*equal* (*MeasureFn* ?NUMBER *KiloHertz*) (*MeasureFn* (*MultiplicationFn* ?NUMBER 1000) *Hertz*))
| |

**is an ***instance* of FrequencyMeasure | |

**is an ***instance* of SystemeInternationalUnit | |

UnitOfMeasure | **is second ***domain* of *MeasureFn* | |

PhysicalQuantity | **is partitioned into** ConstantQuantity, FunctionQuantity | |

Function | **is first ***domain* of *AssignmentFn* | |

**is first ***domain* of *closedOn* | |

**is first ***domain* of *range* | |

**is first ***domain* of *rangeSubclass* | |

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* | |