| appearance as argument number 1 |
|
| (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 | |
| (domain advertisedOn 1 Object) | UXExperimentalTerms.kif 184-184 | |
| (domain advertisedOn 2 WebSite) | UXExperimentalTerms.kif 185-185 | |
| (instance advertisedOn BinaryPredicate) | UXExperimentalTerms.kif 183-183 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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