Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 tnorms(Arg1, Arg2, Arg3)

 tnorm(Arg1, Arg2, Arg3)

 tnorm(Arg1, Arg2, Arg3, Arg4)

 is_fuzzy_degree(Arg1)

 less_fuzzy(Arg1, Arg2)

 equally_fuzzy(Arg1, Arg2)

 check_less_fuzzy(Arg1, Arg2)

 check_equally_fuzzy(Arg1, Arg2)

 check_clause_degree(Arg1, Arg2)

 get_max(Arg1, Arg2)

 sup_degree(Arg1, Arg2)

 inf_degree(Arg1, Arg2)

 tnorms(Arg1, Arg2, Arg3)

 tnorm(Arg1, Arg2, Arg3)

 tnorm(Arg1, Arg2, Arg3, Arg4)

 is_fuzzy_degree(Arg1)

 less_fuzzy(Arg1, Arg2)

 equally_fuzzy(Arg1, Arg2)

 check_less_fuzzy(Arg1, Arg2)

 check_equally_fuzzy(Arg1, Arg2)

 check_clause_degree(Arg1, Arg2)

 get_max(Arg1, Arg2)

 sup_degree(Arg1, Arg2)

 inf_degree(Arg1, Arg2)