Knowledge Systems Laboratory, Stanford University
9
Class Frame Time-Interval
uTime-Interval
u Instance-Of: Class
u *Starting-Point:
u Value-Type: Time-Point
u Slot-Cardinality: 1
u *Ending-Point:
u Value-Type: Time-Point
u Slot-Cardinality: 1
u----------------------------------------------------------------------------
u(=> (Time-Interval ?i)
u      (and (Before (Starting-Point ?i) (Ending-Point ?i))
u               (=> (Time-Point ?p)
u                     (and (=> (Before ?p (Starting-Point ?i))
u                                    (not (Point-In-Interval ?p ?i)))
u                              (=> (Before (Ending-Point ?i) ?p)
u                                    (not (Point-In-Interval ?p ?i)))))))