No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3753-3757 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3747-3747 |
SiteSpeedFn 的 1 数量 是 AccessingWebPage 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3745-3745 |
SiteSpeedFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3749-3749 |
SiteSpeedFn 的 range 是 时距 的实例 |