ContinuousFunction | *documentation* Functions which are continuous. This concept is taken as primitive until representations for limits are devised | |

**is a kind of** Function | |

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

Class | **has axiom** (<=> (instance ?CLASS Class) (subclass ?CLASS Entity))
| |

**has axiom** (forall (?INT) (*domain* *disjointDecomposition* ?INT Class))
| |

**has axiom** (forall (?INT) (*domain* *exhaustiveDecomposition* ?INT Class))
| |

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

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

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