Function TP+


Slots on this function:

Documentation:
A difference between tow time points ?tp1 and ?tp2 is a

duration ?duration.

Arity: 3

Axioms:

(Nth-Domain Tp+ 3 Time-Point)

(Nth-Domain Tp+ 2 Duration)

(Nth-Domain Tp+ 1 Time-Point)