TreeView Knowledge Base Browser - Advertising

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3251-3252
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12851-12853
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12850-12850	Advertising is a subclass of disseminating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 30-30	Web listing is a subclass of advertising
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1197-1197
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1611-1611

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 536-536

The number 1 argument of web store advertisement is an instance of advertising

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1777-1788	If a process is an instance of view item request and another process is an instance of AccessingWebPage and a corpuscular object is an instance of next generation view item and an agent is an instance of agent and a web listing is an instance of advertising and the other process is a subprocess of the process and the corpuscular object is a component of the web listing and the other process ends up at the corpuscular object and the agent is an agent of the other process, then the agent viewed the web listing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12855-12860	If a physical is an instance of advertising, then there exists an entity such that the physical includes a reference to the entity and the physical has the purpose there exists another entity such that the other entity is an instance of selling and the entity is a patient of the other entity

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 250-256	If an object was advertisedOn a WebSite, then there exists a web listing such that the web listing is an instance of advertising and the web listing is hosted on the WebSite and the object is a patient of the web listing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2243-2250	If an object is an instance of product description page, then there exist an entity and a process such that the entity is an instance of class and the process is an instance of advertising and the entity is a patient of the process and the process is a part of the object

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

Show without tree

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