(=>
(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 |
If X buys Y, Z is an instance of object, W is an instance of web site, V is a patient of Y, and Y is hosted on W, then there exists U such that U is an instance of buying, Z is a patient of U, W facilitates U, and X is an agent of U |
(=>
(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 |
If X is an instance of final fee, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of web listing (3) Z is an instance of selling (4) W is an instance of agent (5) V is an instance of physical (6) Y is an instance of web listing (7) V is a patient of Y (8) V is a patient of Z (9) Z causes X (10) W is an agent of X (11) Y is hosted on U (12) W possesses U (13) W facilitates Z |
(=>
(prohibitedItem ?ITEM ?SITE)
(modalAttribute
(exists (?SELLING)
(and
(instance ?SELLING Selling)
(eCommerceSite ?SELLING ?SITE))) Prohibition)) |
UXExperimentalTerms.kif 398-405 |
If X is prohibited for sale on Y, then the statement there exists Z such that Z is an instance of selling and Y facilitates Z has the modal force of prohibition |
(=>
(webPurchases ?PURCHASES ?BUYER ?SITE)
(forall (?BUYING)
(=>
(and
(instance ?BUYING Buying)
(agent ?BUYING ?BUYER)
(eCommerceSite ?BUYING ?SITE))
(member ?BUYING ?PURCHASES)))) |
UXExperimentalTerms.kif 829-837 |
If user X at Y has bought Z, then For all FinancialTransaction W: if W is an instance of buying, X is an agent of W, and Y facilitates W, then W is a member of Z |
(=>
(and
(webPurchases ?PURCHASES ?BUYER ?SITE)
(member ?BUYING ?PURCHASES))
(and
(instance ?BUYING Buying)
(agent ?BUYING ?BUYER)
(eCommerceSite ?BUYING ?SITE))) |
UXExperimentalTerms.kif 839-846 |
If user X at Y has bought Z and W is a member of Z, then W is an instance of buying, X is an agent of W, and Y facilitates W |
(=>
(webSales ?SALES ?SELLER ?SITE)
(forall (?SELLING)
(=>
(and
(instance ?SELLING Selling)
(agent ?SELLING ?SELLER)
(eCommerceSite ?SELLING ?SITE))
(member ?SELLING ?SALES)))) |
UXExperimentalTerms.kif 924-932 |
If user X at Y has sold Z, then For all FinancialTransaction W: if W is an instance of selling, X is an agent of W, and Y facilitates W, then W is a member of Z |
(=>
(and
(webSales ?SALES ?SELLER ?SITE)
(member ?SELLING ?SALES))
(and
(instance ?SELLING Selling)
(agent ?SELLING ?SELLER)
(eCommerceSite ?SELLING ?SITE))) |
UXExperimentalTerms.kif 934-941 |
If user X at Y has sold Z and W is a member of Z, then W is an instance of selling, X is an agent of W, and Y facilitates W |
(=>
(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 |
(=>
(and
(instance ?COLL Collection)
(forall (?MEMBER)
(=>
(member ?MEMBER ?COLL)
(instance ?MEMBER WebListing))))
(exists (?LISTING ?SITE ?ITEM)
(equal
(DivisionFn
(CardinalityFn
(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 2846-2871 |
If X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of web listing, then there exist Z, W, V such that equal the number of instances in the class described by Z, the number of instances in X, and number of bids in X |
(=>
(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 3533-3542 |
If X are first time buyers on Y during Z and W is a member of X, then there exists V such that V is an instance of buying, W is an agent of V, Y facilitates V, and the time of existence of V takes place during Z |
(=>
(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 3544-3554 |
If X are first time buyers on Y during Z and W is a member of X, then there doesn't exist V such that V is an instance of buying, W is an agent of V, Y facilitates V, and the time of existence of V happens earlier than Z |
(=>
(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 3581-3590 |
If X are first time sellers on Y during Z and W is a member of X, then there exists V such that V is an instance of selling, W is an agent of V, Y facilitates V, and the time of existence of V takes place during Z |
(=>
(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 3592-3602 |
If X are first time sellers on Y during Z and W is a member of X, then there doesn't exist V such that V is an instance of selling, W is an agent of V, Y facilitates V, and the time of existence of V happens earlier than Z |
eCommerceSite