SiteSpeedFn |
appearance as argument number 1 |
![]() |
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 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4534-4534 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4533-4533 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4532-4532 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3751-3751 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3759-3784 |
|
![]() |
![]() |