(subclass SymmetricRelation BinaryRelation) | Merge.kif 2260-2260 | SymmetricRelation ist eine teilkategorie von BinaryRelation |
(subclass EquivalenceRelation SymmetricRelation) | Merge.kif 2393-2393 | EquivalenceRelation ist eine teilkategorie von SymmetricRelation |