Relation pm#when_relation (?,?)
  supertype:  pm#wh-/how_relation  this type permits to categorize relations according to the usual who/what/why/where/when/how questions ; this is a traditional but very subjective and ineffective way of categorizing relations 
  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:  pm#relation_from_situation_to_situation (pm#situation,pm#situation)
     subtype:  pm#later_situation__latersituation (pm#situation,pm#situation)
        subtype:  pm#next_situation (pm#situation -> pm#situation)
           subtype:  pm#successor (pm#situation -> pm#situation)
        subtype:  pm#ending_situation__termination (pm#situation -> pm#situation)
        subtype:  pm#postcondition (pm#process,pm#situation)
        subtype:  pm#consequence (pm#situation,pm#situation)  see also rst#effect
     subtype:  pm#before_situation (pm#situation,pm#situation)  in WebKB, do not use these relations, use their inverses
        subtype:  pm#previous_situation (pm#situation -> pm#situation)
        subtype:  pm#beginning_situation__beginningsituation (pm#situation -> pm#situation)
        subtype:  pm#precondition (pm#process,pm#situation)
        subtype:  pm#cause (pm#situation,pm#situation)  see also rst#cause
           subtype:  sumo#causes (sumo#process,sumo#process)  the process in the 1st argument brings about the process in the 2nd argument
  subtype:  pm#temporal_relation (?,?)
     subtype:  pm#relation_from_time_to_situation (pm#time_measure,pm#situation)
     subtype:  pm#relation_to_time (*,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