No TPTP formula. May not be expressible in strict first order. | Merge.kif 11809-11809 | Transacao e' uma sub-classe de Mudanca de Dono |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11810-11810 | Transacao e' uma sub-classe de Processo Dual |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11834-11834 | Transacao Financeira e' uma sub-classe de Transacao |