DAML-Time Ontology SUMO ------------------------ ---- temporal-entity &%TimePosition instant &%TimePoint interval &%TimeInterval beginning-of &%BeginFn end-of &%EndFn inside &%temporalPart begins-or-in &%temporalPart time-between &%TimeIntervalFn proper-interval &%TimeInterval (note that the SUMO does not distinguish between intervals and proper-intervals) before &%before, &%earlier after inverses of &%before, &%earlier *NegInf* &%NegativeInfinity *PosInf* &%PositiveInfinity int-equals &%equal int-before &%earlier int-after inverse of &%earlier int-meets &%meetsTemporally int-met-by inverse of &%meetsTemporally int-overlaps Can be defined in terms of &%earlier, &%EndFn, and &%BeginFn int-overlapped-by Can be defined in terms of &%earlier, &%EndFn, and &%BeginFn int-starts &%starts int-started-by inverse of &%starts int-during &%during int-contains inverse of &%during int-finishes &%finishes int-finished-by inverse of &%finishes starts-or-during Can be defined in terms of &%starts and &%during nonoverlap Can be defined in terms of &%earlier and &%meetsTemporally at-time &%time (if the "eventuality" is an event or process) &%holdsDuring (if the "eventuality" is a proposition or state of affairs) time-span-of &%WhenFn duration &%duration seconds &%SecondDuration minutes &%MinuteDuration hours &%HourDuration days &%DayDuration weeks &%WeekDuration months &%MonthDuration years &%YearDuration temporal-unit &%TimeDuration concatenation &%TemporalCompositionFn Hath &%CardinalityFn second &%Second minute &%Minute hour &%Hour day &%Day week &%Week month No mapping (because months do not have a fixed duration) year &%Year secFn &%SecondFn sec &%SecondFn minitFn &%MinuteFn minit &%MinuteFn hrFn &%HourFn hr &%HourFn daFn &%DayFn da &%DayFn monFn &%MonthFn mon &%MonthFn yrFn &%YearFn yr &%YearFn clock-int &%SecondFn, &%MinuteFn, &%HourFn cal-int &%DayFn, &%MonthFn, &%YearFn CE &%RelativeTimeFn hr12 No equivalent, because time is expressed as "military time" in the SUMO. *am* No equivalent, because time is expressed as "military time" in the SUMO. *pm* No equivalent, because time is expressed as "military time" in the SUMO. dayofweek &%Day dayofweekFn &%Day Sunday &%Sunday Monday &%Monday Tuesday &%Tuesday Wednesday &%Wednesday Thursday &%Thursday Friday &%Friday Saturday &%Saturday weekendday &%Saturday, &%Sunday January &%January February &%February March &%March April &%April May &%May June &%June July &%July August &%August September &%September October &%October November &%November December &%December leap-year &%LeapYear time-of &%instance (since positions of clock/calendar time are represented as classes).