TreeView Knowledge Base Browser

appearance as argument number 1

(subclass HypertextLink DigitalData)	UXExperimentalTerms.kif 3303-3303	Hyperlink is a subclass of digital data
(documentation HypertextLink EnglishLanguage "A link embedded in one documentation that refers to another document, and can be processed automatically by a ComputerProgram to retrieve and display the referenced document. Most typically an HTML 'A' tag but also found in other markup languages.")	UXExperimentalTerms.kif 3304-3308	Hyperlink is a subclass of digital data

appearance as argument number 2

(subclass GUI_Link HypertextLink)	ComputerInput.kif 1176-1176	GUI_ link is a subclass of hyperlink
(termFormat EnglishLanguage HypertextLink "hyperlink")	UXExperimentalTerms.kif 3309-3309	GUI_ link is a subclass of hyperlink

appearance as argument number 3

(domain ClickThroughRateFn 2 HypertextLink)

UXExperimentalTerms.kif 3328-3328

The number 2 argument of click_through rate is an instance of hyperlink

antecedent

(=> (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 ?HL HypertextLink) (refers ?HL DigitalData))	UXExperimentalTerms.kif 3311-3313	If X is an instance of hyperlink, then X includes a reference to digital data
(=> (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 U U 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

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

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: