Relation pm#asymmetric_relation (?,?)  this category only serves structuration purposes: it is instance of pm#asymmetric_relation_type which is not instance of pm#class_of_inheritable_relation_type
  subtype:  sumo#immediate_instance  sumo#immediate_subclass  sumo#range  sumo#range_subclass  sumo#valence  sumo#documentation  sumo#successor_attribute  sumo#front_fn  sumo#back_fn  sumo#proper_part  sumo#contains  sumo#member  sumo#contains_information {sumo#leader sumo#exploits sumo#has_purpose} {sumo#attribute sumo#manner} (sumo)  sumo#probability_fn  sumo#in_list  sumo#closed_on  sumo#reflexive_on  sumo#irreflexive_on  sumo#partial_ordering_on  sumo#total_ordering_on  sumo#trichotomizing_on  sumo#equivalence_relation_on  sumo#causes  sumo#causes_subclass  sumo#time  sumo#holds_during  sumo#has_skill  sumo#crosses  sumo#penetrates  sumo#possesses  sumo#precondition  sumo#realization  sumo#expressed_in_language  sumo#uses  sumo#identity_element  sumo#element  sumo#cardinality_fn  sumo#measure  sumo#duration  sumo#frequency  sumo#meets_temporally  sumo#date  sumo#surface  sumo#interior_part  sumo#hole  sumo#hole_host_fn  sumo#partially_fills  sumo#properly_fills  sumo#completely_fills  sumo#fills  sumo#hole_skin_fn  sumo#geographic_subregion  sumo#geopolitical_subdivision  sumo#developmental_form  sumo#inhabits  sumo#authors  sumo#editor  sumo#publishes  sumo#version  sumo#parent  sumo#husband  sumo#wife  sumo#citizen  sumo#modal_attribute
  type:  pm#asymmetric_relation_type  an antisymmetric and irreflexive relation
  supertype:  pm#irreflexive_relation__irreflexiverelation (?,?)  this category only serves structuration purposes: it is instance of pm#irreflexive_relation_type which is not instance of pm#class_of_inheritable_relation_type
     supertype:  pm#binary_relation_with_particular_mathematical_property (?,?)
        supertype:  pm#relation_with_particular_mathematical_property (*)
           supertype:  pm#relation_with_particular_property (*)  this rather fuzzy type permits to group categorization schemes less common than those covered by the previous sibling categories
              >part of:  pm#relation__related_thing__relatedthing___related_with  type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type
  supertype:  pm#antisymmetric_relation__antisymmetricrelation (?,?)  this category only serves structuration purposes: it is instance of pm#antisymmetric_relation_type which is not instance of pm#class_of_inheritable_relation_type
     supertype:  pm#binary_relation_with_particular_mathematical_property (?,?)