webcart |
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 | Il numero 1 argomenti di webcart è un istanza di AutonomousAgent |
(domain webcart 2 Collection) | UXExperimentalTerms.kif 681-681 | Il numero 2 argomenti di webcart è un istanza di InsiemeConcreto |
(domain webcart 3 WebSite) | UXExperimentalTerms.kif 682-682 | Il numero 3 argomenti di webcart è un istanza di WebSite |
(instance webcart TernaryPredicate) | UXExperimentalTerms.kif 673-673 | webcart è un' istanza di PredicatoTernario |
appearance as argument number 2 |
(format ChineseLanguage webcart "使用者 %1 在 %3 有 cart %2 ") | domainEnglishFormat.kif 4954-4954 | |
(format ChineseTraditionalLanguage webcart "使用者 %1 在 %3 有 cart %2 ") | domainEnglishFormat.kif 4953-4953 | |
(format EnglishLanguage webcart "user %1 at %3 has cart %2") | domainEnglishFormat.kif 4952-4952 | |
(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 |
|
(=> (and (webcart ?USER ?COLL ?SITE) (member ?OBJ ?COLL)) (instance ?OBJ Object)) |
UXExperimentalTerms.kif 684-688 |
|
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 |
|