Class TEMPORALLY-FIXED-JOB-CLASS

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

Slots on this class:

Documentation:

TEMPORALLY-FIXED-JOB-CLASS denotes a job whose assignment to a time range is predefined.

Instance-Of: Class

Subclass-Of: Class

Inherited-Slot-Value: Job

---

Slots on instances of this class:

Subclass-Of: Job

Equivalence Axioms:

(<=> (Temporally-Fixed-Job-Class ?Class)
     (And (Class ?Class)
          (Subclass-Of ?Class Job)
          (Slot-Cardinality ?Class Assigned-Time-Range 1)))

Axioms:

(Slot-Cardinality ?Class Assigned-Time-Range 1)

(Class ?Class)

Other Related Axioms:

(<= (Subclass-Of $X Job) (Temporally-Fixed-Job-Class $X))

(<=> (Temporally-Fixed-Job-Class ?Class)
     (And (Class ?Class)
          (Subclass-Of ?Class Job)
          (Slot-Cardinality ?Class Assigned-Time-Range 1)))