TreeView Knowledge Base Browser

appearance as argument number 1

(instance advertisedOn BinaryPredicate)	UXExperimentalTerms.kif 183-183	advertised on is an instance of binary predicate
(domain advertisedOn 1 Object)	UXExperimentalTerms.kif 184-184	The number 1 argument of advertised on is an instance of object
(domain advertisedOn 2 WebSite)	UXExperimentalTerms.kif 185-185	The number 2 argument of advertised on is an instance of web site
(documentation advertisedOn EnglishLanguage "(advertisedOn ?OBJ ?SITE) means that there exists an instance of Advertising where ?OBJ is the patient of the Advertising and the advertising is a component of a WebPage which is a component of ?SITE.")	UXExperimentalTerms.kif 189-191	The number 2 argument of advertised on is an instance of web site

appearance as argument number 2

(format EnglishLanguage advertisedOn "%1 was advertisedOn %2")	UXExperimentalTerms.kif 186-186
(termFormat EnglishLanguage advertisedOn "advertised on")	UXExperimentalTerms.kif 187-187

antecedent

(=>
    (advertisedOn ?OBJ ?SITE)
    (exists (?ADVERT)
        (and
            (instance ?ADVERT Advertising)
            (hostedOn ?ADVERT ?SITE)
            (patient ?ADVERT ?OBJ))))

UXExperimentalTerms.kif 193-199

If X was advertisedOn Y, then there exists Z such that Z is an instance of advertising, Z is hosted on Y, and X is a patient of Z

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

KB Term:			Term intersection

English Word: