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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Website
Website

appearance as argument number 2
-------------------------


(instance IBookstore Website) ComputingBrands.kif 3113-3113 IBookstore is an instance of Website

appearance as argument number 3
-------------------------


(domain accountAtSite 2 Website) UXExperimentalTerms.kif 778-778 The number 2 argument of account at site is an instance of Website
(domain browserID 3 Website) UXExperimentalTerms.kif 919-919 The number 3 argument of browser identifier string is an instance of Website
(domain confirmedRegisteredUser 2 Website) UXExperimentalTerms.kif 1091-1091 The number 2 argument of confirmed registed user is an instance of Website
(domain registeredUser 2 Website) UXExperimentalTerms.kif 1051-1051 The number 2 argument of registered user is an instance of Website
(domain webPurchases 3 Website) UXExperimentalTerms.kif 1017-1017 The number 3 argument of web purchases is an instance of Website
(domain webSales 3 Website) UXExperimentalTerms.kif 1113-1113 The number 3 argument of web sales is an instance of Website
(domain webSeller 2 Website) UXExperimentalTerms.kif 1147-1147 The number 2 argument of web seller is an instance of Website
(domain webVisitor 2 Website) UXExperimentalTerms.kif 1399-1399 The number 2 argument of web visitor is an instance of Website

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners