| direct-children | documentation | graph |

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

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

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

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

BinaryFunction | 89 | 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... | ^ |