Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SiteSpeedFn |
| appearance as argument number 1 |
|
| (instance SiteSpeedFn UnaryFunction) | UXExperimentalTerms.kif 3742-3742 | Site speed is an instance of unary function |
| (domain SiteSpeedFn 1 AccessingWebPage) | UXExperimentalTerms.kif 3744-3744 | The number 1 argument of site speed is an instance of accessing web page |
| (range SiteSpeedFn TimeInterval) | UXExperimentalTerms.kif 3746-3746 | The range of site speed is an instance of timeframe |
| (documentation SiteSpeedFn EnglishLanguage "(SiteSpeedFn ?ACCESSING) returns the TimeInterval that represents the length of time it takes to load the WebPage which is the patient of the AccessingWebPage ?ACCESSING. The interval begins at the EndFn of a Requesting of that page by the WebBrowser, and ends at the EndFn of a DataTransfer of that page where the browser is the destination of the transfer.") | UXExperimentalTerms.kif 3750-3754 | The range of site speed is an instance of timeframe |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SiteSpeedFn "site speed") | UXExperimentalTerms.kif 3748-3748 | |
| (format EnglishLanguage SiteSpeedFn "the time to access in %1") | domainEnglishFormat.kif 4536-4536 | |
| (format ChineseTraditionalLanguage SiteSpeedFn "access 的時間在 %1 ") | domainEnglishFormat.kif 4537-4537 | |
| (format ChineseLanguage SiteSpeedFn "access 的时间在 %1 ") | domainEnglishFormat.kif 4538-4538 |
| consequent |
|
|
| (=> (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (instance ?TRANSFER DataTransfer) (instance ?SERVER Server) (instance ?REQUESTING Requesting) (instance ?BROWSER WebBrowser) (instance ?INTERVAL TimeInterval) (patient ?ACCESSING ?PAGE) (agent ?REQUESTING ?BROWSER) (destination ?REQUESTING ?SERVER) (patient ?REQUESTING ?PAGE) (origin ?TRANSFER ?SERVER) (destination ?TRANSFER ?BROWSER) (patient ?TRANSFER ?PAGE) (subProcess ?TRANSFER ?ACCESSING) (subProcess ?REQUESTING ?ACCESSING) (equal (EndFn (WhenFn ?REQUESTING)) (BeginFn ?INTERVAL)) (equal (EndFn (WhenFn ?TRANSFER)) (EndFn ?INTERVAL))) (equal (SiteSpeedFn ?ACCESSING) ?INTERVAL)) |
UXExperimentalTerms.kif 3756-3781 | If All of the following hold: (1) X is an instance of accessing web page (2) Y is an instance of web page (3) Z is an instance of data transfer (4) W is an instance of server (5) V is an instance of requesting (6) U is an instance of web browser (7) T is an instance of timeframe (8) Y is a patient of X (9) U is an agent of V (10) V ends up at W (11) Y is a patient of V (12) Z originates at W (13) Z ends up at U (14) Y is a patient of Z (15) Z is a subprocess of X (16) V is a subprocess of X (17) equal the end of the time of existence of V and the beginning of T (18) equal the end of the time of existence of Z and the end of T, then equal the time to access in X and T |
|