pm#asymmetric_relation_type  an antisymmetric and irreflexive relation
  subtype:  pm#case_relation_type  pm#propositional_attitude_relation_type
  instance:  pm#asymmetric_relation  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#probability_fn  sumo#proper_part  sumo#contains  sumo#member  sumo#contains_information  sumo#leader  sumo#attribute  sumo#manner  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#exploits  sumo#has_purpose  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
  equal:  sumo#asymmetric_relation (pm)
  supertype:  pm#irreflexive_relation_type  r is irreflexive if r(?i,?i) holds for no value of ?i
     supertype:  pm#binary_relation_type  all binary relation types are instance of that object
        supertype:  pm#relation_type  there are three kinds of relation(_types): pm#predicate_type, pm#function_type and sumo#list; both predicates and functions denote sets of ordered n-tuples; the difference between these two classes is that predicates cover formula-forming operators, while functions cover term-forming operators; a list, on the other hand, is a particular ordered n-tuple
           supertype:  pm#1st_order_type__1stordertype__type1  all 1st order types are implicitely or explicitely instance of that 2nd-order type
              supertype:  pm#type  second-order type or more
                 supertype:  pm#non_spatial_collection__nonspatialcollection__true_collection  something gathering separated things (entities/situations) and that is not a spatial object
                    supertype:  pm#non_spatial_object_that_is_not_an_attribute_or_quality_or_measure
                       supertype:  pm#non_spatial_object__nonspatialobject  abstraction or description content/medium/container (a description medium that has some spatial feature is both instance of sumo#object and pm#non_spatial_object
                          supertype:  pm#entity  something that can be "involved" in a situation
                             supertype:  pm#thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                          supertype:  cyc#intangible  The collection of things that are not physical -- are not made of, or encoded in, matter. Every cyc#Collection is a cyc#intangible (even if its instances are tangible), and so are some cyc#individuals.  Caution: do not confuse `tangibility' with `perceivability' -- humans can perceive light even though it's intangible--at least in a sense.
                             supertype:  cyc#partially_intangible__partiallyintangible  The collection of things that either are wholly intangible (see cyc#Intangible) or have at least one intangible (i.e. immaterial) part (see cyc#intangibleParts). This includes intangible individuals, such as instances of cyc#Number-General  or cyc#Agreement, as well as non-individuals (all of which are intangible), i.e. instances of cyc#SetOrCollection.  It also includes things that have both tangible and intangible components (see cyc#CompositeTangibleAndIntangibleObject),  such as a printed copy of a newspaper (as its information content is intangible) or a person (as her mental states are intangible).
                                supertype:  pm#thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                    supertype:  pm#collection  something gathering separated things (entities/situations)
                       supertype:  pm#divisible_entity__divisibleentity  many classifications under this category are application-dependant
                          supertype:  pm#entity  something that can be "involved" in a situation
                          supertype:  pm#divisible_thing__divisiblething
                             supertype:  pm#thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                 supertype:  sumo#abstract__entity_without_spatial_feature  e.g., knowledge, motivation, measure; properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium; instances of sumo#abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place or time without some physical encoding or embodiment
                    supertype:  pm#non_spatial_object__nonspatialobject  abstraction or description content/medium/container (a description medium that has some spatial feature is both instance of sumo#object and pm#non_spatial_object
  supertype:  pm#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:  pm#binary_relation_type  all binary relation types are instance of that object

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