UnaryConstantFunctionQuantity | *documentation* The class of UnaryFunctions that map from the Class ConstantQuantity to the Class ConstantQuantity | |

**has axiom** (=> (*instance* ?FUNCTION UnaryConstantFunctionQuantity) (*and* (*domain* ?FUNCTION 1 ConstantQuantity) (*range* ?FUNCTION ConstantQuantity)))
| |

**is a kind of** FunctionQuantity | |

**is a kind of** UnaryFunction | |

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

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

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

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

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

BinaryRelation | **is first ***domain* of *DomainFn* | |

**is first ***domain* of *equivalenceRelationOn* | |

**is first ***domain* of *inverse* | |

**is first ***domain* of *irreflexiveOn* | |

**is first ***domain* of *partialOrderingOn* | |

**is first ***domain* of *RangeFn* | |

**is first ***domain* of *reflexiveOn* | |

**is first ***domain* of *totalOrderingOn* | |

**is first ***domain* of *trichotomizingOn* | |

**is second ***domain* of *inverse* | |

Class | **is third ***domain* of *domain* | |

**is third ***domain* of *domainSubclass* | |

Abstract | **is ***disjoint* from Physical | |