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 | SRPEngagementFn 的 1 数量 是 SearchResultsPage 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3709-3709 | SRPEngagementFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3713-3713 | SRPEngagementFn 的 range 是 实数 的实例 |
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 |
|