webcart - Sigma Knowledge base Browser

appearance as argument number 1

(documentation webcart EnglishLanguage "(webCart ?USER ?COLL ?SITE) associates a Collection of Objects ?COLL with an AutonomousAgent ?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 676-678
(domain webcart 1 AutonomousAgent)	UXExperimentalTerms.kif 680-680	The number 1 argument of web cart is an instance of agent
(domain webcart 2 Collection)	UXExperimentalTerms.kif 681-681	The number 2 argument of web cart is an instance of collection
(domain webcart 3 WebSite)	UXExperimentalTerms.kif 682-682	The number 3 argument of web cart is an instance of web site
(instance webcart TernaryPredicate)	UXExperimentalTerms.kif 673-673	web cart is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage webcart "使用者 %1 在 %3 有 cart %2 ")	domainEnglishFormat.kif 4958-4958
(format ChineseTraditionalLanguage webcart "使用者 %1 在 %3 有 cart %2 ")	domainEnglishFormat.kif 4957-4957
(format EnglishLanguage webcart "user %1 at %3 has cart %2")	domainEnglishFormat.kif 4956-4956
(termFormat EnglishLanguage webcart "web cart")	UXExperimentalTerms.kif 674-674

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 690-700	If user a cognitive agent at a web site has cart a collection and a physical is an instance of object and the physical is a member of the collection, then the cognitive agent desires there exists an entity such that the entity is an instance of buying and the physical is a patient of the entity and the cognitive agent is an agent of the entity
(=> (and (webcart ?USER ?COLL ?SITE) (member ?OBJ ?COLL)) (instance ?OBJ Object))	UXExperimentalTerms.kif 684-688	If user an agent at a web site has cart a collection and a physical is a member of the collection, then the physical is an instance of object

consequent

(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?OBJ Object)
        (patient ?ATC ?OBJ)
        (agent ?ATC ?USER))
    (exists (?COLL ?SITE ?AFTER ?INTERVAL)
        (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 1326-1342

If a time interval is an instance of add to cart and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval,
then there exist a collection, a web site,, , a time position and another time interval such that the collection is an instance of collection and the web site is an instance of web site and the other time interval is an instance of time interval and user the agent at the web site has cart the collection and the beginning of the other time interval is equal to the end of the time interval and the entity is a member of the collection holds during the time position

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

KB Term:			Term intersection

English Word: