Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Auctioning(auctioning) |  | auction, auction_off, auction_sale, auctioneer, vendue |
| appearance as argument number 1 |
|
|
| (subclass Auctioning Selling) | UXExperimentalTerms.kif 328-328 | Auctioning is a subclass of selling |
| (documentation Auctioning EnglishLanguage "A type of Selling where the destination of the patient of the Auctioning (i.e. the item being sold) is the AutonomousAgent who placed the highest bidPrice.") | UXExperimentalTerms.kif 330-332 | Auctioning is a subclass of selling |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Auctioning "auctioning") | UXExperimentalTerms.kif 334-334 |
| appearance as argument number 3 |
|
|
| (domain reservePrice 1 Auctioning) | UXExperimentalTerms.kif 409-409 | The number 1 argument of reserve Price is an instance of auctioning |
| antecedent |
|
|
| (=> (instance ?AUCTIONING Auctioning) (exists (?ITEM) (and (instance ?ITEM Object) (patient ?AUCTIONING ?ITEM)))) |
UXExperimentalTerms.kif 336-341 | If X is an instance of auctioning, then there exists Y such that Y is an instance of object and Y is a patient of X |
| (=> (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 | If X is an instance of auctioning, Y is an instance of object, and Y is a patient of X, then there exist Z, W such that Z is an instance of agent, W is an instance of currency measure, and Z bids W for Y |
| (=> (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 | If All of the following hold: (1) X is an instance of auctioning (2) Y is an instance of agent (3) Z is an instance of agent (4) W is an instance of object (5) V is an instance of unit of currency (6) W is a patient of X (7) Y bids U V(s) for W (8) Z bids T V(s) for W (9) U is greater than T, then X ends up at Y |
| (=> (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 |
| consequent |
|
|
| (=> (and (instance ?LISTING WebListing) (instance ?ITEM Object) (instance ?CREATOR AutonomousAgent) (attribute ?LISTING AuctionAttribute) (patient ?ITEM ?LISTING) (creator ?CREATOR ?LISTING)) (desires ?CREATOR (exists (?AUCTION) (and (instance ?AUCTION Auctioning) (patient ?AUCTION ?ITEM))))) |
UXExperimentalTerms.kif 313-325 | If All of the following hold: (1) X is an instance of web listing (2) Y is an instance of object (3) Z is an instance of agent (4) auction attribute is an attribute of X (5) X is a patient of Y (6) Z created X, then Z desires there exists W such that W is an instance of auctioning and Y is a patient of W |
|