Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - advertisedOn

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


    (advertisedOn ?OBJ ?SITE)
    (exists (?ADVERT)
            (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