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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1152-1154
(domain webSeller 1 Human) UXExperimentalTerms.kif 1146-1146
(domain webSeller 2 WebSite) UXExperimentalTerms.kif 1148-1148
(instance webSeller BinaryPredicate) UXExperimentalTerms.kif 1144-1144

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


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

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


(=>
    (webSeller ?SELLER ?SITE)
    (desires ?SELLER
        (exists (?SELLING)
            (and
                (instance ?SELLING Selling)
                (agent ?SELLING ?SELLER)))))
UXExperimentalTerms.kif 1164-1170
(=>
    (webSeller ?SELLER ?SITE)
    (exists (?LISTING)
        (and
            (instance ?LISTING WebListing)
            (listingSeller ?LISTING ?SELLER)
            (hostedOn ?LISTING ?SITE))))
UXExperimentalTerms.kif 1156-1162

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


(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?SITE WebSite)
        (hostedOn ?LISTING ?SITE)
        (creator ?LISTING ?AGENT))
    (webSeller ?AGENT ?SITE))
UXExperimentalTerms.kif 44-50
(=>
    (and
        (listingSeller ?LISTING ?AGENT)
        (hostedOn ?LISTING ?SITE))
    (webSeller ?AGENT ?SITE))
UXExperimentalTerms.kif 82-86


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