(subclass TrichotomizingRelation BinaryRelation) | Merge.kif 2310-2310 | Relation trichotomique est une sous-classe de relation binaire |
(subclass TotalOrderingRelation TrichotomizingRelation) | Merge.kif 2375-2375 | Relation totalement dirig�e est une sous-classe de relation trichotomique |