RequestingHyperlink - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RequestingHyperlink

RequestingHyperlink

appearance as argument number 1

(documentation RequestingHyperlink EnglishLanguage "A UserSignifiedAction instructing a ComputerProgram to follow the currently active HypertextLink.")	ComputerInput.kif 2229-2230
(subclass RequestingHyperlink SelectingActiveArea)	ComputerInput.kif 2228-2228	RequestingHyperlink is a subclass of SelectingActiveArea

consequent

(=> (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 3928-3946	If a search results page is an instance of search results page and a list is an instance of search results and the list is a component of the search results page, then the number of instances in the class described by a symbolic string and length of the list is equal to qualifying clicks on the search results page
(=> (and (instance ?SELECT SelectingActiveArea) (patient ?SELECT ?ELEMENT) (instance ?ELEMENT HypertextLink)) (instance ?SELECT RequestingHyperlink))	ComputerInput.kif 2232-2237	If a process is an instance of SelectingActiveArea and an entity is a patient of the process and the entity is an instance of hyperlink, then the process is an instance of RequestingHyperlink
(=> (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 3541-3564	If a collection is an instance of collection and a hyperlink is an instance of hyperlink and for all a physical the physical is a member of another collection and the physical is an instance of AccessingWebPage and the other collection is a component of the hyperlink, then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of RequestingHyperlink and the hyperlink is a patient of the process, then the process is a member of the third collection and the rate of clicking through the hyperlink in the collection is equal to the number of instances in the third collection and the number of instances in the collection
(=> (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 1766-1775	If a process is an instance of view item request, then there exist another process, a third process and an entity such that the other process is an instance of RequestingHyperlink and the entity is an instance of next generation view item and the third process is an instance of AccessingWebPage and the other process causes the third process and the third process ends up at the entity and the other process is a subprocess of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners