No TPTP formula. May not be expressible in strict first order. | Merge.kif 2249-2249 | 子類 IrreflexiveRelation and BinaryRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2274-2274 | 子類 AsymmetricRelation and IrreflexiveRelation |