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 13143-13145 | |
(subclass Advertising Disseminating) | Merge.kif 13142-13142 | 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 |
|