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.