Class UNIT-TIME-RANGE-CLASS

• Defined in theory: Job-assignment-task
• Source code: job-assignment-task.lisp

Slots on this class:

Documentation:

UNIT-TIME-RANGE-CLASS deontes a time ragne whose duration is a unit length.

Instance-Of: Class

Subclass-Of: Discrete-time-range-class

Equivalence Axioms:

(<=> (Unit-Time-Range-Class ?Class)
     (And (Discrete-Time-Range-Class ?Class)
          (Forall (?I)
                  (=> (Instance-Of ?I ?Class)
                      (= (Time-Range.Duration ?I)
                         (Time-Range-Unit ?Class))))))

Axioms:

(Forall (?I)
        (=> (Instance-Of ?I ?Class)
            (= (Time-Range.Duration ?I) (Time-Range-Unit ?Class))))

(Discrete-Time-Range-Class ?Class)

Other Related Axioms:

(<=> (Unit-Time-Range-Class ?Class)
     (And (Discrete-Time-Range-Class ?Class)
          (Forall (?I)
                  (=> (Instance-Of ?I ?Class)
                      (= (Time-Range.Duration ?I)
                         (Time-Range-Unit ?Class))))))