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