Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  prohibits

 Sigma KEE - ProductDescriptionPage
ProductDescriptionPage(product description page)

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ProductDescriptionPage "product description page") UXExperimentalTerms.kif 2033-2033

antecedent
-------------------------


(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?ADVERTISEMENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?ADVERTISEMENT Advertising)
            (patient ?ADVERTISEMENT ?PRODUCT)
            (part ?ADVERTISEMENT ?DESCRIPTIONPAGE))))		 UXExperimentalTerms.kif 2035-2042 If X is an instance of product description page, then there exist Y, Z such that Y is an instance of class, Z is an instance of advertising, Y is a patient of Z, and Z is a part of X
(=>
    (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 2044-2053 If X is an instance of product description page, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of class (3) W is an instance of stating (4) Z is a patient of W (5) Z includes a reference to Y (6) V is a result of Z (7) V is a part of 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