Class EVERYWHERE-CONTINUOUS-QUANTITY

• Defined in theory: Cml
• Source code: cml.lisp

Slots on this class:

Instance-Of: Class

Subclass-Of: Piecewise-continuous-quantity

Superclass-Of: Standard-quantity

Other Related Axioms:

(<=> (Standard-Quantity ?X)
     (And (Everywhere-Continuous-Quantity ?X)
          (Value-Type ?X D/Dt Piecewise-Continuous-Quantity)
          (Value-Cardinality ?X D/Dt 1)))

Notes:

• Should restrict the definition to apply to the dense intervals over which ?x is defined.