pm#binary_predicate_type  the class of predicates relating two items - its valence is two
  subtype:  pm#case_relation_type  the class of predicates relating the spatially distinguished parts of a process. e.g., the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain
  instance:  sumo#instance  pm#inverse  sumo#subclass  sumo#subrelation  pm#equal  sumo#range  sumo#range_subclass  sumo#valence  sumo#documentation  sumo#disjoint  sumo#related_internal_concept  sumo#sub_attribute  sumo#successor_attribute  sumo#successor_attribute_closure  sumo#entails  sumo#material  sumo#sub_collection  sumo#contains_information  sumo#leader  sumo#property  sumo#less_than  sumo#greater_than  sumo#less_than_or_equal_to  sumo#greater_than_or_equal_to  sumo#increases_likelihood  sumo#decreases_likelihood  sumo#independent_probability  sumo#in_scope_of_interest  sumo#in_list  sumo#sub_list  sumo#initial_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#distributes  sumo#causes  sumo#causes_subclass  sumo#copy  sumo#time  sumo#holds_during  sumo#exploits  sumo#has_purpose  sumo#has_skill  sumo#partly_located  sumo#traverses  sumo#possesses  sumo#precondition  sumo#inhibits  sumo#prevents  sumo#refers  sumo#subsumes_content_class  sumo#subsumes_content_instance  sumo#expressed_in_language  sumo#sub_proposition  sumo#uses  sumo#identity_element  sumo#element  sumo#measure  sumo#larger  sumo#smaller  sumo#duration  sumo#frequency  sumo#temporal_part  sumo#before_or_equal  sumo#overlaps_temporally  sumo#meets_temporally  sumo#earlier  sumo#cooccur  sumo#date  sumo#connected  sumo#hole  sumo#sub_process  sumo#transaction_amount  sumo#geographic_subregion  sumo#developmental_form  sumo#inhabits  sumo#authors  sumo#editor  sumo#publishes  sumo#version  sumo#wears  sumo#family_relation  sumo#parent  sumo#sibling  sumo#legal_relation  sumo#employs  sumo#citizen  sumo#premise  sumo#conclusion  sumo#consistent  sumo#faces  sumo#modal_attribute  sumo#geometric_part  sumo#parallel  sumo#angular_measure  sumo#line_measure
  equal:  sumo#binary_predicate (pm)
  type:  pm#class_of_inheritable_relation_type  each instance RT of this class is a subclass of the 2nd-order_type pm#relation_type and the properties of RT can be inherited downward in the class hierarchy via the "subrelation" predicate
  supertype:  pm#predicate_type__predicatetype  a sentence-forming relation with each tuple being a finite, ordered sequence of objects
     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#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

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