A time-point is a point in real, historical time (on earth). It is independent of observer and context. A time-point is not a measurement of time, nor is it a specification of time. It is the point in time. The time-points at which events occur can be known with various degrees of precision and approximation, but conceptually time-points are point-like and not interval-like. That is, it doesn't make sense to talk about what happens during a time-point, or how long the time-point lasts.
(=> (Equals ?Time-Point-1 ?Time-Point-2) (=> (And (Time-Point ?Time-Point-1) (Time-Point ?Time-Point-2)) (<=> (Equals ?Time-Point-1 ?Time-Point-2) (And (= (Year-Of ?Time-Point-1) (Year-Of ?Time-Point-2)) (= (Month-Of ?Time-Point-1) (Month-Of ?Time-Point-2)) (= (Day-Of ?Time-Point-1) (Day-Of ?Time-Point-2)) (= (Hour-Of ?Time-Point-1) (Hour-Of ?Time-Point-2)) (= (Minute-Of ?Time-Point-1) (Minute-Of ?Time-Point-2)) (= (Second-Of ?Time-Point-1) (Second-Of ?Time-Point-2)))))) (=> (< ?Time-Point-1 ?Time-Point-2) (=> (And (Time-Point ?Time-Point-1) (Time-Point ?Time-Point-2)) (<=> (< ?Time-Point-1 ?Time-Point-2) (Or (< (Year-Of ?Time-Point-1) (Year-Of ?Time-Point-2)) (And (= (Year-Of ?Time-Point-1) (Year-Of ?Time-Point-2)) (Or (< (Month-Of ?Time-Point-1) (Month-Of ?Time-Point-2)) (And (= (Month-Of ?Time-Point-1) (Month-Of ?Time-Point-2)) (Or (< (Day-Of ?Time-Point-1) (Day-Of ?Time-Point-2)) (And (= (Day-Of ?Time-Point-1) (Day-Of ?Time-Point-2)) (Or (< (Hour-Of ?Time-Point-1) (Hour-Of ?Time-Point-2)) (And (= (Hour-Of ?Time-Point-1) (Hour-Of ?Time-Point-2)) (Or (< (Minute-Of ?Time-Point-1) (Minute-Of ?Time-Point-2)) (And (= (Minute-Of ?Time-Point-1) (Minute-Of ?Time-Point-2)) (< (Second-Of ?Time-Point-1) (Second-Of ?Time-Point-2))))))))))))))) (=> (> ?Time-Point-1 ?Time-Point-2) (=> (And (Time-Point ?Time-Point-1) (Time-Point ?Time-Point-2)) (<=> (> ?Time-Point-1 ?Time-Point-2) (< ?Time-Point-2 ?Time-Point-1)))) (=> (+ ?Time-Range-1 ?Duration) (=> (And (Time-Point ?Time-Range-1) (Duration ?Duration)) (=> (= (+ ?Time-Point-1 ?Duration) ?Time-Point-2) (And (Time-Point ?Time-Point-1) (Duration ?Duration) (Time-Point ?Time-Point-2))))) (=> (= (Creation-Date@Interface-Ontology ?Frame) ?Date) (Or (Time-Point ?Date) (String ?Date)))