| direct-children | documentation | graph |

SingleValuedRelation | 344 | A Relation is a SingleValuedRelation just in case an assignment of values to every argument pos... | ^ |

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

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

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

BinaryFunction | 100 | The Class of Functions that require two arguments. | ^ |

TernaryFunction | 3 | The Class of Functions that require exactly three arguments. | ^ |

QuaternaryFunction | 4 | The Class of Functions that require exactly four arguments. | ^ |

ContinuousFunction | . | Functions which are continuous. This concept is taken as primitive until representations for limi... | ^ |