No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3166-3167 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3162-3162 |
O argumento numero 1 de SubListFn e' uma instancia de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3163-3163 |
O argumento numero 2 de SubListFn e' uma instancia de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3164-3164 |
O argumento numero 3 de SubListFn e' uma instancia de Lista |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3161-3161 |
SubListFn e' uma instancia de Funcao Ternaria |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3165-3165 |
O contra-dominio de SubListFn e' uma instancia de Lista |