Relation MEASURED-BY

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

Slots on this relation:

Documentation:

A time point ?tp can be measured by a unit of duration ?unit.

Instance-Of: Relation

Arity: 2

Domain: Time-point

Range: Duration

Other Related Axioms:

(Forall (?I)
        (=> (Instance-Of ?I ?Class)
            (And (Measured-By (Time-Range.Start-Time ?I)
                              (Time-Range-Unit ?Class))
                 (Measured-By (Time-Range.End-Time ?I)
                              (Time-Range-Unit ?Class)))))

(<=> (Discrete-Time-Range-Class ?Class)
     (And (Class ?Class)
          (Value-Cardinality ?Class Time-Range-Unit 1)
          (Forall (?I)
                  (=> (Instance-Of ?I ?Class)
                      (And (Measured-By (Time-Range.Start-Time ?I)
                                        (Time-Range-Unit ?Class))
                           (Measured-By (Time-Range.End-Time ?I)
                                        (Time-Range-Unit ?Class)))))))

(=> (Measured-By $X $Y) (Duration $Y))

(=> (Measured-By $X $Y) (Time-Point $X))