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.

Instance-Of: Class

Subclass-Of: Individual

Domain-Of: Time-range.duration, Time-range.end-time, Time-range.start-time

Axioms:

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

Other Related Axioms:

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

(=> (Time-Range.Start-Time $X $Y) (Time-Range $X))

(=> (Time-Range.End-Time $X $Y) (Time-Range $X))

(=> (Time-Range.Duration $X $Y) (Time-Range $X))