(=>
(and
(instance ?SELECT SelectingActiveArea)
(patient ?SELECT ?ELEMENT)
(instance ?ELEMENT HypertextLink))
(instance ?SELECT RequestingHyperlink)) |
ComputerInput.kif 2251-2256 |
If X is an instance of selecting active area, Y is a patient of X, and Y is an instance of hyperlink, then X is an instance of requesting hyperlink |
(=>
(instance ?REQUEST ViewItemRequest)
(exists (?CLICK ?ACCESSING ?PAGE)
(and
(instance ?CLICK RequestingHyperlink)
(instance ?PAGE ViewItemPage)
(instance ?ACCESSING AccessingWebPage)
(causes ?CLICK ?ACCESSING)
(destination ?ACCESSING ?PAGE)
(subProcess ?CLICK ?REQUEST)))) |
UXExperimentalTerms.kif 1559-1568 |
If X is an instance of view item request, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of requesting hyperlink (3) W is an instance of next generation view item (4) Z is an instance of accessing web page (5) Y causes Z (6) Z ends up at W (7) Y is a subprocess of X |
(=>
(and
(instance ?VISITS Collection)
(instance ?HYPERLINK HypertextLink)
(forall (?ACCESSING)
(and
(member ?ACCESSING ?PAGE)
(and
(instance ?ACCESSING AccessingWebPage)
(component ?PAGE ?HYPERLINK)))))
(exists (?CLICKS)
(and
(instance ?CLICKS Collection)
(forall (?CLICK)
(=>
(and
(instance ?CLICK RequestingHyperlink)
(patient ?CLICK ?HYPERLINK))
(member ?CLICK ?CLICKS)))
(equal
(ClickThroughRateFn ?VISITS ?HYPERLINK)
(DivisionFn
(CardinalityFn ?CLICKS)
(CardinalityFn ?VISITS)))))) |
UXExperimentalTerms.kif 3332-3355 |
If X is an instance of collection, Y is an instance of hyperlink, and For all Physical Z: Z is a member of W and Z is an instance of accessing web page and W is a component of Y, then there exists V such that V is an instance of collection, U U is an instance of requesting hyperlink, Y is a patient of UU is a member of V, equal the rate of clicking through Y in X, the number of instances in V, and the number of instances in X |
(=>
(and
(instance ?PAGE SearchResultsPage)
(instance ?RESULTS SRPResults)
(component ?RESULTS ?PAGE))
(equal
(DivisionFn
(CardinalityFn
(KappaFn ?CLICK
(and
(instance ?CLICK RequestingHyperlink)
(patient ?CLICK ?ELEMENT)
(destination ?CLICK ?LINKEDPAGE)
(instance ?ELEMENT HypertextLink)
(component ?ELEMENT ?PAGE)
(or
(instance ?LINKEDPAGE ProductDescriptionPage)
(instance ?LINKEDPAGE ViewItemPage)))))
(ListLengthFn ?RESULTS))
(SRPEngagementFn ?PAGE))) |
UXExperimentalTerms.kif 3718-3736 |
If X is an instance of search results page, Y is an instance of search results, and Y is a component of X, then equal the number of instances in the class described by Z, length of Y, and qualifying clicks on X |
RequestingHyperlink