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 849-851
(domain webcart 1 Agent) UXExperimentalTerms.kif 853-853
(domain webcart 2 Collection) UXExperimentalTerms.kif 855-855
(domain webcart 3 WebSite) UXExperimentalTerms.kif 857-857
(instance webcart TernaryPredicate) UXExperimentalTerms.kif 845-845

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


(format EnglishLanguage webcart "user %1 at %3 has cart %2") domainEnglishFormat.kif 1249-1249
(termFormat EnglishLanguage webcart "web cart") UXExperimentalTerms.kif 847-847

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 865-875
(=>
    (and
        (webcart ?USER ?COLL ?SITE)
        (member ?OBJ ?COLL))
    (instance ?OBJ Object))
UXExperimentalTerms.kif 859-863

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 1524-1540


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