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 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
(instance webSeller BinaryPredicate) UXExperimentalTerms.kif 947-947 web seller is an instance of binary predicate

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


(format ChineseLanguage webSeller "%1 是 seller 在 %2 ") domainEnglishFormat.kif 4966-4966
(format ChineseTraditionalLanguage webSeller "%1 是 seller 在 %2 ") domainEnglishFormat.kif 4965-4965
(format EnglishLanguage webSeller "%1 is a seller at %2") domainEnglishFormat.kif 4964-4964
(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