pm#total_valued_relation_type when there exists an assignment for the last argument position of the relation given any assignment of values to every argument position except the last one; note that declaring a relation to be both a total_valued_relation and a single_valued_relation means that it is a total function
closed_exclusion: pm#partial_valued_relation_type
instance: sumo#power_set_fn sumo#probability_fn sumo#list_fn sumo#list_length_fn sumo#list_concatenate_fn sumo#where_fn sumo#property_fn sumo#multiplication_fn sumo#addition_fn sumo#subtraction_fn sumo#absolute_value_fn sumo#ceiling_fn sumo#cosine_fn sumo#denominator_fn sumo#exponentiation_fn sumo#floor_fn sumo#imaginary_part_fn sumo#max_fn sumo#min_fn sumo#numerator_fn sumo#reciprocal_fn sumo#round_fn sumo#signum_fn sumo#sine_fn sumo#tangent_fn sumo#successor_fn sumo#predecessor_fn sumo#union_fn sumo#intersection_fn sumo#relative_complement_fn sumo#complement_fn sumo#generalized_union_fn sumo#generalized_intersection_fn sumo#cardinality_fn sumo#measure_fn sumo#kilo_fn sumo#mega_fn sumo#giga_fn sumo#tera_fn sumo#milli_fn sumo#micro_fn sumo#nano_fn sumo#pico_fn sumo#per_fn sumo#density_fn sumo#speed_fn sumo#velocity_fn sumo#duration sumo#begin_fn sumo#end_fn sumo#when_fn sumo#past_fn sumo#immediate_past_fn sumo#future_fn sumo#immediate_future_fn sumo#mereological_sum_fn sumo#mereological_product_fn sumo#mereological_difference_fn sumo#hole_host_fn sumo#hole_skin_fn sumo#transaction_amount sumo#premise sumo#conclusion sumo#relative_time_fn sumo#angular_measure sumo#line_measure sumo#geometric_distance
equal: sumo#total_valued_relation (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#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
No statement uses or specializes pm#total_valued_relation_type; click here to add one.