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 2235-2238 | |
(domain siteCatalog 1 Database) | UXExperimentalTerms.kif 2231-2231 | The number 1 argument of site catalog is an instance of database |
(domain siteCatalog 2 WebSite) | UXExperimentalTerms.kif 2233-2233 | The number 2 argument of site catalog is an instance of web site |
(instance siteCatalog BinaryPredicate) | UXExperimentalTerms.kif 2229-2229 | site catalog is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage siteCatalog "%1 是 catalog 对于 %2 ") | domainEnglishFormat.kif 4526-4526 | |
(format ChineseTraditionalLanguage siteCatalog "%1 是 catalog 對於 %2 ") | domainEnglishFormat.kif 4525-4525 | |
(format EnglishLanguage siteCatalog "%1 is the catalog for %2") | domainEnglishFormat.kif 4524-4524 | |
(termFormat EnglishLanguage siteCatalog "site catalog") | UXExperimentalTerms.kif 2240-2240 |
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 2242-2259 |
|