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 1112-1113
(domain webSales 1 Collection) UXExperimentalTerms.kif 1106-1106 The number 1 argument of web sales is an instance of collection
(domain webSales 2 Human) UXExperimentalTerms.kif 1108-1108 The number 2 argument of web sales is an instance of human
(domain webSales 3 WebSite) UXExperimentalTerms.kif 1110-1110 The number 3 argument of web sales is an instance of WebSite
(instance webSales TernaryPredicate) UXExperimentalTerms.kif 1104-1104 web sales is an instance of ternary predicate

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


(format ChineseLanguage webSales "使用者 %2 在 %3 已 sold %1 ") domainEnglishFormat.kif 4967-4967
(format ChineseTraditionalLanguage webSales "使用者 %2 在 %3 已 sold %1 ") domainEnglishFormat.kif 4966-4966
(format EnglishLanguage webSales "user %2 at %3 has sold %1") domainEnglishFormat.kif 4965-4965
(termFormat EnglishLanguage webSales "web sales") UXExperimentalTerms.kif 1115-1115 "web sales" is the printable form of web sales in english language

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


(=>
    (and
        (webSales ?SALES ?SELLER ?SITE)
        (member ?SELLING ?SALES))
    (and
        (instance ?SELLING Selling)
        (agent ?SELLING ?SELLER)
        (eCommerceSite ?SELLING ?SITE)))
UXExperimentalTerms.kif 1127-1134
(=>
    (webSales ?SALES ?SELLER ?SITE)
    (forall (?SELLING)
        (=>
            (and
                (instance ?SELLING Selling)
                (agent ?SELLING ?SELLER)
                (eCommerceSite ?SELLING ?SITE))
            (member ?SELLING ?SALES))))
UXExperimentalTerms.kif 1117-1125


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