SRPEngagementFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3717-3719 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3711-3711 | O argumento numero 1 de SRPEngagementFn e' uma instancia de SearchResultsPage |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3709-3709 | SRPEngagementFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3713-3713 | O contra-dominio de SRPEngagementFn e' uma instancia de Numero Real |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4598-4598 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4597-4597 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4596-4596 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3715-3715 |
consequent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3721-3739 |
|