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 是 实数 的实例 |