| 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 246-248 | |
| (domain advertisedOn 1 Object) | UXExperimentalTerms.kif 238-238 | |
| (domain advertisedOn 2 WebSite) | UXExperimentalTerms.kif 240-240 | |
| (instance advertisedOn BinaryPredicate) | UXExperimentalTerms.kif 236-236 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage advertisedOn "%1 was advertisedOn %2") | UXExperimentalTerms.kif 242-242 | |
| (termFormat EnglishLanguage advertisedOn "advertised on") | UXExperimentalTerms.kif 244-244 |
| antecedent |
|
|
| (=> (advertisedOn ?OBJ ?SITE) (exists (?ADVERT) (and (instance ?ADVERT Advertising) (hostedOn ?ADVERT ?SITE) (patient ?ADVERT ?OBJ)))) |
UXExperimentalTerms.kif 250-256 |
|
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