Class TIME-DEPENDENT-QUANTITY

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

Slots on this class:

Documentation:

A unary scalar function of continuous time. Maps a time-quantity into another scalar quantity such as a temperature. For example, a quantity that denotes 'the temperature of the top of the Empire State Building' is a time-dependent-quantity since its value depends on the time.

Instance-Of: Class

Subclass-Of: Continuous, Unary-scalar-function-quantity

Equivalence Axioms:

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

Axioms:

(Subclass-Of (Exact-Domain ?X) Time-Quantity)

(Continuous ?X)

(Unary-Scalar-Function-Quantity ?X)

Other Related Axioms:

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

(<- (D/Dt ?Q) (If (Time-Dependent-Quantity ?Q) (Deriv ?Q)))