eCommerceSite |
appearance as argument number 1 |
(documentation eCommerceSite EnglishLanguage "This CaseRole relates an instance of a FinancialTransaction to the WebSite that facilitaed the sale.") | UXExperimentalTerms.kif 1713-1714 | |
(domain eCommerceSite 1 FinancialTransaction) | UXExperimentalTerms.kif 1705-1705 | eCommerceSite の数値 1 引数は 金融取引 の instance では %n |
(domain eCommerceSite 2 WebSite) | UXExperimentalTerms.kif 1707-1707 | eCommerceSite の数値 2 引数は WebSite の instance では %n |
(instance eCommerceSite CaseRole) | UXExperimentalTerms.kif 1703-1703 | eCommerceSite は 格役割 の instance では %n |
(subrelation eCommerceSite broker) | UXExperimentalTerms.kif 1711-1711 | eCommerceSite は broker の subrelation では %n |
(subrelation eCommerceSite instrument) | UXExperimentalTerms.kif 1709-1709 | eCommerceSite は instrument の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage eCommerceSite "%2 facilitates %1 ") | domainEnglishFormat.kif 3294-3294 | |
(format ChineseTraditionalLanguage eCommerceSite "%2 facilitates %1 ") | domainEnglishFormat.kif 3293-3293 | |
(format EnglishLanguage eCommerceSite "%2 facilitates %1") | domainEnglishFormat.kif 3292-3292 | |
(termFormat EnglishLanguage eCommerceSite "e-commerce site") | domainEnglishFormat.kif 65816-65816 |
consequent |
(=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?BUYING) (and (instance ?BUYING Buying) (agent ?BUYING ?MEMBER) (eCommerceSite ?BUYING ?SITE) (during (WhenFn ?BUYING) ?INT)))) |
UXExperimentalTerms.kif 3534-3543 | |
(=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (not (exists (?BUYING) (and (instance ?BUYING Buying) (agent ?BUYING ?MEMBER) (eCommerceSite ?BUYING ?SITE) (earlier (WhenFn ?BUYING) ?INT))))) |
UXExperimentalTerms.kif 3545-3555 | |
(=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?MEMBER) (eCommerceSite ?SELLING ?SITE) (during (WhenFn ?SELLING) ?INT)))) |
UXExperimentalTerms.kif 3582-3591 | |
(=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (not (exists (?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?MEMBER) (eCommerceSite ?SELLING ?SITE) (earlier (WhenFn ?SELLING) ?INT))))) |
UXExperimentalTerms.kif 3593-3603 | |
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (exists (?LISTING ?SITE ?ITEM) (KappaFn ?LISTING (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (instance ?ITEM Physical) (member ?LISTING ?COLL) (patient ?LISTING ?ITEM) (hostedOn ?LISTING ?SITE) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?ITEM) (eCommerceSite ?BUYING ?SITE))))))) (CardinalityFn ?COLL)) (BidCountFn ?COLL))) |
UXExperimentalTerms.kif 2845-2870 | |
(=> (and (listingBuyer ?LISTING ?BUYER) (instance ?OBJ Object) (instance ?SITE WebSite) (patient ?LISTING ?OBJECT) (hostedOn ?LISTING ?SITE)) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (eCommerceSite ?BUYING ?SITE) (agent ?BUYING ?BUYER)))) |
UXExperimentalTerms.kif 86-98 |
|
(=> (and (webPurchases ?PURCHASES ?BUYER ?SITE) (member ?BUYING ?PURCHASES)) (and (instance ?BUYING Buying) (agent ?BUYING ?BUYER) (eCommerceSite ?BUYING ?SITE))) |
UXExperimentalTerms.kif 839-846 | |
(=> (and (webSales ?SALES ?SELLER ?SITE) (member ?SELLING ?SALES)) (and (instance ?SELLING Selling) (agent ?SELLING ?SELLER) (eCommerceSite ?SELLING ?SITE))) |
UXExperimentalTerms.kif 934-941 | |
(=> (instance ?CHARGE FinalValueFee) (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE) (and (instance ?ADVERT WebListing) (instance ?SELLING Selling) (instance ?OWNER AutonomousAgent) (instance ?ITEM Physical) (instance ?ADVERT WebListing) (patient ?ADVERT ?ITEM) (patient ?SELLING ?ITEM) (causes ?SELLING ?CHARGE) (agent ?CHARGE ?OWNER) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (eCommerceSite ?SELLING ?OWNER)))) |
UXExperimentalTerms.kif 240-255 |
|
(=> (prohibitedItem ?ITEM ?SITE) (modalAttribute (exists (?SELLING) (and (instance ?SELLING Selling) (eCommerceSite ?SELLING ?SITE))) Prohibition)) |
UXExperimentalTerms.kif 398-405 |
|
(=> (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 | |
(=> (webPurchases ?PURCHASES ?BUYER ?SITE) (forall (?BUYING) (=> (and (instance ?BUYING Buying) (agent ?BUYING ?BUYER) (eCommerceSite ?BUYING ?SITE)) (member ?BUYING ?PURCHASES)))) |
UXExperimentalTerms.kif 829-837 | |
(=> (webSales ?SALES ?SELLER ?SITE) (forall (?SELLING) (=> (and (instance ?SELLING Selling) (agent ?SELLING ?SELLER) (eCommerceSite ?SELLING ?SITE)) (member ?SELLING ?SALES)))) |
UXExperimentalTerms.kif 924-932 |