Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AuctionAttribute(auction attribute) |
| appearance as argument number 1 |
|
| (instance AuctionAttribute ListingAttribute) | UXExperimentalTerms.kif 306-306 | Auction attribute is an instance of web listing attribute |
| (documentation AuctionAttribute EnglishLanguage "A ListingAttribute of a WebListing where the creator of the listing desires the successful Auctioning of the item which is the patient of the listing.") | UXExperimentalTerms.kif 309-311 | Auction attribute is an instance of web listing attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AuctionAttribute "auction attribute") | UXExperimentalTerms.kif 307-307 |
| antecedent |
|
|
| (=> (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 |
|