ProductDescriptionPage - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ProductDescriptionPage EnglishLanguage "A WebPage which contains Advertising for a Class of products and descsriptions (Statings) which refer to them.")	UXExperimentalTerms.kif 2029-2030
(subclass ProductDescriptionPage WebPage)	UXExperimentalTerms.kif 2027-2027	Product description page is a subclass of web page

appearance as argument number 2

(termFormat EnglishLanguage ProductDescriptionPage "product description page")

UXExperimentalTerms.kif 2032-2032

antecedent

(=> (instance ?DESCRIPTIONPAGE ProductDescriptionPage) (exists (?PRODUCT ?ADVERTISEMENT) (and (instance ?PRODUCT Class) (instance ?ADVERTISEMENT Advertising) (patient ?ADVERTISEMENT ?PRODUCT) (part ?ADVERTISEMENT ?DESCRIPTIONPAGE))))	UXExperimentalTerms.kif 2034-2041	If an object is an instance of product description page, then there exist an entity and a process such that the entity is an instance of class and the process is an instance of advertising and the entity is a patient of the process and the process is a part of the object
(=> (instance ?DESCRIPTIONPAGE ProductDescriptionPage) (exists (?PRODUCT ?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT) (and (instance ?PRODUCT Class) (instance ?STATING Stating) (patient ?STATING ?DESCRIPTION) (refers ?DESCRIPTION ?PRODUCT) (result ?DESCRIPTION ?DESCRIPTIONCONTENT) (part ?DESCRIPTIONCONTENT ?DESCRIPTIONPAGE))))	UXExperimentalTerms.kif 2043-2052	If an object is an instance of product description page, then there exist an entity, a process,, , another process and the processCONTENT such that the entity is an instance of class and the other process is an instance of stating and the process is a patient of the other process and the process includes a reference to the entity and the processCONTENT is a result of the process and the processCONTENT is a part of the object

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

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

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: