resourceExhausted |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1892-1894 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2525-2528 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 517-520 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2530-2530 | O argumento numero 1 de resourceExhausted e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2531-2531 | O argumento numero 2 de resourceExhausted e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2533-2533 | resourceExhausted e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2534-2534 | resourceExhausted e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2532-2532 | resourceExhausted e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2535-2535 | resourceExhausted e' uma instancia de Relacao Parcial |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4422-4422 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4421-4421 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4420-4420 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65928-65928 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2537-2546 |
![]() |
![]() |