# AtTimeLink

From OpenCog

**AtTimeLink** is used to attach timestamps or time intervals to atoms.

# Format

AtTimeLinkT A

where T is a TimeNode or a TimeIntervalLink and A could be any atom type.

Additionally a time domain may be used. The format is as follows

AtTimeLinkT A D

where D is a TimeDomainNode.

# Semantics

AtTimeLinkT A

could be seen as equivalent to

EvaluationLink PredicateNode "AtTime" ListLink A T

where the PredicateNode "AtTime" is specially used to represent timestamps.

In case T is a TimeIntervalLink, then

AtTimeLinkTimeIntervalLink TimeNode t1 TimeNode t2 A

is equivalent to

OrLinkAtTimeLinkTimeNode t1 A ...AtTimeLinkTimeNode t2 - 1 A

For more details, see Temporal Reasoning.