TimeIntervalLink

From OpenCog
Jump to: navigation, search

The TimeIntervalLink is a link type used to represent temporal intervals. It is derived from the IntervalLink

It is typically used by AtTimeLink similarly to how TimeNode is used, as well as in PredictiveImplicationLink and so on.

Format

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.

See Also