HypertextLink - Sigma Knowledge base Browser

appearance as argument number 1

(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
(subclass HypertextLink DigitalData)	UXExperimentalTerms.kif 3303-3303	Hyperlink is a subclass of digital data

appearance as argument number 2

(subclass GUI_Link HypertextLink)	ComputerInput.kif 1160-1160	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 2235-2240	If a process is an instance of selecting active area and an entity is a patient of the process and the entity is an instance of hyperlink, then the process is an instance of requesting hyperlink
(=> (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 a collection is an instance of collection and a corpuscular object 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 accessing web page and the other collection is a component of the corpuscular object, 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 requesting hyperlink and the corpuscular object is a patient of the process, then the process is a member of the third collection and equal the rate of clicking through the corpuscular object in the collection and the number of instances in the third collection and the number of instances in the collection
(=> (instance ?HL HypertextLink) (refers ?HL DigitalData))	UXExperimentalTerms.kif 3311-3313	If an entity is an instance of hyperlink, then the entity includes a reference to digital data

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

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 equal the number of instances in the class described by a symbolic string and length of the list and qualifying clicks on the search results page

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

KB Term:			Term intersection

English Word: