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

Formal Language: 



KB Term:  Term intersection
English Word: 

  advertisedOn

Sigma KEE - advertisedOn
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 240-240
(domain advertisedOn 2 WebSite) UXExperimentalTerms.kif 242-242
(instance advertisedOn BinaryPredicate) UXExperimentalTerms.kif 238-238

appearance as argument number 2
-------------------------


(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners