Knowledge Systems Laboratory, Stanford
University
20
Full Definition of Before
(=> (Time-Point ?i) (Time-Point ?j)
(<=> (Before ?i ?j)
(or (and
(Granularity-Of ?i Infinitely-Fine-Granularity)
(Granularity-Of ?j Infinitely-Fine-Granularity)
(< (Location-Of ?i) (Location-Of ?j)))
(and (Granularity-Of ?i
Infinitely-Fine-Granularity)
(Granularity-Of ?j ?gran-j)
(< (Location-Of ?i)
(The-Quantity (LINLT (Quantity-Magnitude (Location-Of ?j)
(Time-Unit-Of ?gran-j)))
(Time-Unit-Of ?gran-j))))
...
(and (Granularity-Of ?i ?gran-i) (Granularity-Of ?j ?gran-j)
(< (The-Quantity (SINLT
(Quantity-Magnitude (Location-Of
?i)
(Time-Unit-Of ?gran-i)))
(Time-Unit-Of ?gran-i))
(The-Quantity (LINLT (Quantity-Magnitude (Location-Of ?j)
(Time-Unit-Of ?gran-j)))
(Time-Unit-Of ?gran-j)))))))