| 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 846-848 | |
| (domain webcart 1 Agent) | UXExperimentalTerms.kif 850-850 | |
| (domain webcart 2 Collection) | UXExperimentalTerms.kif 852-852 | |
| (domain webcart 3 WebSite) | UXExperimentalTerms.kif 854-854 | |
| (instance webcart TernaryPredicate) | UXExperimentalTerms.kif 842-842 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage webcart "使用者 %1 在 %3 有 cart %2 ") | domainEnglishFormat.kif 4963-4963 | |
| (format ChineseTraditionalLanguage webcart "使用者 %1 在 %3 有 cart %2 ") | domainEnglishFormat.kif 4962-4962 | |
| (format EnglishLanguage webcart "user %1 at %3 has cart %2") | domainEnglishFormat.kif 4961-4961 | |
| (termFormat EnglishLanguage webcart "web cart") | UXExperimentalTerms.kif 844-844 |
| 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 862-872 | |
| (=> (and (webcart ?USER ?COLL ?SITE) (member ?OBJ ?COLL)) (instance ?OBJ Object)) |
UXExperimentalTerms.kif 856-860 |
| 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 1522-1538 |
|
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