Class JAT-TIME-RANGE

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

Slots on this class:

Documentation:

JAT-TIME-RANGE denotes a time range which is referred to in the job assignment task.

Instance-Of: Class

Subclass-Of: Target, Time-range

Range-Of: Assigned-time-range

Other Related Axioms:

(=> (Assigned-Time-Range $X $Y) (Jat-Time-Range $Y))