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