pm#ternary_relation_type  relates three items
  exclusion:  binary_relation_type  quaternary_relation_type  quintary_relation_type  variable_arity_relation_type
  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
  equal:  ternary_relation (pm)
  subtype:  ternary_predicate_type__ternarypredicatetype  class of predicates that require exactly three arguments
     instance:  domain  domain_subclass
     instance:  related_external_concept (string,?,language)  used to signify a three-place relation between a concept in an external knowledge source, a concept in the SUMO, and the name of the other knowledge source
        subtype:  synonymous_external_concept (string,?,language)  the 2nd argument has the same meaning as the 1st in the language denoted by the 3rd argument
        subtype:  subsumed_external_concept (string,?,language)  the 2nd argument is subsumed by the 1st in the language denoted by the 3rd argument
        subtype:  subsuming_external_concept (string,?,language)  the 2nd argument subsumes the 1st in the language denoted by the 3rd argument
     instance:  conditional_probability__conditionalprobability  prefers__prefer  capability  has_purpose_for_agent__haspurposeforagent  confers_norm__confersnorm  deprives_norm  between  represents_for_agent  represents_in_language  distance  temporally_between  temporally_between_or_equal  connects  orientation  occupies_position  point_of_intersection  geometric_distance__geometricdistance
  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

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