# AtTimeLink

From OpenCog

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

# Format

AtTimeLinkA T

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

AtTimeLinkA T D

where D is a TimeDomainNode.

# Semantics

AtTimeLinkA T

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

AtTimeLinkA TimeIntervalLink TimeNode t1 TimeNode t2

is equivalent to

OrLinkAtTimeLinkA TimeNode t1 ...AtTimeLinkA TimeNode t2 - 1

For more details, see Temporal Reasoning.