Class CONTINUOUS

• Defined in theory: Unary-scalar-functions
• Source code: unary-scalar-functions.lisp

Slots on this class:

Documentation:

Relation defining functions which are continuous. This concept is taken as primitive until representations for limits are generated.

Instance-Of: Class

Subclass-Of: Unary-scalar-function-quantity

Domain-Of: Deriv

Superclass-Of: Time-dependent-quantity

Other Related Axioms:

(=> (Deriv $X $Y) (Continuous $X))

(<=> (Time-Dependent-Quantity ?X)
     (And (Unary-Scalar-Function-Quantity ?X)
          (Continuous ?X)
          (Subclass-Of (Exact-Domain ?X) Time-Quantity)))