Knowledge Systems Laboratory, Stanford
University
8
Binary Relations on Time-Points
uBefore,
After, Equal-Point
„Defined
in terms of Location-Of
(=> (and (Time-Point ?i) (Time-Point ?j))
(<=> (Before ?i
?j)
... (<
(Location-Of ?i) (Location-Of ?j)) ... )
(=> (Physical-Quantity ?q1) (Physical-Dimension ?q1 ?d)
(Physical-Quantity ?q2)
(Physical-Dimension ?q2 ?d)
(Unit-Of-Measure ?u)
(Unit-Dimension ?u ?d)
(<=> (< ?q1 ?q2)
(< (Quantity-Magnitude ?q1 ?u)
(Quantity-Magnitude ?q2 ?u))))
uPoint-In-Interval
„Primitive
relation