TreeView Knowledge Base Browser - webStoreAdvertisement

appearance as argument number 1

(instance webStoreAdvertisement BinaryPredicate)	UXExperimentalTerms.kif 425-425	web store advertisement is an instance of binary predicate
(domain webStoreAdvertisement 1 Advertising)	UXExperimentalTerms.kif 426-426	The number 1 argument of web store advertisement is an instance of advertising
(domain webStoreAdvertisement 2 WebStore)	UXExperimentalTerms.kif 427-427	The number 2 argument of web store advertisement is an instance of web store
(documentation webStoreAdvertisement EnglishLanguage "(webstoreAdvertisement ?ADVERT ?STORE) means that ?ADVERT is an an instance of Advertising which is a component of a WebPage which a member of the WebStore ?STORE.")	UXExperimentalTerms.kif 430-432	The number 2 argument of web store advertisement is an instance of web store

appearance as argument number 2

(termFormat EnglishLanguage webStoreAdvertisement "web store advertisement")	UXExperimentalTerms.kif 428-428
(format EnglishLanguage webStoreAdvertisement "%2 has advertisement %1")	domainEnglishFormat.kif 4976-4976
(format ChineseTraditionalLanguage webStoreAdvertisement "%2 有 advertisement %1 ")	domainEnglishFormat.kif 4977-4977
(format ChineseLanguage webStoreAdvertisement "%2 有 advertisement %1 ")	domainEnglishFormat.kif 4978-4978

antecedent

(=>
    (webStoreAdvertisement ?ADVERT ?STORE)
    (exists (?ITEM ?PAGE)
        (and
            (refers ?ADVERT ?ITEM)
            (component ?ADVERT ?PAGE)
            (instance ?PAGE WebPage)
            (member ?PAGE ?STORE))))

UXExperimentalTerms.kif 434-441

If X has advertisement Y, then there exist Z, W such that Y includes a reference to Z, Y is a component of W, W is an instance of web page, and W is a member of X

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

KB Term:			Term intersection

English Word: