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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - webcart
webcart

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


(documentation webcart EnglishLanguage "(webCart ?USER ?COLL ?SITE) associates a Collection of Objects ?COLL with an Agent ?USER and a WebSite ?SITE. It specifies that ?COLL is the users webcart at ?SITE, and that ?USER desires to buy the members of ?COLL.") UXExperimentalTerms.kif 844-846
(domain webcart 1 Agent) UXExperimentalTerms.kif 848-848 The number 1 argument of web cart is an instance of agent
(domain webcart 2 Collection) UXExperimentalTerms.kif 850-850 The number 2 argument of web cart is an instance of collection
(domain webcart 3 WebSite) UXExperimentalTerms.kif 852-852 The number 3 argument of web cart is an instance of WebSite
(instance webcart TernaryPredicate) UXExperimentalTerms.kif 840-840 web cart is an instance of ternary predicate

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


(format ChineseLanguage webcart "使用者 %1 在 %3 有 cart %2 ") domainEnglishFormat.kif 4959-4959
(format ChineseTraditionalLanguage webcart "使用者 %1 在 %3 有 cart %2 ") domainEnglishFormat.kif 4958-4958
(format EnglishLanguage webcart "user %1 at %3 has cart %2") domainEnglishFormat.kif 4957-4957
(termFormat EnglishLanguage webcart "web cart") UXExperimentalTerms.kif 842-842 "web cart" is the printable form of web cart in english language

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


(=>
    (and
        (webcart ?USER ?COLL ?SITE)
        (instance ?OBJ Object)
        (member ?OBJ ?COLL))
    (desires ?USER
        (exists (?BUYING)
            (and
                (instance ?BUYING Buying)
                (patient ?BUYING ?OBJ)
                (agent ?BUYING ?USER)))))
UXExperimentalTerms.kif 860-870
(=>
    (and
        (webcart ?USER ?COLL ?SITE)
        (member ?OBJ ?COLL))
    (instance ?OBJ Object))
UXExperimentalTerms.kif 854-858

consequent
-------------------------


(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?OBJ Object)
        (patient ?ATC ?OBJ)
        (agent ?ATC ?USER))
    (exists (?COLL ?SITE ?AFTER)
        (and
            (instance ?COLL Collection)
            (instance ?SITE WebSite)
            (instance ?INTERVAL TimeInterval)
            (webcart ?USER ?COLL ?SITE)
            (equal
                (BeginFn ?INTERVAL)
                (EndFn ?ATC))
            (holdsDuring ?AFTER
                (member ?OBJ ?COLL)))))
UXExperimentalTerms.kif 1520-1536


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