(subclass TrichotomizingRelation BinaryRelation) | Merge.kif 2310-2310 | RelazioneTricotomizzante è una sottoclasse di RelazioneBinaria |
(subclass TotalOrderingRelation TrichotomizingRelation) | Merge.kif 2375-2375 | RelazioneDiOrdineTotale è una sottoclasse di RelazioneTricotomizzante |