(=>
(and
(instance ?AUCTIONS Collection)
(=>
(member ?AUC ?AUCTIONS)
(instance ?AUC Auctioning)))
(exists (?AMOUNT ?TOTAL_PURCHASE_AMOUNT)
(and
(total
(KappaFn ?AMOUNT
(transactionAmount ?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT)
(equal
(AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT)))) |
UXExperimentalTerms.kif 3202-3214 |
If X is an instance of collection and if Y is a member of X, then Y is an instance of auctioning, then there exist Z, ?TOTAL_PURCHASE_AMOUNT such that the total of values in the class described by Z is ?TOTAL_PURCHASE_AMOUNT, equal the total purchase price of X, and ?TOTAL_PURCHASE_AMOUNT |
