pm#binary_function_type  class of functions requiring two arguments
  subtype:  pm#associative_function_type  pm#commutative_function_type
  instance:  pm#binary_function  sumo#list_order_fn  sumo#list_concatenate_fn  sumo#where_fn  sumo#multiplication_fn  sumo#addition_fn  sumo#subtraction_fn  sumo#division_fn  sumo#exponentiation_fn  sumo#log_fn  sumo#max_fn  sumo#min_fn  sumo#remainder_fn  sumo#union_fn  sumo#intersection_fn  sumo#relative_complement_fn  sumo#kappa_fn  sumo#measure_fn  sumo#interval_fn  sumo#per_fn  sumo#time_interval_fn  sumo#recurrent_time_interval_fn  sumo#month_fn  sumo#day_fn  sumo#hour_fn  sumo#minute_fn  sumo#second_fn  sumo#temporal_composition_fn  sumo#mereological_sum_fn  sumo#mereological_product_fn  sumo#mereological_difference_fn  sumo#edition_fn  sumo#series_volume_fn  sumo#periodical_issue_fn  sumo#relative_time_fn
  equal:  sumo#binary_function (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#function_type  term-forming relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element; note that the range is a set_or_class, and each element of the range is an instance of the set_or_class
     supertype:  pm#single_valued_relation_type  when an assignment of values to every argument position except the last one determines at most one assignment for the last argument position; not all single_valued_relations are total_valued_relations
        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#collection  something gathering separated things (entities/situations)
                    supertype:  pm#non_spatial_object_that_is_not_a_description_content/medium/container
                       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#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
                          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#ternary_relation_type  relates three items
     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_function_type; click here to add one.


Simple category search: