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