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.