# AtTimeLink

From OpenCog

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

# Format

AtTimeLink A 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

AtTimeLink A T D

where D is a TimeDomainNode.

# Semantics

AtTimeLink A 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

AtTimeLink A TimeIntervalLink TimeNode t1 TimeNode t2

is equivalent to

OrLink AtTimeLink A TimeNode t1 ... AtTimeLink A TimeNode t2 - 1

For more details, see Temporal Reasoning.