Relation pm#temporal_relation (?,?)
  exclusion:  pm#attributive_relation  pm#mereological_relation  pm#intentional_relation  pm#object_relation  pm#relation_to_time  pm#relation_from_situation_to_situation
  supertype:  pm#relation_playing_a_special_role  pm#when_relation
  instance of:  pm#temporal_relation_type
  subtype:  pm#relation_from_time_to_situation (pm#time_measure,pm#situation)
  subtype:  pm#relation_to_time (*,pm#time_measure)
     subtype:  pm#relation_from_situation_to_time (pm#situation,pm#time_measure)
        subtype:  pm#time (pm#situation,pm#time_measure)
           subtype:  pm#date (pm#situation -> pm#time_measure)
        subtype:  pm#duration (pm#situation -> pm#time_measure)
        subtype:  pm#from_time (pm#situation -> pm#time_measure)
           subtype:  pm#departure_time__departuretime (pm#process -> pm#time_measure)
        subtype:  pm#until_time__untiltime__to_time (pm#situation -> pm#time_measure)
           subtype:  pm#arrival_time__arrivaltime (pm#process -> pm#time_measure)
        subtype:  pm#before_time (pm#situation,pm#time_measure)
     subtype:  pm#relation_from_time_to_time (pm#time_measure,pm#time_measure)
        subtype:  pm#near_time (pm#time_measure,pm#time_measure)
        subtype:  pm#before (pm#time_measure,pm#time_measure)
        subtype:  pm#after (pm#time_measure,pm#time_measure)
     subtype:  pm#relation_from_physical_entity_to_time (pm#physical_entity -> pm#time_measure)
        subtype:  pm#check-in__checkin (pm#physical_entity -> pm#time_measure)
        subtype:  pm#check-out__checkout (pm#physical_entity -> pm#time_measure)
     subtype:  pm#creation_date (*,pm#time_measure)
        subtype:  pm#first_release__firstrelease (*,pm#time_measure)
  subtype:  akts#temporal_relation (?,?)
     subtype:  akts#temporal_relation_from_time_point (sumo#time_point,sumo#nonnegative_integer)
        subtype:  akts#second-of (sumo#time_point,sumo#nonnegative_integer)
        subtype:  akts#minute-of (sumo#time_point,sumo#nonnegative_integer)
        subtype:  akts#hour-of (sumo#time_point,sumo#nonnegative_integer)
        subtype:  akts#day-of__dayof (sumo#time_point,sumo#nonnegative_integer)
        subtype:  akts#month-of__monthof (sumo#time_point,sumo#nonnegative_integer)
        subtype:  akts#year-of (sumo#time_point,sumo#nonnegative_integer)
     subtype:  akts#temporal_relation_from_time_interval (sumo#time_interval,dl#temporal_region)
        subtype:  akts#begins-at-time-point (sumo#time_interval,sumo#time_point)
        subtype:  akts#ends-at-time-point (sumo#time_interval,sumo#time_point)
        subtype:  akts#has-duration__hasduration (sumo#time_interval,sumo#time_duration)
     subtype:  akts#has-time-interval (cyc#temporal_thing,sumo#time_interval)
     subtype:  akts#in-timezone (sumo#time_position,sumo#integer)
  subtype:  sumo#time (sumo#physical,sumo#time_position)  means that temporal lifespan of the 1st argument includes the time_position in the 2nd argument, i.e. the 1st argument existed or occurred at that time_position; sumo#time does for instances of physical what sumo#holds_during does for instances of sumo#formula; sumo#located and sumo#time are the basic spatial and temporal predicates, respectively
  subtype:  sumo#temporal_part (?,?)
  subtype:  sumo#begin_fn__beginfn (?,?)
  subtype:  sumo#end_fn__endfn (?,?)
  subtype:  sumo#starts (?,?)
  subtype:  sumo#finishes (?,?)
  subtype:  sumo#before (?,?)
  subtype:  sumo#before_or_equal (?,?)
  subtype:  sumo#temporally_between (?,?)
  subtype:  sumo#temporally_between_or_equal (?,?)
  subtype:  sumo#overlaps_temporally (?,?)
  subtype:  sumo#meets_temporally__meetstemporally (?,?)
  subtype:  sumo#earlier (?,?)
  subtype:  sumo#cooccur (?,?)
  subtype:  sumo#time_interval_fn (?,?)
  subtype:  sumo#recurrent_time_interval_fn (?,?)
  subtype:  sumo#when_fn (sumo#physical -> sumo#time_interval)  maps an object or process ?p to the exact time_interval during which it exists (for every time_point ?t outside of the time_interval, (time ?p ?t) does not hold
  subtype:  sumo#past_fn (?,?)
  subtype:  sumo#immediate_past_fn (?,?)
  subtype:  sumo#future_fn (?,?)
  subtype:  sumo#immediate_future_fn (?,?)
  subtype:  sumo#year_fn (?,?)
  subtype:  sumo#month_fn__monthfn (?,?)
  subtype:  sumo#day_fn__dayfn (?,?)
  subtype:  sumo#hour_fn (?,?)
  subtype:  sumo#minute_fn (?,?)
  subtype:  sumo#second_fn (?,?)
  subtype:  sumo#temporal_composition_fn (?,?)
  subtype:  sumo#relative_time_fn (?,?)
  subtype:  sumo#holds_during__holdsduring (sumo#time_position,sumo#formula)  means that the proposition denoted by is true at (every temporal_part of) the time_position