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 13143-13145 | |
(subclass Advertising Disseminating) | Merge.kif 13142-13142 |
appearance as argument number 2 |
(subclass WebListing Advertising) | UXExperimentalTerms.kif 26-26 | |
(termFormat ChineseLanguage Advertising "广告") | chinese_format.kif 1197-1197 | |
(termFormat EnglishLanguage Advertising "advertising") | english_format.kif 1611-1611 | |
(termFormat FrenchLanguage Advertising "promouvoir") | french_format.kif 875-875 | |
(termFormat Hindi Advertising "vigyaapana karma") | terms-hindi.txt 408-408 | |
(termFormat ItalianLanguage Advertising "Pubblicit�") | terms-it.txt 411-411 | |
(termFormat JapaneseLanguage Advertising "広告") | japanese_format.kif 2559-2559 | |
(termFormat PortugueseLanguage Advertising "Promover") | portuguese_format.kif 827-827 | |
(termFormat cb Advertising "pagmantala") | terms-cb.txt 413-413 | |
(termFormat cz Advertising "advertising") | terms-cz.txt 447-447 | |
(termFormat ro Advertising "publicitate") | relations-ro.kif 896-896 | |
(termFormat tg Advertising "pagpa-anunsiyo") | terms-tg.txt 412-412 |
appearance as argument number 3 |
(domain webStoreAdvertisement 1 Advertising) | UXExperimentalTerms.kif 426-426 |
antecedent |
(=> (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 | |
(=> (instance ?ADVERT Advertising) (exists (?OBJ) (and (refers ?ADVERT ?OBJ) (hasPurpose ?ADVERT (exists (?SALE) (and (instance ?SALE Selling) (patient ?SALE ?OBJ))))))) |
Merge.kif 13147-13152 |
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 |