No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4422-4424 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4420-4420 |
O argumento numero 1 de recoveryKey e' uma instancia de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4421-4421 |
O argumento numero 2 de recoveryKey e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4419-4419 |
recoveryKey e' uma instancia de Relacao Binaria |