$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.