Class Time-Point

Subclass-Of: Individual
Superclass-Of: Calendar-Date, Calendar-Year, Universal-Time-Spec
Instance-Of: Class, Relation, Set
Domain-Of:
Day-Of, Minutes-Of, Month-Of, Seconds-Of, Year-Of ...
Range-Of: End-Time-Of, Start-Time-Of
Arity: 1
Documentation:
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.


Slots:

Day-Name-Of:
Day-Of:
Hour-Of:
Minute-Of:
Minutes-Of:
Month-Name-Of:
Month-Of:
Second-Of:
Seconds-Of:
Unit-Of:
Year-Of:

Implication Axioms mentioning Time-Point:

(=> (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)))