Knowledge Systems Laboratory, Stanford University
19
Equal-Point
u(<=> (Equal-Point ?i ?j)
u         (or (and (Granularity-Of ?i Infinitely-Fine-Granularity)
>          (Granularity-Of ?j Infinitely-Fine-Granularity)
>          (= (Location-Of ?i) (Location-Of ?j)))
u            (and (Granularity-Of ?i ?gran)
u                       (Granularity-Of ?j ?gran)
u                       (= (LINLT (Quantity-Magnitude (Location-Of ?i)
u                                                                            (Time-Unit-Of ?gran)))
u                           (LINLT (Quantity-Magnitude (Location-Of ?j)
u                                                                            (Time-Unit-Of ?gran)))))))
uTwo time points on two different levels of granularity cannot be said to be equal to each other