No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2620-2620 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2619-2619 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2617-2618 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2621-2622 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2624-2624 |
O argumento numero 1 de LineFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2625-2625 |
O argumento numero 2 de LineFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2616-2616 |
LineFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2626-2626 |
O contra-dominio de LineFn e' uma instancia de Objeto |