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

Formal Language: 



KB Term:  Term intersection
English Word: 

  webSeller

 Sigma KEE - webSeller
webSeller

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


(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
(domain webSeller 1 Human) UXExperimentalTerms.kif 949-949
(domain webSeller 2 WebSite) UXExperimentalTerms.kif 951-951
(instance webSeller BinaryPredicate) UXExperimentalTerms.kif 947-947

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


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

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


(=>
    (webSeller ?SELLER ?SITE)
    (desires ?SELLER
        (exists (?SELLING)
            (and
                (instance ?SELLING Selling)
                (agent ?SELLING ?SELLER)))))		 UXExperimentalTerms.kif 967-973
(=>
    (webSeller ?SELLER ?SITE)
    (exists (?LISTING)
        (and
            (instance ?LISTING WebListing)
            (listingSeller ?LISTING ?SELLER)
            (hostedOn ?LISTING ?SITE))))		 UXExperimentalTerms.kif 959-965

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


(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?SITE WebSite)
        (hostedOn ?LISTING ?SITE)
        (creator ?LISTING ?AGENT))
    (webSeller ?AGENT ?SITE))		 UXExperimentalTerms.kif 39-45
(=>
    (and
        (listingSeller ?LISTING ?AGENT)
        (hostedOn ?LISTING ?SITE))
    (webSeller ?AGENT ?SITE))		 UXExperimentalTerms.kif 70-74


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