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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - webSales
webSales

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


(documentation webSales EnglishLanguage "(webSales ?COLLECTION ?HUMAN ?SITE) relates a collection of all instances of Selling by a Human on the ?SITE.") UXExperimentalTerms.kif 1115-1116
(domain webSales 1 Collection) UXExperimentalTerms.kif 1109-1109 The number 1 argument of web sales is an instance of collection
(domain webSales 2 Human) UXExperimentalTerms.kif 1111-1111 The number 2 argument of web sales is an instance of human
(domain webSales 3 Website) UXExperimentalTerms.kif 1113-1113 The number 3 argument of web sales is an instance of Website
(instance webSales TernaryPredicate) UXExperimentalTerms.kif 1107-1107 web sales is an instance of ternary predicate

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


(format EnglishLanguage webSales "user %2 at %3 has sold %1") domainEnglishFormat.kif 1251-1251
(termFormat EnglishLanguage webSales "web sales") UXExperimentalTerms.kif 1118-1118 "web sales" is the printable form of web sales in english language

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


(=>
    (and
        (webSales ?SALES ?SELLER ?SITE)
        (member ?MEMBER ?SALES))
    (and
        (instance ?SELLING Selling)
        (agent ?SELLING ?SELLER)
        (eCommerceSite ?SELLING ?SITE)))
UXExperimentalTerms.kif 1130-1137
(=>
    (webSales ?SALES ?SELLER ?SITE)
    (forall (?SELLING)
        (=>
            (and
                (instance ?SELLING Selling)
                (agent ?SELLING ?SELLER)
                (eCommerceSite ?SELLING ?SITE))
            (member ?SELLING ?SALES))))
UXExperimentalTerms.kif 1120-1128


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners