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