Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Bidding
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Bidding Requesting) | UXExperimentalTerms.kif 1347-1347 | Bidding is a subclass of requesting |
| (documentation Bidding EnglishLanguage "A Requesting where the patient is a Formula specifying that there is a Buying for a certain transactionAmount, where the agent of the Bidding is the agent of the Buying.") | UXExperimentalTerms.kif 1351-1353 | Bidding is a subclass of requesting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Bidding "bidding") | UXExperimentalTerms.kif 1349-1349 |
| appearance as argument number 3 |
|
|
| (domain objectOfBid 1 Bidding) | UXExperimentalTerms.kif 1437-1437 | The number 1 argument of object of bidding is an instance of bidding |
| (domain amountOfBid 1 Bidding) | UXExperimentalTerms.kif 1447-1447 | The number 1 argument of bid amount is an instance of bidding |
| antecedent |
|
|
| (=> (and (instance ?BIDDING Bidding) (instance ?OBJECT Physical) (instance ?AMOUNT CurrencyMeasure) (instance ?AGENT ?AGENT) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT)) (bidPrice ?OBJECT ?AMOUNT ?AGENT)) |
UXExperimentalTerms.kif 1416-1425 | If All of the following hold: (1) X is an instance of bidding (2) Y is an instance of physical (3) Z is an instance of currency measure (4) W is an instance of W (5) X is a bid for Y (6) Z is the bid of X (7) W is an agent of X, then W bids Z for Y |
| consequent |
|
|
| (=> (bidPrice ?OBJECT ?AMOUNT ?AGENT) (exists (?BIDDING) (and (instance ?BIDDING Bidding) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT)))) |
UXExperimentalTerms.kif 1407-1414 | If X bids Y for Z, then there exists W such that W is an instance of bidding, W is a bid for Z, Y is the bid of W, and X is an agent of W |
| (=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (exists (?BIDDING ?ITEM ?LISTING ?BIDDING) (equal (CardinalityFn (KappaFn ?BIDDING (and (instance ?ITEM Physical) (instance ?LISTING WebListing) (instance ?BIDDING Bidding) (member ?LISTING ?COLL) (objectOfBid ?BIDDING ?ITEM) (patient ?LISTING ?ITEM)))) (BidCountFn ?COLL)))) |
UXExperimentalTerms.kif 2922-2940 | 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, Z such that equal the number of instances in the class described by Z, and number of bids in X |
|