$Id: Time.daml,v 1.4 2002/10/07 19:39:48 martin Exp martin $ First cut at DAMLizing the time ontology. TemporalEntity This class includes instants and intervals. A proper interval is not an instant. The domain of this function should be events from the user's event ontology. The domain of this function should be events from the user's event ontology. seconds is a function that applied to a temporal entity tells how many seconds long it is. minutes is a function that applied to a temporal entity tells how many minutes long it is. hours is a function that applied to a temporal entity tells how many hours long it is. days is a function that applied to a temporal entity tells how many days long it is. weeks is a function that applied to a temporal entity tells how many weeks long it is. months is a function that applied to a temporal entity tells how many months long it is. years is a function that applied to a temporal entity tells how many years long it is. A set of proper intervals TemporalDescription This is the class of standard specifications of times relative to a time zone. secondOf is a function that applied to a temporal description of an instant tells what second it is in in some clock minute. minuteOf is a function that applied to a temporal description of an instant tells what minute it is in in some clock hour. hourOf is a function that applied to a temporal description of an instant tells what hour it is in in some calendar day. dayOf is a function that applied to a temporal description of an instant tells what day it is in in some calendar month. monthOf is a function that applied to a temporal description of an instant tells what month it is in in some calendar year. yearOf is a function that applied to a temporal description of an instant tells what month it is in in some calendar year. TimeZone This is the class of time zones. timeZoneOf is a function that applied to a temporal description of an instant tells what time zone is being used to describe the time. secondSlotOf is a function that applied to an interval tells the number of seconds in the interval over and above the number of whole minutes. minuteSlotOf is a function that applied to an interval tells the number of whole minutes in the interval over and above the number of whole hours. hourSlotOf is a function that applied to an interval tells the number of whole hours in the interval over and above the number of whole days. daySlotOf is a function that applied to an interval tells the number of whole days in the interval over and above the number of whole months. monthSlotOf is a function that applied to an interval tells the number of whole months in the interval over and above the number of whole years. yearSlotOf is a function that applied to an interval tells the number of whole years in the interval.