Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - webcart
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 webcart の数値 1 引数は AutonomousAgentinstance では %n
(domain webcart 2 Collection) UXExperimentalTerms.kif 681-681 webcart の数値 2 引数は コレクションinstance では %n
(domain webcart 3 WebSite) UXExperimentalTerms.kif 682-682 webcart の数値 3 引数は WebSiteinstance では %n
(instance webcart TernaryPredicate) UXExperimentalTerms.kif 673-673 webcart3進述語instance では %n

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


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