(subclass TrichotomizingRelation BinaryRelation) | Merge.kif 2310-2310 | TrichotomizingRelation ist eine teilkategorie von BinaryRelation |
(subclass TotalOrderingRelation TrichotomizingRelation) | Merge.kif 2375-2375 | TotalOrderingRelation ist eine teilkategorie von TrichotomizingRelation |
![]() |