No TPTP formula. May not be expressible in strict first order. | Merge.kif 11494-11494 | Substituir e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11495-11495 | Substituir e' uma sub-classe de Processo Dual |