| direct-children | documentation | graph |

Function | 301 | A Function is a term-forming Relation that maps from a n-tuple of arguments to a range and that... | ^ |

BinaryRelation | 1210 | BinaryRelations are relations that are true only of pairs of things. BinaryRelations are repres... | ^ |

InheritableRelation | 1618 | The class of Relations whose properties can be inherited downward in the class hierarchy via the ... | ^ |

UnaryFunction | 183 | The Class of Functions that require a single argument. | ^ |

OneToOneFunction | 1 | The Class of UnaryFunctions which are one to one. A function F is one to one just in case for a... | ^ |

UnitOfMeasureMultiplier | 8 | Each instance of this Class is a UnaryFunction that, when evaluated on its single argument, a... | ^ |