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)))))))