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 and AccessingWebPage |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3745-3745 |
例 SiteSpeedFn and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3749-3749 |
範圍 SiteSpeedFn and TimeInterval |