Knowledge Systems Laboratory, Stanford University
13
“A Week in January”
u(and  (Subclass-Of Week-In-January Convex-Time-Interval)
u          (=>  (Week-In-January ?w)
u            (and   (Duration  ?w  (The-Quantity Day 7))
u                       (exists ?j
u                                    (and  (Calendar-January ?j)
u                                             (or  (During ?w ?j)
u                                                    (Costarts ?w ?j)
u                                                    (Cofinishes ?w ?j)))))))