Knowledge Systems Laboratory, Stanford
University
6
Location of Time Points
uFunction Location-Of
„Amount of time
from “point zero” to the time-point
„Value is a time
quantity (i.e., a duration)
„Point zero
assumed to be midnight Jan 1, 1900
Midnight-January-1-1900
Instance-Of: Time-Point
Location-Of: Time-Instant
Time-Instant
Instance-Of: Time-Quantity
(=> (Time-Unit ?u)
(Quantity-Magnitude Time-Instant ?u 0))