(=>
(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 |
|