Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| s__subclass(s__Advertising,s__Disseminating)
|
Merge.kif 13395-13395 | Advertising is a subclass of disseminating |
| s__documentation(s__Advertising, s__EnglishLanguage, "A Disseminating whose purpose is to promote the sale of an Object represented in a Text or Icon (the advertisement)_") | Merge.kif 13396-13398 | Advertising is a subclass of disseminating |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__webStoreAdvertisement,n__1,s__Advertising)
|
UXExperimentalTerms.kif 426-426 | The number 1 argument of web store advertisement is an instance of advertising |
| antecedent |
|
|
| ! [V__ADVERT : $i] : ((s__instance(V__ADVERT, s__Advertising) => ( ? [V__OBJ:$i] : ((s__refers(V__ADVERT, V__OBJ) & s__hasPurpose(V__ADVERT, ( ? [V__SALE:$i] : ((s__instance(V__SALE, s__Selling) & s__patient(V__SALE, V__OBJ)))))))))) | Merge.kif 13400-13405 | If X is an instance of advertising, then there exists Y such that X includes a reference to Y, X has the purpose there exists Z such that Z is an instance of selling, and Y is a patient of Z |
| ! [V__REQUEST,V__ACCESSING,V__PAGE,V__AGENT,V__LISTING] : (((s__instance(V__REQUEST,s__ViewItemRequest) & s__instance(V__ACCESSING,s__AccessingWebPage) & s__instance(V__PAGE,s__ViewItemPage) & s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__LISTING,s__Advertising) & s__subProcess(V__ACCESSING,V__REQUEST) & s__component(V__PAGE,V__LISTING) & s__destination(V__ACCESSING,V__PAGE) & s__agent(V__ACCESSING,V__AGENT)) => s__viewedListing(V__AGENT,V__LISTING)) )
|
UXExperimentalTerms.kif 1570-1581 | If All of the following hold: (1) X is an instance of view item request (2) Y is an instance of accessing web page (3) Z is an instance of next generation view item (4) W is an instance of agent (5) V is an instance of advertising (6) Y is a subprocess of X (7) Z is a component of V (8) Y ends up at Z (9) W is an agent of Y, then W viewed V |
| consequent |
|
|
| ! [V__OBJ,V__SITE] : (((s__instance(V__OBJ,s__Object) & s__instance(V__SITE,s__WebSite)) => (s__advertisedOn(V__OBJ,V__SITE) => (? [V__ADVERT] : ((s__instance(V__ADVERT,s__Advertising) & s__hostedOn(V__ADVERT,V__SITE) & s__patient(V__ADVERT,V__OBJ)))))) )
|
UXExperimentalTerms.kif 193-199 | If X was advertisedOn Y, then there exists Z such that Z is an instance of advertising, Z is hosted on Y, and X is a patient of Z |
| ! [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__AA : $i] : ((s__instance(V__AA, s__AdvertisingAgency) => s__hasPurpose(V__AA, ( ? [V__EV:$i] : ((s__instance(V__EV, s__Advertising) & s__eventLocated(V__EV, V__AA) & s__result(V__EV, s__Advert))))))) | Society.kif 1437-1444 | If X is an instance of AdvertisingAgency, then X has the purpose there exists Y such that Y is an instance of advertising, Y is located at X, and Advert is a result of Y |
|