TreeView Knowledge Base Browser - webStoreAdvertisement

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

webStoreAdvertisement

Sigma KEE - webStoreAdvertisement

webStoreAdvertisement

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 430-432
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 426-426	The number 1 argument of web store advertisement is an instance of advertising
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 427-427	The number 2 argument of web store advertisement is an instance of web store
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 425-425	web store advertisement is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4970-4970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4969-4969
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4968-4968
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 428-428

antecedent

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

UXExperimentalTerms.kif 434-441

If a web store has advertisement an advertising,
then there exist an entity and a corpuscular object such that the advertising includes a reference to the entity and the advertising is a component of the corpuscular object and the corpuscular object is an instance of web page and the corpuscular object is a member of the web store

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