| 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 13273-13275 | |
| (subclass Advertising Disseminating) | Merge.kif 13272-13272 | Advertising is a subclass of disseminating |
| appearance as argument number 2 |
|
|
| 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 |
|
|
| consequent |
|
|
| (=> (advertisedOn ?OBJ ?SITE) (exists (?ADVERT) (and (instance ?ADVERT Advertising) (hostedOn ?ADVERT ?SITE) (patient ?ADVERT ?OBJ)))) |
UXExperimentalTerms.kif 193-199 |
|
| (=> (instance ?DESCRIPTIONPAGE ProductDescriptionPage) (exists (?PRODUCT ?ADVERTISEMENT) (and (instance ?PRODUCT Class) (instance ?ADVERTISEMENT Advertising) (patient ?ADVERTISEMENT ?PRODUCT) (part ?ADVERTISEMENT ?DESCRIPTIONPAGE)))) |
UXExperimentalTerms.kif 2034-2041 |
|
|
|