TM + 'Time Understanding'

"time" is first-class citizen (not just vocabulary)

like subclass, isa becomes part of the model

goal: capture validity intervals

      [ - delta, t ]   value valid    [ t, + delta ]

      [ - inf, t ]     constant       [ t, + inf ]

      [ 0, t ]         instant        [ t, 0 ]
	

define temporal relations

before, after, contains, outside, coincide, ...

imprint this on EVERY assertion in the model