(=>
(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 |
