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

Formal Language: 



KB Term:  Term intersection
English Word: 

  siteCatalog

Sigma KEE - siteCatalog
siteCatalog

appearance as argument number 1
-------------------------


(documentation siteCatalog EnglishLanguage "(siteCatalog ?DATABASE ?WEBSITE) relates a Database and a WebSite, and signifies that ?DATABASE has a part which represents a Collection of Physicals which have the capability of being the patient of a Buying where ?WEBSITE is the eCommerceSite of the Buying.") UXExperimentalTerms.kif 2441-2444
(domain siteCatalog 1 Database) UXExperimentalTerms.kif 2437-2437
(domain siteCatalog 2 WebSite) UXExperimentalTerms.kif 2439-2439
(instance siteCatalog BinaryPredicate) UXExperimentalTerms.kif 2435-2435

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


(format EnglishLanguage siteCatalog "%1 is the catalog for %2") domainEnglishFormat.kif 1142-1142
(termFormat EnglishLanguage siteCatalog "site catalog") UXExperimentalTerms.kif 2446-2446

antecedent
-------------------------


(=>
    (siteCatalog ?DATABASE ?WEBSITE)
    (exists (?PART)
        (and
            (instance ?PRODUCTS Collection)
            (part ?PART ?DATABASE)
            (represents ?PART ?PRODUCTS)
            (forall (?MEMBER)
                (=>
                    (member ?MEMBER ?PRODUCTS)
                    (and
                        (instance ?MEMBER Physical)
                        (capability
                            (KappaFn ?BUYING
                                (and
                                    (instance ?BUYING Buying)
                                    (eCommerceSite ?BUYING ?WEBSITE))) patient ?MEMBER)))))))
UXExperimentalTerms.kif 2448-2465


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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