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:  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
  instance of:  class_of_inheritable_relation_type
  instance:  valence  leader  unique_identifier  age  width  distance  altitude  depth  monetary_value  date  transaction_amount  mother  father  conclusion  geometric_distance
  equal:  single_valued_relation (pm)
  subtype:  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
     subtype:  continuous_function_type  class of functions which are continuous; this concept is taken as primitive until representations for limits are devised
        subtype:  time_dependent_quantity_type  a unary_constant_function of continuous time; all instances of this class map a time quantity into another constant_quantity such as temperature; for example, 'the temperature at the top of the Empire State Building' is a time_dependent_quantity since its value depends on the time
     subtype:  function_quantity_type  function that maps from one or more instances of constant_quantity to another instance of constant_quantity; for example, the velocity of a particle would be represented by a function_quantity mapping values of time (which are constant_quantities) to values of distance (also constant_quantities); note that all instances of function_quantity are functions with a fixed arity; note too that all elements of the range of a function_quantity have the same physical dimension as the function_quantity itself
        subtype:  unary_constant_function_quantity_type  unary function that maps from sumo#constant_quantity to the same class
           subtype:  time_dependent_quantity_type  a unary_constant_function of continuous time; all instances of this class map a time quantity into another constant_quantity such as temperature; for example, 'the temperature at the top of the Empire State Building' is a time_dependent_quantity since its value depends on the time
        subtype:  calorie
        subtype:  British_thermal_unit
     subtype:  unary_function_type  class of functions requiring a single argument; if R is functional, then if R(x -> y) and P(x -> z) then y=z
        subtype:  unary_constant_function_quantity_type  unary function that maps from sumo#constant_quantity to the same class
        subtype:  one_to_one_function_type  a function F is one to one just in case for all X, Y in the domain of F, if X is not identical to Y, then F(X) is not identical to F(Y)
           subtype:  sequence_function_type  class of one_to_one_functions whose range is a subclass of the positive_integers
        instance:  unary_function__unaryfunction  power_set_fn__powersetfn  front_fn__frontfn  back_fn  abstraction_fn__abstractionfn  extension_fn__extensionfn  probability_fn__probabilityfn  list_length_fn  property_fn  absolute_value_fn  ceiling_fn__ceilingfn  cosine_fn  denominator_fn__denominatorfn  floor_fn__floorfn  imaginary_part_fn  integer_square_root_fn  numerator_fn__numeratorfn  rational_number_fn  real_number_fn  reciprocal_fn  round_fn__roundfn  signum_fn  sine_fn  square_root_fn  tangent_fn__tangentfn  successor_fn__successorfn  predecessor_fn__predecessorfn  complement_fn  generalized_union_fn__generalizedunionfn  generalized_intersection_fn  cardinality_fn__cardinalityfn  kilo_fn  mega_fn  giga_fn  tera_fn  milli_fn__millifn  micro_fn__microfn  nano_fn  pico_fn  magnitude_fn__magnitudefn  wealth_fn  begin_fn__beginfn  end_fn__endfn  when_fn  past_fn  immediate_past_fn  future_fn  immediate_future_fn  year_fn  hole_host_fn  hole_skin_fn  immediate_family_fn  government_fn  premises_fn
     subtype:  binary_function_type  class of functions requiring two arguments
        subtype:  associative_function_type  a binary function is associative if bracketing has no effect on the value returned by the function; more precisely, a function ?FUNCTION is associative just in case (?FUNCTION ?INST1 (?FUNCTION ?INST2 ?INST3)) is equal to (?FUNCTION (?FUNCTION ?INST1 ?INST2) ?INST3), for all ?INST1, ?INST2, and ?INST3
        subtype:  commutative_function_type  a binary function is commutative if the ordering of the arguments of the function has no effect on the value returned by the function; more precisely, a function ?FUNCTION is commutative just in case (?FUNCTION ?INST1 ?INST2) is equal to (?FUNCTION ?INST2 ?INST1), for all ?INST1 and ?INST2
        instance:  binary_function  list_order_fn  list_concatenate_fn  where_fn__wherefn  multiplication_fn  addition_fn  subtraction_fn__subtractionfn  division_fn  exponentiation_fn  log_fn__logfn  max_fn__maxfn  min_fn__minfn  remainder_fn__remainderfn  union_fn__unionfn  intersection_fn  relative_complement_fn  kappa_fn__kappafn  measure_fn__measurefn  interval_fn  per_fn__perfn  time_interval_fn  recurrent_time_interval_fn  month_fn__monthfn  day_fn__dayfn  hour_fn  minute_fn  second_fn  temporal_composition_fn  mereological_sum_fn  mereological_product_fn  mereological_difference_fn  edition_fn__editionfn  series_volume_fn  periodical_issue_fn  relative_time_fn
     subtype:  ternary_function_type  class of functions requiring three arguments
     subtype:  quaternary_function_type  class of functions requiring four arguments
     instance:  unary_function__unaryfunction  binary_function  assignment_fn  list_fn  greatest_common_divisor_fn  least_common_multiple_fn

No statement uses or specializes single_valued_relation_type; click here to add one.


Another search (with same display options)?