TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

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

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 2243-2260

If X is the catalog for Y, then there exist Z, W, V such that W is an instance of collection, Z is a part of X, Z expresses W, U U is a member of W U is an instance of physical, and U is capable of doing the class described by V as a patient

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

KB Term:			Term intersection

English Word: