Class TIME-POINT

• Defined in theory: Jat-generic
• Source code: job-assignment-generic.lisp

Slots on this class:

Documentation:

TIME denotes a cetain point of time. It consists of year, month, day, hour, minute, second, and a unit of time. Any details smaller than a unit of a time are not defined. For example, if a unit of time is 2 hour, values of time-minute and time-second are meaningless.

Instance-Of: Class

Subclass-Of: Individual

Domain-Of:

Time-point.day, Time-point.day-name, Time-point.hour, Time-point.minute, Time-point.month, Time-point.month-name, Time-point.second, Time-point.unit, Time-point.year

Range-Of: Time-range.end-time, Time-range.start-time

Other Related Axioms:

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

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

(=> (Time-Point.Year $X $Y) (Time-Point $X))

(=> (Time-Point.Month $X $Y) (Time-Point $X))

(=> (Time-Point.Month-Name $X $Y) (Time-Point $X))

(=> (Time-Point.Day $X $Y) (Time-Point $X))

(=> (Time-Point.Day-Name $X $Y) (Time-Point $X))

(=> (Time-Point.Hour $X $Y) (Time-Point $X))

(=> (Time-Point.Minute $X $Y) (Time-Point $X))

(=> (Time-Point.Second $X $Y) (Time-Point $X))

(=> (Time-Point.Unit $X $Y) (Time-Point $X))

(Nth-Domain Tp+ 3 Time-Point)

(Nth-Domain Tp+ 1 Time-Point)