(=>
(and
(instance ?AUCTIONING Auctioning)
(instance ?BIDDER1 AutonomousAgent)
(instance ?BIDDER2 AutonomousAgent)
(instance ?ITEM Object)
(instance ?U UnitOfCurrency)
(patient ?AUCTIONING ?ITEM)
(bidPrice ?ITEM
(MeasureFn ?OFFER1 ?U) ?BIDDER1)
(bidPrice ?ITEM
(MeasureFn ?OFFER2 ?U) ?BIDDER2)
(greaterThan ?OFFER1 ?OFFER2))
(destination ?AUCTIONING ?BIDDER1)) |
UXExperimentalTerms.kif 354-365 |
|
(=>
(and
(instance ?AUCTIONING Auctioning)
(instance ?ITEM Object)
(patient ?AUCTIONING ?ITEM))
(exists (?BIDDER ?OFFER)
(and
(instance ?BIDDER AutonomousAgent)
(instance ?OFFER CurrencyMeasure)
(bidPrice ?ITEM ?OFFER ?BIDDER)))) |
UXExperimentalTerms.kif 343-352 |
|
(=>
(and
(instance ?AUCTIONS Collection)
(forall (?AUC)
(=>
(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-3215 |
|
(=>
(instance ?AUCTIONING Auctioning)
(exists (?ITEM)
(and
(instance ?ITEM Object)
(patient ?AUCTIONING ?ITEM)))) |
UXExperimentalTerms.kif 336-341 |
|