Relation 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
  subtype:  asymmetric_relation  partial_ordering_relation  different  partly_located
  type:  antisymmetric_relation_type  when for distinct ?INST1 and ?INST2, (?REL ?INST1 ?INST2) implies not (?REL ?INST2 ?INST1), that is, for all ?INST1 and ?INST2, (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST1) imply that ?INST1 and ?INST2 are identical; it is possible for an antisymmetric relation to be a reflexive relation
  supertype:  binary_relation_with_particular_mathematical_property (?,?)
     supertype:  relation_with_particular_mathematical_property (*)
        supertype:  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:  relation__related_thing__relatedthing___related_with  type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type