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