| Advertising | |
| appearance as argument number 1 |
|
|
| (documentation Advertising ChineseLanguage "这是一种 Disseminating，它是以 Text 或 Icon (广告)的方式表示，目的为了推广销售一种 Object。") | chinese_format.kif 3251-3252 | |
| (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 12851-12853 | |
| (subclass Advertising Disseminating) | Merge.kif 12850-12850 |
| appearance as argument number 2 |
|
|
| (subclass WebListing Advertising) | UXExperimentalTerms.kif 30-30 | |
| (termFormat ChineseLanguage Advertising "广告") | chinese_format.kif 1197-1197 | |
| (termFormat EnglishLanguage Advertising "advertising") | english_format.kif 1611-1611 |
| appearance as argument number 3 |
|
|
| (domain webStoreAdvertisement 1 Advertising) | UXExperimentalTerms.kif 536-536 |
| antecedent |
|
|
| (=> (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 | |
| (=> (instance ?ADVERT Advertising) (exists (?OBJ) (and (refers ?ADVERT ?OBJ) (hasPurpose ?ADVERT (exists (?SALE) (and (instance ?SALE Selling) (patient ?SALE ?OBJ))))))) |
Merge.kif 12855-12860 |
| consequent |
|
|
| (=> (advertisedOn ?OBJ ?SITE) (exists (?ADVERT) (and (instance ?ADVERT Advertising) (hostedOn ?ADVERT ?SITE) (patient ?ADVERT ?OBJ)))) |
UXExperimentalTerms.kif 250-256 | |
| (=> (instance ?DESCRIPTIONPAGE ProductDescriptionPage) (exists (?PRODUCT ?ADVERTISEMENT) (and (instance ?PRODUCT Class) (instance ?ADVERTISEMENT Advertising) (patient ?ADVERTISEMENT ?PRODUCT) (part ?ADVERTISEMENT ?DESCRIPTIONPAGE)))) |
UXExperimentalTerms.kif 2243-2250 |
|
|
|