Class TEMPORAL-MEASURE

• Defined in theory: Jat-generic
• Source code: job-assignment-generic.lisp

Slots on this class:

Documentation:

TEMPORAL-MEASURE denotes a measure of a length of a temporal interval.

Instance-Of: Class

All-Instances: {

Day, Hour, Minute, Month, Second, Year}

Has-Instance:

Day, Hour, Minute, Month, Second, Year

Range-Of: Duration.measure

Other Related Axioms:

(=> (Duration.Measure $X $Y) (Temporal-Measure $Y))