Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| advertisedOn |
| 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 |
|