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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - webPurchases
webPurchases

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


(documentation webPurchases EnglishLanguage "(webPurchases ?COLLECTION ?HUMAN) relates a collection of all instances of Buying by a Human on the WebSite.") UXExperimentalTerms.kif 1017-1018
(domain webPurchases 1 Collection) UXExperimentalTerms.kif 1011-1011 domain webPurchases, 1 and Collection
(domain webPurchases 2 Human) UXExperimentalTerms.kif 1013-1013 domain webPurchases, 2 and Human
(domain webPurchases 3 WebSite) UXExperimentalTerms.kif 1015-1015 domain webPurchases, 3 and WebSite
(instance webPurchases TernaryPredicate) UXExperimentalTerms.kif 1009-1009 instance webPurchases and TernaryPredicate

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


(format ChineseLanguage webPurchases "使用者 %2 在 %3 已 bought %1 ") domainEnglishFormat.kif 4963-4963
(format ChineseTraditionalLanguage webPurchases "使用者 %2 在 %3 已 bought %1 ") domainEnglishFormat.kif 4962-4962
(format EnglishLanguage webPurchases "user %2 at %3 has bought %1") domainEnglishFormat.kif 4961-4961
(termFormat EnglishLanguage webPurchases "web purchases") UXExperimentalTerms.kif 1020-1020 termFormat EnglishLanguage, webPurchases and "web purchases"

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


(=>
    (and
        (webPurchases ?PURCHASES ?BUYER ?SITE)
        (member ?BUYING ?PURCHASES))
    (and
        (instance ?BUYING Buying)
        (agent ?BUYING ?BUYER)
        (eCommerceSite ?BUYING ?SITE)))
UXExperimentalTerms.kif 1032-1039
(=>
    (webPurchases ?PURCHASES ?BUYER ?SITE)
    (forall (?BUYING)
        (=>
            (and
                (instance ?BUYING Buying)
                (agent ?BUYING ?BUYER)
                (eCommerceSite ?BUYING ?SITE))
            (member ?BUYING ?PURCHASES))))
UXExperimentalTerms.kif 1022-1030


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