Relationsumo#confers_norm__confersnorm(pm#thing,sumo#formula,sumo#objective_norm)the 1st argument brings it about that the formula has the objective_normexclusion: sumo#deprives_norm type: pm#ternary_predicate_type__ternarypredicatetypeclass of predicates that require exactly three argumentssupertype: pm#ternary_relation__ternaryrelation__ternary_only_relation (?,?,?)relation with a fixed arity equal to 3; specialized by the SUMO ternary relations not categorized elsewheresupertype: pm#relation_with_particular_property (*)this rather fuzzy type permits to group categorization schemes less common than those covered by the previous sibling categoriessupertype: pm#relation__related_thing__relatedthing___related_with (*)type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type