Relation sumo#day_fn__dayfn (?,?)
  type:  pm#binary_function_type  class of functions requiring two arguments
  type:  pm#temporal_relation_type  the class of temporal relations, e.g., notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension
  supertype:  pm#temporal_relation (?,?)
     supertype:  pm#relation_playing_a_special_role (*)  this type permits to categorize relations according to their roles ; this is a traditional but quite subjective way of categorizing relations
        supertype:  pm#relation__related_thing__relatedthing___related_with (*)  type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type
     supertype:  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 
           supertype:  pm#relation__related_thing__relatedthing___related_with (*)  type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type


Simple category search: