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