Class TIME-RANGE

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

Slots on this class:

Documentation:

TIME-RANGE denotes a certain period of time. It consists of a start time, an end time. A start time must proceed an end time. Relations between TIME-RANGEs are defined after James Allen's interval relations.

Subclass-Of: Individual

Axioms:

(=> (Time-Range ?Time-Range)
    (Tp= (Tp+ (Time-Range.Start-Time ?Time-Range)
              (Time-Range.Duration ?Time-Range))
         (Time-Range.End-Time ?Time-Range)))