Function TIME-VALUE

The value of a time point, with a specified time line (the time of happening, absolute).
Arity: 2
Range: Value-filler
Subrelation-Of: Value
Axioms:
(=> (Time-Value ?A ?B)
    (Exists (?U)
            (And (Time-Unit ?U)
                 (Exists (?C)
                         (And (The-Time-Unit ?A ?C) (Identity ?C ?U))))))