Relation pm#ternary_relation__ternaryrelation__ternary_only_relation (?,?,?) relation with a fixed arity equal to 3; specialized by the SUMO ternary relations not categorized elsewhere
exclusion: binary_relation quaternary_relation relation_with_variable_arity
supertype: relation_with_particular_property this rather fuzzy type permits to group categorization schemes less common than those covered by the previous sibling categories
subtype: binary_function (?,? -> ?) function that requires two arguments; currently not specialized by the SUMO ternary relations since this seems useless (for now)
subtype: confers_norm__confersnorm (thing,formula,objective_norm) the 1st argument brings it about that the formula has the objective_norm
subtype: deprives_norm (thing,formula,objective_norm) the 1st argument brings it about that the formula does not have the objective_norm