No TPTP formula. May not be expressible in strict first order. | Merge.kif 3398-3398 | Funcao Binaria e' uma sub-classe de Funcao |
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 3400-3400 | Funcao Binaria e' uma sub-classe de InheritableRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3409-3409 | Funcao Associativa e' uma sub-classe de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3430-3430 | Funcao Commutativa e' uma sub-classe de Funcao Binaria |