No TPTP formula. May not be expressible in strict first order. | Merge.kif 2854-2854 | Relacao Ternaria e' uma sub-classe de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2855-2855 | Relacao Ternaria e' uma sub-classe de InheritableRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3399-3399 | Funcao Binaria e' uma sub-classe de Relacao Ternaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3490-3490 | Predicado Ternario e' uma sub-classe de Relacao Ternaria |
![]() |