TreeView Knowledge Base Browser

appearance as argument number 1

(instance webcart TernaryPredicate)	UXExperimentalTerms.kif 673-673	web cart is an instance of ternary predicate
(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	web cart is an instance of ternary predicate
(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

appearance as argument number 2

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

antecedent

(=> (and (webcart ?USER ?COLL ?SITE) (member ?OBJ ?COLL)) (instance ?OBJ Object))	UXExperimentalTerms.kif 684-688	If user X at Y has cart Z and W is a member of Z, then W is an instance of object
(=> (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 X at Y has cart Z, W is an instance of object, and W is a member of Z, then X desires there exists V such that V is an instance of buying, W is a patient of V, and X is an agent of V

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 X is an instance of add to cart, Y is an instance of object, Y is a patient of X, and Z is an agent of X, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of collection (3) V is an instance of web site (4) T is an instance of timeframe (5) user Z at V has cart W (6) equal the beginning of T (7) the end of X (8) Y is a member of W holds during U

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: