pm#symmetric_relation_type  when (?REL ?INST1 ?INST2) implies (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2
  supertype:  pm#binary_relation_type  all binary relation types are instance of that object  instance:  pm#symmetric_relation__symmetricrelation (?,?)  this category only serves structuration purposes: it is instance of pm#symmetric_relation_type which is not instance of pm#class_of_inheritable_relation_type
     subtype:  pm#equivalence_relation__equivalencerelation (?,?)  this category only serves structuration purposes: it is instance of pm#equivalence_relation_type which is not instance of pm#class_of_inheritable_relation_type
        subtype:  pm#similar (?,?)  DO NOT USE SUCH A RELATION TYPE DIRECTLY
           subtype:  pm#closely_similar__closelysimilar (?,?)  the '~' link in WebKB-2: currently only used between categories for Greek gods and their Roman counterparts, and between some types from the 3D (endurantist) approach and their counterparts from the 4D (perdurantist) approach or the ?D (vague/unspecified) approach)
           subtype:  pm#loosely_similar__looselysimilar (?,?)
           subtype:  pm#related_to__relatedto (?,?)  the '&' link in WebKB-2 (currently used for representing a sumo#related_internal_concept relation)
              subtype:  sumo#related_internal_concept (?,?)  the two arguments are related concepts within the SUMO, i.e. there is a significant similarity of meaning between them; to indicate a meaning relation between a SUMO concept and a concept from another source, use sumo#related_external_concept
        subtype:  pm#equal (?,?)  "=" in KIF; true if the 1st argument is identical to the 2nd
           subtype:  owl#same_as (?,?)  MORE PRECISE TYPES THAN THIS ONE SHOULD BE USED
              subtype:  pm#same_type_as (pm#type,pm#type)
                 subtype:  owl#equivalent_class (rdfs#class,rdfs#class)  in WebKB, use the link '='
                 subtype:  owl#equivalent_property (pm#binary_relation_type,pm#binary_relation_type)  in WebKB, use the link '='
              subtype:  owl#same_individual_as (?,?)
        subtype:  pm#equivalence__equivalentTo___iff__iff (pm#description,pm#description)
        subtype:  sumo#copy (sumo#object,sumo#object)  relates an object to an exact copy of the object, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/or temporal location
        subtype:  sumo#equivalent_content_class (?,?)
        subtype:  sumo#equivalent_content_instance (?,?)
        subtype:  sumo#cooccur (?,?)
        subtype:  sumo#family_relation (?,?)
     subtype:  pm#different__different_from__differentfrom (?,?)
        subtype:  owl#different_from__differentfrom (?,?)
        subtype:  pm#exclusive_class__exclusiveclas (rdfs#class,rdfs#class)  the 2 classes have no common subtype/instance; in WebKB, use the link '!'
           subtype:  pm#complement_class (rdfs#class -> rdfs#class)  if something is not in one of the classes, then it is in the other, and vice versa; in WebKB, use the link '/'
     subtype:  sumo#independent_probability__independentprobability (sumo#formula,sumo#formula)  the probabilities of the formulas being true are independent
     subtype:  sumo#overlaps_temporally (?,?)
     subtype:  sumo#connected (sumo#object,*)
     subtype:  sumo#meets_spatially__meetsspatially (?,?)
     subtype:  sumo#overlaps_spatially (?,?)
     subtype:  sumo#overlaps_partially (?,?)
     subtype:  sumo#connected_engineering_components (?,?)
     subtype:  sumo#sibling (?,?)
     subtype:  sumo#legal_relation__legalrelation (?,?)
     subtype:  sumo#spouse (?,?)
     subtype:  sumo#consistent (?,?)

  instance:  pm#inverse  sumo#independent_probability  sumo#overlaps_temporally  sumo#connected  sumo#meets_spatially  sumo#overlaps_spatially  sumo#overlaps_partially  sumo#connected_engineering_components  sumo#sibling  sumo#legal_relation  sumo#spouse  sumo#consistent
  equal:  owl#symmetric_property (pm)  sumo#symmetric_relation (pm)
  subtype:  pm#equivalence_relation_type  binary_relation that is reflexive, symmetric and transitive
     instance:  pm#equivalence_binary_relation
     instance:  pm#equal (?,?)  "=" in KIF; true if the 1st argument is identical to the 2nd
     instance:  sumo#copy  sumo#equivalent_content_class  sumo#equivalent_content_instance  sumo#cooccur  sumo#family_relation

No statement uses or specializes pm#symmetric_relation_type; click here to add one.