LineFn |
appearance as argument number 1 |
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 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2633-2633 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2632-2632 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2631-2631 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2634-2634 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2629-2629 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2628-2628 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2627-2627 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2630-2630 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2693-2704 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2665-2676 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2636-2644 |