Class TIME-QUANTITY

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

Slots on this class:

Documentation:

A time-quantity is a scalar quantity whose dimension is time-dimension. Conceptually, a time-quantity is an amount [duration] of time. It is constant quantity, not a function or an interval. Like all constant-quantities, its magnitude is given in terms of units of measure. For example, the products of all real numbers and a unit like second-of-time are time quantities.

Instance-Of: Class

Subclass-Of: Scalar-quantity

Superclass-Of:

(Exact-Domain ?X)

---

Slots on instances of this class:

Quantity.Dimension: Time-dimension

Equivalence Axioms:

(<=> (Time-Quantity ?T)
     (And (Scalar-Quantity ?T)
          (= (Quantity.Dimension ?T) Time-Dimension)))

Axioms:

(Scalar-Quantity ?T)

Other Related Axioms:

(<= (Quantity.Dimension $X Time-Dimension) (Time-Quantity $X))

(<=> (Time-Quantity ?T)
     (And (Scalar-Quantity ?T)
          (= (Quantity.Dimension ?T) Time-Dimension)))

(<= (Time-Quantity $X) Nil)

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