AtTimePredicateLink

From OpenCog
Jump to: navigation, search

AtTimePredicateLink is the associated predicate of an AtTimeConceptLink. Not implemented at the moment.


Format

AtTimePredicateLink
   T

where T is either a TimeNode or a TimeIntervalLink.

Semantics

AtTimePredicateLink
   T

is equivalent to

LambdaLink
   VariableNode "$X"
   AtTimeLink
      T
      VariableNode "$X"

Related