| appearance as argument number 1 |
|
|
| (subclass Advertising Disseminating) | Merge.kif 13272-13272 | Advertising is a subclass of disseminating |
| (documentation Advertising EnglishLanguage "A Disseminating whose purpose is to promote the sale of an Object represented in a Text or Icon (the advertisement).") | Merge.kif 13273-13275 | Advertising is a subclass of disseminating |
| appearance as argument number 2 |
|
|
| (subclass WebListing Advertising) | UXExperimentalTerms.kif 26-26 | Web listing is a subclass of advertising |
| (subclass Advert Advertising) | Society.kif 1435-1435 | Advert is a subclass of advertising |
| (termFormat EnglishLanguage Advertising "advertising") | english_format.kif 1611-1611 | Advert is a subclass of advertising |
| appearance as argument number 3 |
|
|
| (domain webStoreAdvertisement 1 Advertising) | UXExperimentalTerms.kif 426-426 | The number 1 argument of web store advertisement is an instance of advertising |
| antecedent |
|
|
| (=> (instance ?ADVERT Advertising) (exists (?OBJ) (and (refers ?ADVERT ?OBJ) (hasPurpose ?ADVERT (exists (?SALE) (and (instance ?SALE Selling) (patient ?SALE ?OBJ))))))) |
Merge.kif 13277-13282 | 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 |
| (=> (and (instance ?REQUEST ViewItemRequest) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE ViewItemPage) (instance ?AGENT AutonomousAgent) (instance ?LISTING Advertising) (subProcess ?ACCESSING ?REQUEST) (component ?PAGE ?LISTING) (destination ?ACCESSING ?PAGE) (agent ?ACCESSING ?AGENT)) (viewedListing ?AGENT ?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 |
|
|
| (=> (advertisedOn ?OBJ ?SITE) (exists (?ADVERT) (and (instance ?ADVERT Advertising) (hostedOn ?ADVERT ?SITE) (patient ?ADVERT ?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 |
| (=> (instance ?DESCRIPTIONPAGE ProductDescriptionPage) (exists (?PRODUCT ?ADVERTISEMENT) (and (instance ?PRODUCT Class) (instance ?ADVERTISEMENT Advertising) (patient ?ADVERTISEMENT ?PRODUCT) (part ?ADVERTISEMENT ?DESCRIPTIONPAGE)))) |
UXExperimentalTerms.kif 2034-2041 | 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 ?AA AdvertisingAgency) (hasPurpose ?AA (exists (?EV) (and (instance ?EV Advertising) (eventLocated ?EV ?AA) (result ?EV 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 |
|
|
|