No TPTP formula. May not be expressible in strict first order. | Merge.kif 2392-2392 | Relacao Qquivalente e' uma sub-classe de Relacao Transitiva |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2393-2393 | Relacao Qquivalente e' uma sub-classe de Relacao Simetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2394-2394 | Relacao Qquivalente e' uma sub-classe de Relacao Reflexiva |