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

Formal Language: 



KB Term:  Term intersection
English Word: 

  webPurchases

 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 1021-1022
(domain webPurchases 1 Collection) UXExperimentalTerms.kif 1015-1015 webPurchases 的 1 数量 是 群体 的 instance
(domain webPurchases 2 Human) UXExperimentalTerms.kif 1017-1017 webPurchases 的 2 数量 是 人类 的 instance
(domain webPurchases 3 WebSite) UXExperimentalTerms.kif 1019-1019 webPurchases 的 3 数量 是 WebSite 的 instance
(instance webPurchases TernaryPredicate) UXExperimentalTerms.kif 1013-1013 webPurchases 是 三元谓语 的 instance

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


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

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


(=>
    (and
        (webPurchases ?PURCHASES ?BUYER ?SITE)
        (member ?BUYING ?PURCHASES))
    (and
        (instance ?BUYING Buying)
        (agent ?BUYING ?BUYER)
        (eCommerceSite ?BUYING ?SITE)))		 UXExperimentalTerms.kif 1036-1043
(=>
    (webPurchases ?PURCHASES ?BUYER ?SITE)
    (forall (?BUYING)
        (=>
            (and
                (instance ?BUYING Buying)
                (agent ?BUYING ?BUYER)
                (eCommerceSite ?BUYING ?SITE))
            (member ?BUYING ?PURCHASES))))		 UXExperimentalTerms.kif 1026-1034


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