Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Advertising
Advertising(advertising)ad, advert, advertise, advertisement, advertising, advertize, advertizement, advertizing, advertorial, bill, book_jacket, broadsheet, broadside, circular, classified, classified_ad, classified_advertisement, commercial, commercial_message, direct_mail, direct_marketing, dust_cover, dust_jacket, dust_wrapper, flier, flyer, handbill, infomercial, informercial, mailer, newspaper_ad, newspaper_advertisement, plug, preview, prevue, promote, promotional, push, sales_promotion, show_bill, show_card, stuffer, teaser, theatrical_poster, throwaway, top_billing, trailer, want_ad

appearance as argument number 1
-------------------------


(documentation Advertising ChineseLanguage "这是一种 Disseminating,它是以 TextIcon (广告)的方式表示,目的为了推广销售一种 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
-------------------------


(subclass WebListing Advertising) UXExperimentalTerms.kif 26-26 Web listing is a subclass of advertising
(termFormat ChineseLanguage Advertising "广告") chinese_format.kif 1197-1197 Web listing is a subclass of advertising
(termFormat EnglishLanguage Advertising "advertising") english_format.kif 1611-1611 Web listing is a subclass of advertising
(termFormat FrenchLanguage Advertising "promouvoir") french_format.kif 875-875 Web listing is a subclass of advertising
(termFormat Hindi Advertising "vigyaapana karma") terms-hindi.txt 408-408 Web listing is a subclass of advertising
(termFormat ItalianLanguage Advertising "Pubblicit�") terms-it.txt 411-411 Web listing is a subclass of advertising
(termFormat JapaneseLanguage Advertising "広告") japanese_format.kif 2559-2559 Web listing is a subclass of advertising
(termFormat PortugueseLanguage Advertising "Promover") portuguese_format.kif 827-827 Web listing is a subclass of advertising
(termFormat cb Advertising "pagmantala") terms-cb.txt 413-413 Web listing is a subclass of advertising
(termFormat cz Advertising "advertising") terms-cz.txt 447-447 Web listing is a subclass of advertising
(termFormat ro Advertising "publicitate") relations-ro.kif 896-896 Web listing is a subclass of advertising
(termFormat tg Advertising "pagpa-anunsiyo") terms-tg.txt 412-412 Web listing 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
-------------------------


(=>
    (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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners