| 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 2444-2447 | |
| (domain siteCatalog 1 Database) | UXExperimentalTerms.kif 2440-2440 | |
| (domain siteCatalog 2 WebSite) | UXExperimentalTerms.kif 2442-2442 | |
| (instance siteCatalog BinaryPredicate) | UXExperimentalTerms.kif 2438-2438 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage siteCatalog "%1 是 catalog 对于 %2 ") | domainEnglishFormat.kif 4535-4535 | |
| (format ChineseTraditionalLanguage siteCatalog "%1 是 catalog 對於 %2 ") | domainEnglishFormat.kif 4534-4534 | |
| (format EnglishLanguage siteCatalog "%1 is the catalog for %2") | domainEnglishFormat.kif 4533-4533 | |
| (termFormat EnglishLanguage siteCatalog "site catalog") | UXExperimentalTerms.kif 2449-2449 |
| 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 2451-2468 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners