No TPTP formula. May not be expressible in strict first order. | Merge.kif 2260-2260 | 子類 SymmetricRelation and BinaryRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2393-2393 | 子類 EquivalenceRelation and SymmetricRelation |