pm#ternary_relation_type relates three items
exclusion: pm#binary_relation_type pm#quaternary_relation_type pm#quintary_relation_type pm#variable_arity_relation_type
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
instance of: pm#class_of_inheritable_relation_type
equal: sumo#ternary_relation (pm)
subtype: pm#ternary_predicate_type__ternarypredicatetype class of predicates that require exactly three arguments
instance: sumo#domain sumo#domain_subclass
instance: sumo#related_external_concept (pm#string,?,sumo#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: sumo#synonymous_external_concept (pm#string,?,sumo#language) the 2nd argument has the same meaning as the 1st in the language denoted by the 3rd argument
subtype: sumo#subsumed_external_concept (pm#string,?,sumo#language) the 2nd argument is subsumed by the 1st in the language denoted by the 3rd argument
subtype: sumo#subsuming_external_concept (pm#string,?,sumo#language) the 2nd argument subsumes the 1st in the language denoted by the 3rd argument
instance: sumo#conditional_probability__conditionalprobability sumo#prefers__prefer sumo#capability sumo#has_purpose_for_agent__haspurposeforagent sumo#confers_norm__confersnorm sumo#deprives_norm sumo#between sumo#represents_for_agent sumo#represents_in_language sumo#distance sumo#temporally_between sumo#temporally_between_or_equal sumo#connects sumo#orientation sumo#occupies_position sumo#point_of_intersection sumo#geometric_distance__geometricdistance
subtype: pm#binary_function_type class of functions requiring two arguments
subtype: pm#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: pm#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: pm#binary_function sumo#list_order_fn sumo#list_concatenate_fn sumo#where_fn__wherefn sumo#multiplication_fn sumo#addition_fn sumo#subtraction_fn__subtractionfn sumo#division_fn sumo#exponentiation_fn sumo#log_fn__logfn sumo#max_fn__maxfn sumo#min_fn__minfn sumo#remainder_fn__remainderfn sumo#union_fn__unionfn sumo#intersection_fn sumo#relative_complement_fn sumo#kappa_fn__kappafn sumo#measure_fn__measurefn sumo#interval_fn sumo#per_fn__perfn sumo#time_interval_fn sumo#recurrent_time_interval_fn sumo#month_fn__monthfn sumo#day_fn__dayfn 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__editionfn sumo#series_volume_fn sumo#periodical_issue_fn sumo#relative_time_fn
No statement uses or specializes pm#ternary_relation_type; click here to add one.