TreeView Knowledge Base Browser

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	The number 1 argument of site catalog is an instance of database
(domain siteCatalog 2 WebSite)	UXExperimentalTerms.kif 2439-2439	The number 2 argument of site catalog is an instance of web site
(instance siteCatalog BinaryPredicate)	UXExperimentalTerms.kif 2435-2435	site catalog is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage siteCatalog "%1 是 catalog 对于 %2 ")	domainEnglishFormat.kif 4530-4530
(format ChineseTraditionalLanguage siteCatalog "%1 是 catalog 對於 %2 ")	domainEnglishFormat.kif 4529-4529
(format EnglishLanguage siteCatalog "%1 is the catalog for %2")	domainEnglishFormat.kif 4528-4528
(termFormat EnglishLanguage siteCatalog "site catalog")	UXExperimentalTerms.kif 2446-2446

antecedent

(=>
    (siteCatalog ?DATABASE ?WEBSITE)
    (exists (?PART ?PRODUCTS ?BUYING)
        (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

If a database is the catalog for a web site,
then there exist an object, a collection and a symbolic string such that the collection is an instance of collection and the object is a part of the database and the object expresses the collection and for all another object
- if the other object is a member of the collection,
- then the other object is an instance of physical and the other object is capable of doing the class described by the symbolic string as a patient

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

KB Term:			Term intersection

English Word: