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 189-191
(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
(instance advertisedOn BinaryPredicate) UXExperimentalTerms.kif 183-183 advertised on is an instance of binary predicate

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 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 3.0 is open source software produced by Articulate Software and its partners