Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| siteCatalog |
| 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 WU is an instance of physical, and U is capable of doing the class described by V as a patient |
|