Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  webSeller

 Sigma KEE - webSeller
webSeller

appearance as argument number 1
-------------------------


(instance webSeller BinaryPredicate) UXExperimentalTerms.kif 947-947 web seller is an instance of binary predicate
(domain webSeller 1 Human) UXExperimentalTerms.kif 949-949 The number 1 argument of web seller is an instance of human
(domain webSeller 2 WebSite) UXExperimentalTerms.kif 951-951 The number 2 argument of web seller is an instance of web site
(documentation webSeller EnglishLanguage "(webSeller ?SELLER ?SITE) means that item is advertised on the WebSite ?SITE and ?SELLER desires there to be a selling (implicitly of that item) where ?SELLER is the agent.") UXExperimentalTerms.kif 955-957 The number 2 argument of web seller is an instance of web site

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


(termFormat EnglishLanguage webSeller "web seller") UXExperimentalTerms.kif 953-953
(format EnglishLanguage webSeller "%1 is a seller at %2") domainEnglishFormat.kif 4972-4972
(format ChineseTraditionalLanguage webSeller "%1 是 seller 在 %2 ") domainEnglishFormat.kif 4973-4973
(format ChineseLanguage webSeller "%1 是 seller 在 %2 ") domainEnglishFormat.kif 4974-4974

antecedent
-------------------------


(=>
    (webSeller ?SELLER ?SITE)
    (exists (?LISTING)
        (and
            (instance ?LISTING WebListing)
            (listingSeller ?LISTING ?SELLER)
            (hostedOn ?LISTING ?SITE))))		 UXExperimentalTerms.kif 959-965 If X is a seller at Y, then there exists Z such that Z is an instance of web listing, X sells Z, and Z is hosted on Y
(=>
    (webSeller ?SELLER ?SITE)
    (desires ?SELLER
        (exists (?SELLING)
            (and
                (instance ?SELLING Selling)
                (agent ?SELLING ?SELLER)))))		 UXExperimentalTerms.kif 967-973 If X is a seller at Y, then X desires there exists Z such that Z is an instance of selling and X is an agent of Z

consequent
-------------------------


(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?SITE WebSite)
        (hostedOn ?LISTING ?SITE)
        (creator ?LISTING ?AGENT))
    (webSeller ?AGENT ?SITE))		 UXExperimentalTerms.kif 39-45 If X is an instance of web listing, Y is an instance of web site, X is hosted on Y, and X created Z, then Z is a seller at Y
(=>
    (and
        (listingSeller ?LISTING ?AGENT)
        (hostedOn ?LISTING ?SITE))
    (webSeller ?AGENT ?SITE))		 UXExperimentalTerms.kif 70-74 If X sells Y and Y is hosted on Z, then X is a seller at Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners