Knowledge Systems Laboratory, Stanford
University
20
Full Definition of Before
(=> (and (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)))))))