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 1116-1117
(domain webSales 1 Collection) UXExperimentalTerms.kif 1110-1110
(domain webSales 2 Human) UXExperimentalTerms.kif 1112-1112
(domain webSales 3 WebSite) UXExperimentalTerms.kif 1114-1114
(instance webSales TernaryPredicate) UXExperimentalTerms.kif 1108-1108

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


(format ChineseLanguage webSales "使用者 %2 在 %3 已 sold %1 ") domainEnglishFormat.kif 4971-4971
(format ChineseTraditionalLanguage webSales "使用者 %2 在 %3 已 sold %1 ") domainEnglishFormat.kif 4970-4970
(format EnglishLanguage webSales "user %2 at %3 has sold %1") domainEnglishFormat.kif 4969-4969
(termFormat EnglishLanguage webSales "web sales") UXExperimentalTerms.kif 1119-1119

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


(=>
    (and
        (webSales ?SALES ?SELLER ?SITE)
        (member ?SELLING ?SALES))
    (and
        (instance ?SELLING Selling)
        (agent ?SELLING ?SELLER)
        (eCommerceSite ?SELLING ?SITE)))
UXExperimentalTerms.kif 1131-1138
(=>
    (webSales ?SALES ?SELLER ?SITE)
    (forall (?SELLING)
        (=>
            (and
                (instance ?SELLING Selling)
                (agent ?SELLING ?SELLER)
                (eCommerceSite ?SELLING ?SITE))
            (member ?SELLING ?SALES))))
UXExperimentalTerms.kif 1121-1129


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