| appearance as argument number 1 |
|
| (documentation ViewItemPage EnglishLanguage "A WebPage which contains a WebListing and description of the patient of the listing.") | UXExperimentalTerms.kif 2269-2270 | |
| (subclass ViewItemPage WebPage) | UXExperimentalTerms.kif 2267-2267 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ViewItemPage "next generation view item") | UXExperimentalTerms.kif 2272-2272 |
| antecedent |
|
|
| (=> (and (instance ?PAGE ViewItemPage) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (patient ?ADVERTISING ?ITEM) (instance ?ITEM Physical)) (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT) (and (instance ?STATING Stating) (patient ?STATING ?DESCRIPTION) (refers ?DESCRIPTION ?ITEM) (result ?DESCRIPTION ?DESCRIPTIONCONTENT) (part ?DESCRIPTIONCONTENT ?PAGE)))) |
UXExperimentalTerms.kif 2287-2300 | |
| (=> (and (instance ?PAGE ViewItemPage) (instance ?SITE WebSite) (component ?PAGE ?SITE)) (exists (?ITEM ?ADVERTISING) (and (instance ?ITEM Object) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (hostedOn ?ADVERTISING ?SITE) (patient ?ADVERTISING ?ITEM)))) |
UXExperimentalTerms.kif 2274-2285 | |
| (=> (and (instance ?REQUEST ViewItemRequest) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE ViewItemPage) (instance ?AGENT Agent) (instance ?LISTING Advertising) (subProcess ?ACCESSING ?REQUEST) (component ?PAGE ?LISTING) (destination ?ACCESSING ?PAGE) (agent ?ACCESSING ?AGENT)) (viewedListing ?AGENT ?LISTING)) |
UXExperimentalTerms.kif 1777-1788 |
| 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 3928-3946 | |
| (=> (instance ?REQUEST ViewItemRequest) (exists (?CLICK ?ACCESSING ?PAGE) (and (instance ?CLICK RequestingHyperlink) (instance ?PAGE ViewItemPage) (instance ?ACCESSING AccessingWebPage) (causes ?CLICK ?ACCESSING) (destination ?ACCESSING ?PAGE) (subProcess ?CLICK ?REQUEST)))) |
UXExperimentalTerms.kif 1766-1775 |
|
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