The TimeIntervalLink is a link type used to represent temporal intervals. It is derived from the IntervalLink
TimeIntervalLink TimeNode t1 TimeNode t2
where t1 <= t2. Generally you want to have t1 < t2, but it might be possible that the empty interval, t1 = t2, be useful as well.