Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ProductDescriptionPage(product description page) |
| appearance as argument number 1 |
|
| s__subclass(s__ProductDescriptionPage,s__WebPage)
|
UXExperimentalTerms.kif 2028-2028 | Product description page is a subclass of web page |
| s__documentation(s__ProductDescriptionPage, s__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 |
|
|
| s__termFormat(s__EnglishLanguage, s__ProductDescriptionPage, "product description page") | UXExperimentalTerms.kif 2033-2033 |
| antecedent |
|
|
| ! [V__DESCRIPTIONPAGE] : ((s__instance(V__DESCRIPTIONPAGE,s__ProductDescriptionPage) => (? [V__PRODUCT,V__ADVERTISEMENT] : ((s__instance(V__PRODUCT,s__Class) & s__instance(V__ADVERTISEMENT,s__Advertising) & s__patient(V__ADVERTISEMENT,V__PRODUCT) & s__part(V__ADVERTISEMENT,V__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 |
| ! [V__DESCRIPTIONPAGE] : ((s__instance(V__DESCRIPTIONPAGE,s__ProductDescriptionPage) => (? [V__PRODUCT,V__DESCRIPTION,V__STATING,V__DESCRIPTIONCONTENT] : ((s__instance(V__DESCRIPTION,s__Process) & s__instance(V__DESCRIPTIONCONTENT,s__Object) & (s__instance(V__PRODUCT,s__Class) & s__instance(V__STATING,s__Stating) & s__patient(V__STATING,V__DESCRIPTION) & s__refers(V__DESCRIPTION,V__PRODUCT) & s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT) & s__part(V__DESCRIPTIONCONTENT,V__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 |
|
|
| ! [V__CLICK : $i,V__ELEMENT : $i,V__LINKEDPAGE : $i,V__PAGE : $i,V__RESULTS : $i] : (((s__instance(V__PAGE, s__SearchResultsPage) & s__instance(V__RESULTS, s__SRPResults) & s__component(V__RESULTS, V__PAGE)) => s__DivisionFn(s__CardinalityFn(s__KappaFn(V__CLICK, (s__instance(V__CLICK, s__RequestingHyperlink) & s__patient(V__CLICK, V__ELEMENT) & s__destination(V__CLICK, V__LINKEDPAGE) & s__instance(V__ELEMENT, s__HypertextLink) & s__component(V__ELEMENT, V__PAGE) & (s__instance(V__LINKEDPAGE, s__ProductDescriptionPage) | s__instance(V__LINKEDPAGE, s__ViewItemPage))))),s__ListLengthFn(V__RESULTS)) = s__SRPEngagementFn(V__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 |
|