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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Advertising
Advertising

VerbNet: promote-102|promote, promote-102|promote, promote-102|promote, promote-102|promote,


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 12029-12031
(subclass Advertising Disseminating) Merge.kif 12028-12028

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 1616-1616

appearance as argument number 3
-------------------------


(domain webStoreAdvertisement 1 Advertising) UXExperimentalTerms.kif 532-532

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 1774-1785
(=>
    (instance ?ADVERT Advertising)
    (exists (?OBJ)
        (and
            (refers ?ADVERT ?OBJ)
            (hasPurpose ?ADVERT
                (exists (?SALE)
                    (and
                        (instance ?SALE Selling)
                        (patient ?SALE ?OBJ)))))))
Merge.kif 12033-12038

consequent
-------------------------


(=>
    (advertisedOn ?OBJ ?SITE)
    (exists (?ADVERT)
        (and
            (instance ?ADVERT Advertising)
            (hostedOn ?ADVERT ?SITE)
            (patient ?ADVERT ?OBJ))))
UXExperimentalTerms.kif 248-254
(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?ADVERTISEMENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?ADVERTISEMENT Advertising)
            (patient ?ADVERTISEMENT ?PRODUCT)
            (part ?ADVERTISEMENT ?DESCRIPTIONPAGE))))
UXExperimentalTerms.kif 2238-2245


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners