Knowledge Systems Laboratory, Stanford University
7
Year-Of, Month-Of, Day-Of, etc.
uDerivable from Location-Of
uValue of Year-Of, Hour-Of, Minute-Of, & Second-Of is an integer
„(=> (Time-Point ?p)
„           (= (Year-Of ?p)
„               (+    (LINLT   (Quantity-Magnitude  (Location-Of ?p)  Year-Unit))    1900)))
„(=>  (Time-Point ?p)
„            (=  (Hour-Of ?p)
„                 (Mod    (LINLT   (Quantity-Magnitude  (Location-Of ?p)  Hour-Unit))    24)))
„[Note: LINLT means “Largest Integer Less Than”.]
uValue of Month-Of is a Calendar-Month-Type
„Calendar-Month-Type is a class whose instances are the 12 subclasses of
„ Calendar-Month  (e.g., Calendar-January)
uValue of Day-Of is a Calendar-Day-Type
„Calendar-Day-Type is a class whose 31 instances are classes Calendar-Day-1 through Calendar-Day-31
uValue of Week-Day-Of is a Calendar-Week-Day-Type